Bring fraud proofs to Bitcoin, Part II - L2IV Research
l2ivresearch.substack.com · 5,354 words · saved by 1 readers
BitVM and OP_CAT with fraud proofs
In the previous article we talked about fraud proofs in general, especially how optimistic rollups (such as Arbitrum and Optimism) and how optimistic ZK proofs (such as Kailua) work, and the different tradeoffs inherent to fraud proof systems. Fraud proofs are basically computation that can be publicly disputed before the computation goes into effect (i.e., after withdrawal period). To make the computation publicly disputable, there are two key requirements: (1) efficient on-chain challenge, in that the computation can be disputed on-chain, and (2) data availability, in that the public can…
related reading
- [2210.00264] zkBridge: Trustless Cross-chain Bridges Made Practicalarxiv.org
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Possible futures of the Ethereum protocol, part 2: The Surgevitalik.eth.limo
- [2606.05433] Zero knowledge verification for frontier AI training is possiblearxiv.org
- 370.pdfeprint.iacr.org
- btcProcFC.pdfcs.cornell.edu
- Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoineprint.iacr.org
- BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- Collaborative zkSNARKseprint.iacr.org
- placeholder-bitcoin.pdfallocin.it
- Trilemmas in Decentralized Computing — zerummirror.xyz