Compute all proofs
Hyperproofs cost
n
log(
n
) 𝔾1
Our cost
Verkle trees cost (KZG, arity = B)
~n lgB