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