← Work / Case study
Isomorphic Binding.
A trust-minimized binding for the Cardano to CKB reverse leg, proven in a zkVM rather than trusted to a committee..
Where the bridge's forward leg leans on an independent signer committee, the reverse leg removes that trust entirely. Mithril certificates from the Cardano side are verified inside an SP1 zkVM and settled on CKB as succinct proofs.
The work is staged as four proofs: M1 signed-message verification, M2 BLS-STM aggregate verification, M3 transaction inclusion, and M4 certificate-hash binding. Together they let CKB accept Cardano state without trusting a relayer.
Next project
CellSwap →