Cross-chain bridge that verifies state using zero-knowledge proofs instead of multisigs or external validators, reducing trust assumptions for asset transfers.