xecution-free finality for Ethereum. VERDICT anchors only the existence of a final judgment as a hash. Execution, proofs, and verification happen off-chain. If the hash matches, it happened. If not, it never happened.
distributed-systems ethereum formal-verification system-architecture finality zk-proofs protocol-design execution-free proof-first observer-verification
-
Updated
Feb 3, 2026 - Solidity