Commit
Hyperproofs cost
n
𝔾1
Our cost
Verkle trees cost (KZG, arity = B)
~ n 𝔾1