Size of aggregated proof
Hyperproofs cost
log(
m
log
n
) 𝔾T
Our cost
Verkle trees cost (KZG, arity = B)
no aggregation