Update all proofs (”state”)

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

CryptoNet is a Protocol Labs initiative.