Zeko Ethereum L2Proof-powered settlement and bridging

Verify Zeko state transitions, bridge deposits, and withdrawals on Ethereum with SP1.

Zeko Settlement

Verify Zeko and o1 Kimchi proofs inside SP1, then settle the resulting rollup root on Ethereum.

Prove that ordered Ethereum deposits produce the expected Zeko action-state transition.

Prove withdrawal actions, accept settlement-backed checkpoints, and release locked assets.

Ethereum verifies compact SP1 proofs instead of executing Kimchi verification and action-state hashing on-chain.