Update digest

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

CryptoNet is a Protocol Labs initiative.