Hyperproofs costNAOur costVerkle trees cost (KZG, arity = B)Bd+Bd−1+...+BB^d + B^{d-1} + ... + BBd+Bd−1+...+B 𝔾1