HeRZ: Hierarchical Recursive Zero-Knowledge Verification for Canonical and Auditable Asset-State Evolution in Blockchain-Cyber-Physical Systems
Blockchain-Cyber-Physical Systems (BCPSs) use sensor-generated IoT events to update ledger representations of physical assets. Authenticating individual reports does not by itself establish an admissible trajectory from the canonical predecessor or authenticate a selected historical interval. We formulate Verifiable St...