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