Hyperproofs costlog n 𝔾1Our costVerkle trees cost (KZG, arity = B)(logB(n)(\log_B(n)(logB(n)+1 ) 𝔾1