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