Zero Knowledge Zero Knowledge Podcast

This week, Anna catches up with Tarun Chitra and Sreeram Kannan during a spontaneous session recorded at Devconnect 2023 in Istanbul! They cover a variety of topics seen at the event, including zk toolkits, intents and Data Availability, shedding light on how these ideas are reshaping the framework of digital interaction and governance. Their chat covers the challenges and opportunities these technologies present, highlighting their significance in the current ecosystem. Later, they explore the complexities and nuances of EigenLayer, offering detailed insights into its functionalities, applications, and potential impact on the industry.




Here’s some additional links for this episode:



ZK Hack IRL Istanbul wrap article
ZK Hack Tweet announcing the winners.
Sign up here for ZK Hack IV Online updates
EigenLayer
EigenLayer: The Restaking Collective by EigenLayer Team
Parachains' Protocol Overview - reference to Fishermen
Episode 217: Information Theory & Blockchain with Sreeram Kannan
ZK7: Hyperscale Data Availability for ZK Systems - Sreeram Kanan - UoW / Layr Labs
Sreeram Kannan - Introducing Programmable Trust + EigenLayer Roadmap




Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey.


Dive deeper and discover more about Aleo at aleo.org




If you like what we do:



Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

In this week’s episode, Anna takes a look back at the last 6 years of the Zero Knowledge Podcast, how it came to be and the journey the show has been on since that very first episode in 2017. Anna reviews the highs and lows of the show, touching on episodes which made a profound impact on her own journey in the ZK space, as well as episodes she wouldn’t rush to listen to again! Discover key show learnings, how the zkSummit formed and take a trip down memory lane in the 300th episode of Zero Knowledge Podcast.





To check out all the ZK Podcast episodes mentioned in this episode, visit the zeroknowledge.fm website here
Check out one of the earliest zkSummit talks on the very first event: Zero knowledge proofs intro with Str4d (Zcash)
The full zkSummit Playlist
Sign up here for ZK Hack IV Online updates




If you like what we do:



Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

In this week's episode, Anna chats with Alex Gluchowski, CEO of Matter Labs & co-creator of the zkSync network. They catch up on the zkSync project since it launched in Feb 2023. They dive into recent initiatives like the ZK Stack framework, Hyperchains, and the ZK Credo mission statement. They also explore the upcoming Boojum proof system upgrade planned for zkSync Era and discuss the future of the zkSync project as a whole.




Here’s some additional links for this episode:



Introducing the ZK Stack
Introduction to Hyperchains
Matter Labs Era Boojum GitHub
zkSync Era: Everything you need to know about ZK Credo, ZK Stack, & Boojum Upgrade
Episode 72: zkSNARKs for Scale with Matter Labs
Episode 116: zkSync and Redshift: Matter Labs update
Episode 175: zkEVM & zkPorter with Matter Labs
Introducing zkSync: the missing link to mass adoption of Ethereum
The different types of ZK-EVMs by Vitalik Buterin
Different types of layer 2s
L2BEAT
emailwallet.org
prove.email




Check out the latest in ZK Jobs on our Jobs Board here.




Launching soon, Namada 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 for more information and join the community on Discord discord.gg/namada




If you like what we do:



Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

In this week's episode Anna Rose chats with Brandon Kase, CTO, and Steve Pack, Head of Product at O(1)Labs, focusing on the Mina Protocol. The discussion covers their journeys leading to their work on the project, developments in the Mina Protocol since the last appearance on ZK Podcast, and insights into the zkApps building environment. They delve into the technical aspects of o1js and the underlying philosophy that drives its design. The episode wraps with a forward-looking perspective on the potential applications of zero-knowledge proofs as the industry shifts from a research-centric to a builder-centric approach.




Links referenced in this episode:



Episode 54: Digging into recursive zkSNARKs with Coda
Episode 199: Snapps on Mina with Emre and Izaak
Episode 276: Expanding Computation on Ethereum with Axiom


Further relevant links:



Episode 113: Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs
O(1)Labs Website
o1js GitHub
Introduction to o1js
Mina Protocol Docs




Check out the ZK Jobs Board




NEAR Foundation and Polygon Labs just announced they are teaming up to build zkWASM, a zero-knowledge prover for WASM blockchains. This collaboration will create a more secure, interoperable Web3 ecosystem for an open web.

NEAR’s deep WASM runtime expertise combined with Polygon Labs’ authority in ZK scaling technology, the zkWASM prover will be market leader when it launches in 2024.


Stay up to date with the zkWASM announcement at near.org




If you like what we do:



Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube

If you are an experienced hacker ready to jump in and build some cool zk-based applications, be sure to join our IRL hackathon on Nov 10-12. All details about ZK Hack Istanbul can be found at zkistanbul.com

In this week’s episode, Anna and Nico interview Or Sattath, Assistant Professor at the Ben-Gurion University in the Computer Science department. This is the 2nd episode with Or on this show, continuing the conversation around Quantum Cryptography. This time, he describes how we can transition from a pre-quantum to a post-quantum environment, looking at existing systems like Bitcoin and Ethereum. He covers why the methods used in the transition will be important, techniques on how this could be executed and the challenges in designing these techniques and the complications that can arise. Finally, they go on to discuss Quantum Money and recent works in this area.




Here’s some additional links for this episode:



Part 1 - Episode 288: Quantum Cryptography with Or Sattath
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer by Shor
Shor’s Algorithm
Grover’s Algorithm
A fast quantum mechanical algorithm for database search by Grover
Fawkescoin: A cryptocurrency without public-key cryptography by Bonneau and Miller
Bitcoin is not quantum-safe, and how we can fix it when needed by Buterin
Cryptographic canaries and backups by Justin Drake


Notes and recommended links by Or Sattath:



NIST post-quantum standardization for post-quantum digital signatures and public-key encryption (or, more precisely, Key Encapsulation Mechanism, KEM). These are classical schemes that, unlike almost all the existing schemes that are used in practice, are secure against quantum adversaries.
Signature Lifting (arXiv link) is discussed as a technique to migrate to post-quantum signatures, especially for those who didn't prepare in advance. Here's a recommended Twitter thread summarizing the results by Shai Wyborski, Or’s co-author.
An approach to upgrade Bitcoin to quantum money is available here. This uses a cryptographic primitive which is called quantum lightning, which was introduced here.
Some smart contacts capabilities can be supported as well. This construction is based on one-shot signatures, which isdiscussed in some detail during the interview. The bottom line of this work is that we can have the most important utility that Bitcoin provides, without the need for a blockchain, or any other consensus mechanism.
Uncloneable cryptography was discussed during the interview. Quantum encryption with certified deletion was discussed as an interesting example of a property that can be achieved only in quantum cryptography.




Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/




Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q4, this is an invitation to be part of a transformational ZK journey.


Dive deeper and discover more about Aleo at aleo.org




If you like what we do:



Find all our links here! @ZeroKnowledge | Linktree
Subscribe to our podcast newsletter
Follow us on Twitter @zeroknowledgefm
Join us on Telegram
Catch us on YouTube