Aggregate m proofs

Hyperproofs cost
m log n (𝔾1+𝔾2+ℙ)
Our cost
Verkle trees cost (KZG, arity = B)

CryptoNet is a Protocol Labs initiative.