Group requirements

Hyperproofs cost
Our cost
Verkle trees cost (KZG, arity = B)

CryptoNet is a Protocol Labs initiative.