A key benefit of this approach is that a single ZK-proof verification for a light node can be performed in constant or ...