Hyperproofs costNAOur costVerkle trees cost (KZG, arity = B)d is depth of VT; B is branching factor. It holds that n=Bdn = B^dn=Bd, i.e., d=logB(n)d = \log_B(n)d=logB(n)