Compute/Update a fraction ⁍ of the tree

Hyperproofs cost
O(α)O(\alpha)
Our cost
Verkle trees cost (KZG, arity = B)
O(nlog⁡B)O(n \log B)

CryptoNet is a Protocol Labs initiative.