Verify aggr. of m proofs

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

CryptoNet is a Protocol Labs initiative.