Verify 1 proof

Hyperproofs cost
log n ℙ
Our cost
Verkle trees cost (KZG, arity = B)
log⁡B(n)\log_B(n)ℙ

CryptoNet is a Protocol Labs initiative.