Aggregation
Hyperproofs cost
via IPA (costly)
Our cost
Verkle trees cost (KZG, arity = B)
no aggregation