placeholder-bitcoin.pdf
allocin.it · 8,520 words · saved by 1 readers
N/A
Bitcoin PIPEs Covenants and ZKPs on Bitcoin Without Soft Fork Mikhail Komarov nemo@allocin.it [[alloc] init] May 1, 2024 Abstract Succinct zero-knowledge proofs verification on the Bitcoin L1 has long been considered unfeasible due to the limitations of the existing Bitcoin Script language. Specifically, the absence of…
related reading
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Zero Knowledge Canon, part 1 & 2 - a16z cryptoa16zcrypto.com
- thesis.pdfaayushg.com
- 370.pdfeprint.iacr.org
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- zknewsnews.zksecurity.xyz
- 0xPARC0xparc.org
- Mosaic: Practical Malicious Security for Garbled Circuits on Bitcoineprint.iacr.org
- Background in ZK - Circom 2 Documentationdocs.circom.io