Verify 1 proof
Hyperproofs cost
log
n
ℙ
Our cost
Verkle trees cost (KZG, arity = B)
log
B
(
n
)
\log_B(n)
lo
g
B
(
n
)
ℙ
Verify 1 proof