Update all proofs (”state”)
Hyperproofs cost
log
n
𝔾1
Our cost
Verkle trees cost (KZG, arity = B)
log
B
(
n
)
\log_B(n)
lo
g
B
(
n
)
𝔾1