Compute/Update a fraction ⁍ of the tree

Hyperproofs cost

$O(\alpha)$

Our cost

Verkle trees cost (KZG, arity = B)

$O(n \log B)$

CryptoNet is a Protocol Labs initiative.