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
- BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org
- Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoineprint.iacr.org
- placeholder-bitcoin.pdfallocin.it
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- 370.pdfeprint.iacr.org
- 0xPARC0xparc.org