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