A verification primitive for cross-chain systems
Mathematical verification of cross-chain state.
Trustless cross-chain execution and verification infrastructure built on zero-knowledge proofs, permanent autonomous compute, and cross-chain messaging.
No relayers. No validators. No trusted intermediaries.
No checkpoints. No consensus trust assumptions. Verifiable from genesis.
[View on GitHub] [AO compliance log] [Technical overview] [Build journal]