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