Summary

In this week’s episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) chat with Sims Gautham (https://twitter.com/simanta_gautam) and Liam Eagen (https://twitter.com/liameagen) from Alpen Labs (https://twitter.com/alpenlabs). They dive into the world of Bitcoin L2s and focus on how ZK can be used to incorporate strong connections between Bitcoin and new execution environments. The group then explore BitVM, covenants, the distinction between the Bridge Operators and sequencers in this model - and how this differs from how these actors work in Eth L2s. They then dive into SNARKnado, including what is happening under the hood, the ways in which this system offers round-based fraud games mixed with ZK and which agent provides DA and more.
Here’s some additional links for this episode:
Bulletproofs++: Next Generation Confidential Transactions via Reciprocal Set Membership Arguments by Eagen, Kanjalkar, Ruffing, Nick (https://eprint.iacr.org/2022/510.pdf)
Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Andrew, Wuille, and Maxwell (https://eprint.iacr.org/2017/1066.pdf)
Zcash Website (https://z.cash/)
Protogalaxy: Efficient Protostar-style folding of multiple instances by Eagen and Gabizon (https://eprint.iacr.org/2023/1106.pdf)
cq: * Cached quotients for fast lookups by Eagen, Fiore and Gabizon (https://eprint.iacr.org/2022/1763.pdf)
Zerocoin: Anonymous Distributed E-Cash from Bitcoin by Miers, Garman, Green and Rubin (https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6547123)
Zerocash: Decentralized Anonymous Payments from Bitcoin (extended version) by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer and Virza (https://eprint.iacr.org/2014/349.pdf)
Monero Ring Signatures (https://www.getmonero.org/resources/moneropedia/ringsignatures.html)
Blockstream Whitepapers (https://blockstream.com/whitepapers/)
Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh and Riabzev (https://eprint.iacr.org/2018/046.pdf)
Ordinal Theory by Casey Rodarmor (https://rodarmor.com/blog/ordinal-theory/)
BitVM: Compute Anything on Bitcoin by Robin Linus (https://bitvm.org/bitvm.pdf)
BitVM 2 (https://bitvm.org/bitvm2)
BitVM Website (https://bitvm.org/)
Jeremy Rubin Blog on Lamport Signatures (https://rubin.io/blog/2021/07/02/signing-5-bytes/)
Introducting SNARKnado by Alpen Labs (https://www.alpenlabs.io/blog/snarknado-practical-round-efficient-snark-verifier-on-bitcoin)
ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/).
Episode Sponsors

Launching soon, Namada (https://namada.net/) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge.
Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada).
Aleo (http://aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.
Dive deeper and discover more about Aleo at http://aleo.org/ (http://aleo.org/).
If you like what we do:
* Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge)
* Subscribe to our podcast newsletter (https://zeroknowledge.substack.com)
* Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm)
* Join us on Telegram (https://zeroknowledge.fm/telegram)
* Catch us on YouTube (https://zeroknowledge.fm/)