Hyperproofs costlog n š¾1Our costVerkle trees cost (KZG, arity = B)(logā”B(n)(\log_B(n)(logBā(n)+1 ) š¾1