Podcasts about Zero knowledge

David Seroy works at Alpen Labs: the company which aims to bring an extended suite of financial applications to Bitcoin via ZK (Zero Knowledge) rollups. In this episode, we talk about the ideological divide in Bitcoin between builders & moonbois.

Send us a textDigital identity represents the gravitational force aligning Web3's fragmented ecosystem, yet many projects struggle to communicate its importance in ways that resonate beyond technical audiences. Alice Shikova, Marketing Lead at SpaceID, brings clarity to this challenge through her practical approach to Web3 marketing and digital identity solutions.• Creating successful Web3 marketing requires translating complex technical concepts into emotional stories that resonate with users• Digital identity provides necessary context while preserving privacy, helping users understand who they're interacting with in Web3 spaces• SpaceID supports domains across 24+ blockchains, addressing the critical interoperability challenges in the ecosystem• Payment ID allows seamless transactions between Web3 wallets and centralized exchanges using simple, Gmail-linked usernames• Web3 marketing should focus on treating users as co-builders rather than customers, creating alignment between teams and communities• Zero Knowledge technology explained simply: "allows you to keep privacy and verify what you want without revealing information"• Marketers transitioning to Web3 should learn to think like users, write like founders, and understand development fundamentals• Measuring marketing success requires looking beyond vanity metrics to user retention, domain registrations, and community engagementThis episode was recorded through a Descript call on April 15, 2025. Read the blog article and show notes here: https://webdrie.net/from-domain-names-to-digital-identity-navigating-web3s-evolution-with-alice-shikova/Discover RYO: the Web3 payment solution making crypto simple and secure for everyone. Featuring an expansive ecosystem with LIFE Wallet, Global Mall, and Japan's first licensed Crypto ATM Network, RYO empowers your financial journey. Awarded 'Best Crypto Solution.'

with @danboneh @succinctJT @smc90This episode is all about quantum computing -- explaining what it is, how it works, what's hype vs. reality, and how to prepare for it/ what builders should do. Specifically, we cover: What quantum computing is and isn't, and what people are really talking about when they worry about a quantum computer that can break classic computing-based cryptography systems -- a cryptographically relevant post-quantum computer.When is it happening/ what are the "timelines" for quantum computing becoming a reality -- how many years away are we? -- and when are the U.S. government's deadlines/ NIST standards for post-quantum cryptography?How will different types of cryptography be affected, or not? What are different approaches and tradeoffs?Where does quantum computing and post-quantum crypto apply to blockchains -- which are not only more easily upgradable, but also by and large rely on signatures, not encryption, so may be more quantum-resistant in many ways (and not in others).As always, we tease apart the signal vs. the noise in recent "science-by-press release" corporate quantum-computing milestone announcements. We also help answer questions on when do builders need to plan their switch to a post-quantum crypto world, what pitfalls to avoid there (hint: bugs! software upgrades!). Finally, we briefly cover different approaches to post-quantum crypto; and also dig deeper on zero-knowledge/ succinct-proof systems and how they relate to post-quantum crypto. Our expert guests are: Dan Boneh, Stanford University professor and applied cryptography expert and pioneer; also Senior Research Advisor to a16z crypto;Justin Thaler, research partner at a16z, professor at Georgetown, and longtime expert and pioneer in interactive and ZK proof systems.SEE ALSO: Post-quantum blockchains by Valeria Nikolaenkomore resources + papers on topics mentioned:A Graduate Course in Applied Cryptography by Dan Boneh and Victor Shoup [see also]Proofs, Arguments, and Zero-Knowledge by Justin ThalerLatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems by Dan Boneh and Binyi ChenNeo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments by Wilson Nguyen and Srinath Setty"Q-Day Clock" from Project Eleven -- public dashboard to visually track timeline for quantum computing to reach cryptographically relevant capabilities and break widely used encryption algorithmson hard forks for quantum emergenciesQuantum analysis of AES, Kyungbae Jang, Anubhab Baksi, Hyunji Kim, Gyeongju Song, Hwajeong Seo, Anupam ChattopadhyayThe Google Willow Thing by Scott AaronsonFAQs on Microsoft's topological qubit thing by Scott AaronsonMicrosoft's claim of a topological qubit faces tough questions, American Physical SocietyAs a reminder, none of this is investment, business, legal, or tax advice; please see a16z.com/disclosures for more important information including a link to our investments.

In this episode we're talking about the underbelly of AI. About the impact of AI on security, and how AI itself can be hacked. Etay Maor is the Chief Security Strategist at Cato Networks. He's a Professor at Boston College and a regular industry event speaker all over the world. The Tech World Human Skills Podcast is produced by people in the tech world for people in the tech world. Learn tips and best practices that help you thrive in your career. Show Links Ben Pearce LinkedIn - https://www.linkedin.com/in/benpthoughts/ Tech World Human Skills Home - www.techworldhumanskills.com Etay Maor LinkedIn - https://www.linkedin.com/in/etaymaor/ Download the 2025 Cato CTRL Threat Report - https://www.catonetworks.com/resources/2025-cato-ctrl-threat-report-rise-of-zero-knowledge-threat-actor/

This week, we present the third installment in the Zero Knowledge Systems story. In this episode, Anna chats with Austin Hill, one of the original founders of Zero Knowledge Systems. They explore the company's early days, Austin's background in tech, and what this scene in Montreal was like in the late '90s. The conversation covers fundraising during the dot-com boom, Zero Knowledge Systems's ambitious vision for internet privacy, its flagship product Freedom, and how the company pivoted from a broad individual privacy mission to a more focused B2B approach. They cover Austin's journey after ZKS—including how he discovered Bitcoin, co-founded Blockstream, and navigated the challenges of building a business around open-source infrastructure. He also discusses a new project he's involved in, which ventures into a completely different field—material nanotechnology. We encourage you to check out the first two episodes of the series here and here before diving into this one. Related links: Part 1: Back to the Future with Zero Knowledge Part 2: Zero Knowledge Systems, Privacy and Security with Jonathan Wilkins Zero Knowledge Enemy of the State Shift Article Knowing Glances: Understanding Infrastructures of Surveillance Further reading: Zero Knowledge Systems Wikipedia Blockstream Website Wired Article: Zero-Knowledge: Nothing Personal News Burst: Zero-Knowledge open sources Freedom Zero-Knowledge Systems Introduces Security and Privacy Tool Suite Interview:...

This week Anna jumps back into the story of Zero Knowledge Systems with Jonathan Wilkins, cofounder Blockstream and Cloaked Services and previous employee of ZKS back in 2000. They explore the emergence of security culture in the 1990s, what led Jonathan to join Zero Knowledge Systems and his experience working on projects such as the Freedom Network. They discuss the office atmosphere and the research lab before catching up on the work Jonathan has focused on since then. Key concepts we see in the ZK community today were first pioneered by the Zero Knowledge Systems research team and we hope to invite more of these past members of the team in the future!  Related links: Podcast Episode: Back to the Future with Zero Knowledge iSEC Partners X.25 Networks 2600 Meetups C++ Builder Delphi ‘Zero-Knowledge: Nothing Personal' - Wired Handbook of Applied Cryptography by Alfred J. Menezes, Paul C. van Oorschot and Scott A. Vanstone Ian Goldberg profile Adam Schostack - Schostack + Associates Adam Back Twitter Austin Hill Twitter Bitcointalk  Tor Network

For episode 491, Co-founder Alex Buelau joins Brandon Zemp to discuss Parfin and the launch of Rayls.Alex Buelau is the Co-Founder and Chief Technology and Product Officer (CPTO) at Parfin. He is a seasoned programmer and blockchain advocate who specializes in creating secure and scalable digital asset infrastructure and has been pivotal in the launch of Rayls, Parfin's EVM-compatible blockchain for traditional financial institutions, which is currently working to provide the privacy solution for Brazil's CBDC, Drex.

In episode 194, we're excited to welcome Norbert Vadas, Head of Product at ZkCloud, a leading platform building the first truly decentralized cloud for Zero-Knowledge proving. Before diving into blockchain, Norbert spent over a decade working with global organizations like UNICEF and FAO, navigating the intersection of finance, governance, and emerging tech. He later transitioned into Web3 as part of the Ethereum Protocol Fellowship, where he explored ZK proving's potential to transform how we validate and secure data.We explore:How Zero-Knowledge (ZK) proving is revolutionizing blockchain scalability and privacy.Why decentralized cloud computing could be the key to a an inclusive, fair, and accessible internet powered by the people.How Norbert's journey—from working with UNICEF and FAO to becoming an Ethereum Fellow—has shaped his mission to leverage ZK proofs and Web3 tools for real-world impact--Key Takeaways--

In this episode, we're bringing back Reka, Head of Community at RISC Zero, about the state of zero-knowledge (ZK) infrastructure and strategies for successful go-to-market campaigns for blockchain protocols. Reka shares her journey from being a founder to joining RISC Zero, her insights on the importance of ZK technology, and the challenges and opportunities it presents. She also talks about her experience advising various crypto projects and her thoughts on combining education and community engagement in the blockchain space. Reka previously appeared on Rehash S4 E1 alongside LDF: https://youtu.be/TXzEpbvSVo0?si=Nzj9Dvbq6yMU0CM_ ⏳ TIMESTAMPS: 0:00 Intro 01:49 Updates from Reka's past appearance in S4 E1 02:58 Why intent infrastructure? 06:17 Understanding ZK technology 13:44 Applications and benefits of ZK 18:21 Challenges and future of ZK 23:24 Joining RISC Zero and building Boundless Protocol 29:07 Education through memes 30:13 Marketing strategies for protocols 34:17 Balancing developer adoption and end user growth 37:13 Strategies for building a community from scratch 44:27 Questions from the community 50:09 Follow Reka 

We're back with a new look and a new jingle! In this episode, ZK Podcast returns, and host Anna Rose shares a story from her past that strangely connects to the present day and the name "Zero Knowledge." Listen in as we kick off the show once again. Applications for zkSummit13 are now open, apply for your spot here. Check out the latest jobs in ZK at the ZK Podcast jobs board. Zero Knowledge Systems on Wikipedia IF YOU LIKE WHAT WE DO: Find all our links here! @ZeroKnowledge | Linktree Subscribe to our podcast newsletter Follow us on X @zeroknowledgefm Join us on Telegram Catch us on YouTube ZK Podcast website

with @1HowardWu @SuccinctJT @rhhackettWelcome to web3 with a16z. Today's show is all about privacy, why it matters, and how to achieve it technically onchain.It's fair to say that many blockchains today are quite… revealing. But that openness and transparency doesn't work for everything — who would want anyone to have full-on X-Ray vision into your finances? That's one reason why there's been a growing appreciation for — and trend toward — more blockchain privacy. Our guest today argues that there are many other reasons you might want some secrecy too, including a whole host of onchain applications and uses that only become feasible when you have a notion of privacy. That guest is Provable Cofounder and CEO Howard Wu who helped invent the protocols behind and build Aleo, a privacy-focused blockchain network. Wu joins a16z crypto Research Partner Justin Thaler, who is also a computer scientist at Georgetown University (as well as the brains behind the cutting-edge, open source zkVM Jolt), plus me, your host, Robert Hackett.The first voice you'll hear is mine, then Howard's, then Justin's. As a reminder, none of the content should be taken as investment, business, legal, or tax advice. Please see a16z.com/disclosures for more important information, including a link to a list of our investments.

Reuben Yap is one of the co-founders of Firo (previously Zcoin): an implementation of the Zerocoin paper from 2013, which was first proposed as a Bitcoin soft fork to improve the network's privacy via Zero Knowledge proofs.

John Light is a researcher who specializes in bringing Zero Knowledge cryptography to supplement Bitcoin's limitations in scalability & privacy. With ZK rollups, Bitcoin stands a better chance to onboard 8 billion people onto trust-minimized layer 2s.

A quick update from the Zero Knowledge Podcast: The show is set to resume at the beginning of February, with exciting episodes and topics we can't wait to share with you! In the meantime, the team is hiring for two roles—a Community Marketing Manager (https://jobsboard.zeroknowledge.fm/job/102/community-marketing-manager/) to amplify the podcast's reach authentically and a Strategic Growth Lead (https://jobsboard.zeroknowledge.fm/job/422/strategic-growth-lead/) to strengthen the business side of operations. If you are a potential candidate, please do apply over on the ZK Jobs Board https://jobsboard.zeroknowledge.fm/ ! As 2025 approaches, the podcast aims to further explore zero-knowledge technology's potential to shape the future and invites the community to join in the journey.

In the first episode of 2025, kicking off Season 3 of the Chorus One Podcast, hosts Thalita Franklin and Rafal Klich sit down with Alex Pruden, Chairman of the Board at Aleo, to discuss his remarkable journey from serving in the U.S. Army to becoming a trailblazer in the crypto space. The conversation takes us through Alex's transition from A16Z to leading Aleo, a pioneering privacy-preserving Layer 1 blockchain. Along the way, Alex shares his expertise on: The fundamentals and intricacies of zk-proofs. The challenges and innovations involved in building Aleo. Why privacy and security are critical for the future of blockchain technology. The discussion dives into Aleo's unique approach to proving systems, highlighting practical applications like age verification and compliance solutions, while offering a glimpse into the future of privacy in crypto. 

In this episode of Web3 with Sam Kamani, I chat with Robert Viglione, co-founder of ZK Verify and Horizon Labs, about the transformative power of zero-knowledge (ZK) technology. We explore: What zero-knowledge proofs are and why they matter in a digital, AI-driven world. How ZK Verify solves privacy and trust challenges in DeFi, digital identity, and beyond. Real-world use cases for ZK, including fraud prevention, gaming, and cryptographic verification. Rob's journey from early Bitcoin adopter to building ZK tools for Web3's future. Whether you're a cryptography enthusiast or curious about Web3's next big trend, this is a conversation packed with insights and actionable ideas. Key Timestamps [00:00:00] Introduction: Sam introduces Robert Viglione and the discussion on zero-knowledge proofs and their real-world applications. [00:01:00] Rob's Background: From Air Force scientist to Bitcoin adopter, PhD in crypto finance, and building Horizon Labs. [00:03:00] Early Bitcoin Insights: Reflecting on Bitcoin's deflationary nature and the shift toward its store-of-value use case. [00:05:00] What is ZK Verify?: Solving digital trust issues in a post-AI world. Verifying cryptographic proofs without exposing sensitive information. [00:07:00] Use Cases: Private DeFi: Protecting financial data while enabling transparency. Gaming: Verifiable randomness to ensure fairness. Digital Identity: ZK logins for privacy-preserving access. AI and Journalism: Cryptographic signatures for verifying content authenticity. [00:15:00] Challenges in Scaling ZK: Overcoming old mindsets and building modular solutions to enhance usability and reduce costs. [00:22:00] Future of ZK and Web3: Predictions on L1 and L2 consolidation and ZK's role in bridging Web3 and Web2. [00:30:00] Biggest Pain Points: Why institutional adoption of private DeFi is crucial and how cryptography can solve issues like click fraud in digital advertising. [00:37:00] Regulation and Clarity: The end of the “crypto war” in the U.S. and its positive impact on the industry. [00:39:00] Closing Thoughts: Rob's optimism for a cryptography-driven Web3 future and his team's focus on building impactful solutions. Connect https://zkverify.io/ https://www.linkedin.com/in/robert-viglione-2780634/ https://x.com/ZKVProtocol https://x.com/robviglione Disclaimer Nothing mentioned in this podcast is investment advice and please do your own research. Finally, it would mean a lot if you can leave a review of this podcast on Apple Podcasts or Spotify and share this podcast with a friend.Be a guest on the podcast or contact us - https://www.web3pod.xyz/

Summary This week, Anna catches up with cohosts, Tarun (https://x.com/tarunchitra), Nico (https://x.com/nico_mnbl) and Guillermo (https://x.com/GuilleAngeris) to do a look back at the zk research and applications that came out in 2024. They go on to discuss the challenges facing the ecosystem. And they wrap with a brief look forward, covering what to expect in ZK in 2025. This will be the last ep of 2024, thank you for joining us this year! Further Reading: Circle STARKs by Haböck, Levit and Papini (https://eprint.iacr.org/2024/278.pdf) StarkWare Unveils New 'Stwo' Cryptographic Prover That's 'Blazingly Fast' (https://www.coindesk.com/tech/2024/02/29/starkware-unveils-new-stwo-cryptographic-prover-thats-blazingly-fast) ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification by Eylon Yogev (https://www.youtube.com/watch?v=iPKzmxLDdII) Episode 290: Exploring, Teaching and Auditing ZK with David Wong (https://zeroknowledge.fm/290-2/) Episode 345: Latest ZK Research with Dan Boneh (https://zeroknowledge.fm/345-2/) LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems by Dan Boneh and Binyi Chen (https://eprint.iacr.org/2024/257.pdf) LaBRADOR: Compact Proofs for R1CS from Module-SIS? by Ward Beullens and Gregor Seiler (https://eprint.iacr.org/2022/1341.pdf) Quantum Algorithms for Lattice Problems by Yilei Chen (https://eprint.iacr.org/2024/555.pdf) Episode 325: Web Proofs with Tracy from Pluto (https://zeroknowledge.fm/325-2/) ZODA: Zero-Overhead Data Availability by Evans, Mohnblatt and Angeris (https://angeris.github.io/papers/da-construction.pdf) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Polynomials are quintessential in machine learning for establishing relationships between outputs and inputs. However, there is also a field in cryptography which could not be made possible without polynomials - zero-knowledge technology. In zero-knowledge proof systems, computations are often represented as arithmetic circuits, and these circuits are translated into polynomials. This process is crucial for generating proofs that can demonstrate the correctness of computations without revealing the underlying data. The involved complexity explains the massive adoption hurdle for zk rollups compared to optimistic ones. Succinct aims to simplify the use of zero-knowledge proofs by providing a zkVM (SP1) that allows code written in languages like Rust to be proven in a privacy-preserving way. By doing so, it aims to lower the barrier to implementing zk-rollups and increase their adoption.Topics covered in this episode:Uma's background and her interest in zero knowledge techHow Succinct's story beganZK light clientsZK circuitsSP1 and the RISC-V instruction setThe prover networkUse casesZK rollups and commoditizing ZKPsIncentivizing proversSuccinct's business modelSupported blockchain applicationsBottlenecks in ZK adoptionSuccinct metricsSP1's competitive advantage and future roadmapThe real world impact of verifiabilityEpisode links:Uma Roy on XSuccinct on XSponsors:Gnosis: Gnosis builds decentralized infrastructure for the Ethereum ecosystem, since 2015. This year marks the launch of Gnosis Pay— the world's first Decentralized Payment Network. Get started today at - gnosis.ioChorus1: Chorus1 is one of the largest node operators worldwide, supporting more than 100,000 delegators, across 45 networks. The recently launched OPUS allows staking up to 8,000 ETH in a single transaction. Enjoy the highest yields and institutional grade security at - chorus.oneThis episode is hosted by Friederike Ernst.

Summary In this week's episode, Anna (https://x.com/AnnaRRose) catches up with Dan Boneh (https://twitter.com/danboneh), Professor of Computer Science and Electrical Engineering, Stanford University. They discuss the focus of his research today, covering new ZK research problems and themes. This includes work on lattice-based SNARKs, ZK for content provenance, ZK in the FHE context, updates on ZK in ML and more! Here's some additional links for this episode: 0:03:08.3 Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) Episode 100: Dan Boneh on the past, present & future of cryptography (https://zeroknowledge.fm/100-2/) 0:03:44.6 Episode 341: coSNARKs with Ais and Lukas from TACEO (https://zeroknowledge.fm/341-2/) 0:07:57.2 LaBRADOR: Compact Proofs for R1CS from Module-SIS? Ward Beullens and Gregor Seiler (https://eprint.iacr.org/2022/1341.pdf) 0:07:57.2 Bulletproofs: Short Proofs for Confidential Transactions and More by Bünz, Bootle, Boneh, Poelstra, Wuille, and Maxwell (https://eprint.iacr.org/2017/1066.pdf) 0:09:44.7 Greyhound: Fast Polynomial Commitments from Lattices by Nguyen and Seiler (https://eprint.iacr.org/2024/1293.pdf) 0:11:28.3 LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems Dan Boneh and Binyi Chen (https://eprint.iacr.org/2024/257.pdf) 0:12:48.2 Protostar: Generic Efficient Accumulation/Folding for Special-sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620.pdf) 0:13:03.3 BaseFold: Efficient Field-Agnostic Polynomial Commitment Schemes from Foldable Codes by Zeilberger, Chen and Fisch (https://eprint.iacr.org/2023/1705.pdf) 0:13:03.3 Blaze: Fast SNARKs from Interleaved RAA Codes by Brehm, Chen, Fisch, Resch, Rothblum and Zeilberger (https://eprint.iacr.org/2024/1609.pdf) 0:13:03.3 Episode 277: Nova and Beyond with Srinath Setty (https://zeroknowledge.fm/277-2/) 0:31:16.5 Verifiable FHE via Lattice-based SNARKs by Atapoor, Baghery, Pereira and Spiessens (https://eprint.iacr.org/2024/032.pdf) 0:35:15.6 ARC: Accumulation for Reed–Solomon Codes by Bünz, Mishra, Nguyen and Wang (https://eprint.iacr.org/2024/1731.pdf) 0:49:10.9 VerITAS: Verifying Image Transformations at Scale by Datta, Chen and Boneh (https://eprint.iacr.org/2024/1066.pdf) 1:00:42.7 ZK Whiteboard Sessions - Module One: What is a SNARK? by Dan Boneh (https://zkhack.dev/whiteboard/module-one/) ZK Hack V (https://zkhack.dev/zkhackV/) kicks off this week, running from Nov 26 to Dec 17! Sign up for your spot here (https://zkhack.dev/zkhackV/). Check out the latest jobs in ZK at the ZK Podcast jobs board here! (https://jobsboard.zeroknowledge.fm/) 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Alex Gluchowski is the CEO and Co-Founder of Matter Labs building ZkSync. ZKsync is an ever expanding verifiable blockchain network, secured by math. Alex Gluchowskis Twitter: https://x.com/_pgauthier Ledger's Twitter: https://x.com/zksync Ledger's Website: https://zksync.io/ Logan Jastremski's Twitter: @LoganJastremski Frictionless's Twitter: @_Frictionless_ Frictionless's Website: ⁠https://frictionless.fund/⁠

Zcash is perhaps the most influential project in the cryptocurrency space, as it produces extremely useful research in the field Zero Knowledge proofs. Electric Coin Company CEO Josh Swihart & Zcash Core dev Kris Nuttycombe explain why Zcash us great.

Summary This week, Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) take a look back at some of the ZK Events produced in 2024 by the ZK Podcast, ZK Hack and other adjacent projects. Starting with the live ZK Jargon Decoder hosted in January and spanning the 10 months since, Anna and Nico share behind-the-scenes anecdotes, highlight key talks from the events and share some insight into how the programs for the zkSummit events are created. They wrapped with a summary of some of the themes in ZK that got them talking this year and are tracking going forward. Don't forget, this is the last episode of ZK Podcast before we take a pause in weekly shows for the rest of 2024 - but don't worry we will be back! Further Reading: ZK HACK IV - ZK Jargon Decoder (https://www.youtube.com/watch?v=68AXfOR74cA) Episode 309 - ZK Jargon Decoder with Nico Mohnblatt (https://www.youtube.com/watch?v=UKiQ6jTsv4E) ZK Hack Montréal (https://www.zkmontreal.com/) Under The Hood of zkID: - Nicolas Mohnblatt - Web3 Summit 2024 Berlin (https://youtu.be/JIZcDaPJjUg?si=-9eTMiQffKZA4U_j) Panel Discussion w/ Anna Rose, Jim Posen, Nicolas Mohnblatt - Web3 Summit 2024 Berlin (https://youtu.be/2AkMEYkU7yY?si=7y505ALxJBZlGNMl) zkSummit Website (https://www.zksummit.com/) zkSummit11 Playlist (https://www.youtube.com/watch?v=_Ao6ikWSgOY&list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54) zkSummit12 Live Link (https://www.youtube.com/live/lVvct93zJz0?si=BKK-Uu7K9QjDakON) Episode 338: On Trust Infrastructure with Arnaud Schenk (https://zeroknowledge.fm/338-2/) Panel: ZK Applications (https://www.youtube.com/watch?v=UD_9yjRD3tc&t=673s) ZK Whiteboard Sessions - S2M1: What is Zero-Knowledge (like, actually)? with David Wong (https://www.youtube.com/watch?v=ksTTyt0GTvQ&t=129s) While the show is taking a break, be sure to check out the ZK Whiteboard Sessions that are being produced by ZK Hack Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) Episode Sponsors Have you heard about o1Labs (https://www.o1labs.org/)? From o1js, their SDK for simplifying zk development, to o1VM pushing the limits of zkVMs, o1Labs is working directly with the community to build tools that unlock new possibilities. Visit o1labs.org (https://www.o1labs.org/) and join them as they shape the future of the zk-powered internet. A new era of decentralized, privacy-preserving computing is here. Aleo (http://aleo.org/) recently announced their mainnet launch. Start by learning their domain specific programming language, Leo, to write and deploy your first ZK application at leo-lang.org (http://leo-lang.org/), or head on over to aleo.org (http://aleo.org/) to learn more about our technology and what you can build. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

From a cross-platform media company, to launching their own conference and, more recently, an advisory branch, Blockworks has seen and done it all. We couldn't miss Permissionless III, one of the largest crypto conferences in the US, where we sat down with Jason Yanowitz to discuss emerging trends in the industry and where the attention might shift over the coming months.Topics covered in this episode:Blockworks' evolutionThe crypto conference landscapeBlockworks advisoryApps & infrastructureRegulationsZK & AIStablecoinsPodcastingEpisode links:Jason Yanowitz on TwitterBlockworks on TwitterPermissionless on TwitterEmpire Podcast on TwitterSponsors:Gnosis: Gnosis builds decentralized infrastructure for the Ethereum ecosystem, since 2015. This year marks the launch of Gnosis Pay— the world's first Decentralized Payment Network. Get started today at - gnosis.ioChorus1: Chorus1 is one of the largest node operators worldwide, supporting more than 100,000 delegators, across 45 networks. The recently launched OPUS allows staking up to 8,000 ETH in a single transaction. Enjoy the highest yields and institutional grade security at - chorus.oneThis episode is hosted by Sebastien Couture, Friederike Ernst & Sunny Aggarwal.

Many (including myself) are hailing ZK as the technology that will finally enable mass adoption of Web3. But how? And what's missing today that ZK provides? Ken Timsit is a Web3 veteran and a strong advocate for ZK tech. He co-founded Cronos Labs and its Particle B ecosystem accelerator, and was previously CRO at Consensys. On this show, we're going to be covering as much as possible on the proposition and benefits of zero-knowledge, and how it is being applied in Web3 today, including: - An introduction to Cronos - An overview of the ZK landscape, and how it's being used today (Roll-ups, data protection, EVMs, L1s vs. L2s) - Important use cases for ZK - The opportunity for ZK and DeFi to drive further adoption - Challenges and limitations of ZK today - What more is required for wider adoption of Web3 in general

Summary This week Anna (https://x.com/AnnaRRose) chats with Mikerah Quintyne-Collins (https://x.com/badcryptobitch) from HashCloak (https://x.com/hashcloak) and Stoffel Labs (https://x.com/StoffelMPC). They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe (https://chainsafe.io/) and eventually at HashCloak. They cover Mikerah's work on privacy preserving tech like ZK, TEE and MPC and learn about what drives her tweet game and the wisdom she has picked up over the years as a technical founder, driven by curiosity… and memes. Here's some additional links for this episode: ZK Mesh (https://zkmesh.substack.com/) @badcryptobitch Twitter (https://x.com/badcryptobitch) 03:24 Episode 40: Benedikt Bünz on Bulletproofs and Verifiable Delay Functions (https://zeroknowledge.fm/40-2/) 04:54 Ethereum Founder Vitalik talk 2017- What is Cryptoeconomics? (https://www.youtube.com/watch?v=eotdyanxKV4) 11:03 “I will quite literally drop out if we got $100k in ETH” Tweet by Mikerah (https://x.com/badcryptobitch/status/1075184655609937920) 13:01 “I am being told I should brag more about co-inventing rollups” Tweet by Mikerah (https://x.com/badcryptobitch/status/1832057683970760734) 15:36 Building Scalable Decentralized Payment Systems by Adlerand Quintyne-Collins (https://arxiv.org/pdf/1904.06441) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) Episode Sponsor 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Sylve Chevet⁠ is Co-Founder & CEO at ⁠Hylé⁠, the core layer for the modular Zero-Knowledge stack, a secure, decentralised, censorship-resistant settlement layer for all ZK proofs (ZKPs). --- This is a 15 minute excerpt. If you want to get the full experience with the 55 minute episode on our newsletter Venture Notes, enjoy a 50% discount for 12 months by redeeming it on this link: https://upcomingvc.substack.com/hyle --- Hylé, a French startup, is viewing the zero-knowledge proof space from a fresh angle. Hylé is tackling one of the most pressing challenges in blockchain: how to make zero-knowledge proofs more accessible, efficient, and scalable. Their approach is fascinating, they're building a modular blockchain infrastructure that specializes in verifying these proofs, potentially opening up a whole new world of applications. But Sylve isn't just here to talk tech specs. He brings a unique perspective on the broader implications of this technology. From bridging the gap between blockchain purists and mainstream adoption, to envisioning a future where cryptographic privacy is as ubiquitous and invisible as HTTPS, Sylve's insights challenge us to think bigger about the potential of zero-knowledge proofs. We'll be diving into the technical details of Hylé's approach, exploring emerging trends in ZKP adoption, and discussing the philosophical questions that arise as this technology matures. --- Learn more about Hylé, their story and their fundraises: https://medium.com/@hyle-eu/hylé-raises-3-4m-to-build-the-future-of-zk-proof-verification-cc366c71b4d6 https://en.thebigwhale.io/article-en/blockchain-firm-hyl-closes-2-6-million-financing-round https://www.theblock.co/post/294187/framework-ventures-leads-2-6-million-funding-round-for-zk-proof-verification-project-hyle https://journalducoin.com/defi/defi-hyle-leve-26-millions-de-dollars-blockchain https://cryptoast.fr/france-blockchain-hyle-cloture-tour-table-2-6-millions-dollars-revolutionner-zkp/ --- The podcasts Runway Series Originals, AMA VC, Human Factor, No-Code VC / Fit, Venture Talks & Solo-GP Series are produced by UPCOMINGVC® (⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠upcoming.vc⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠), created and hosted by Raphael Grieco (⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠olivecapital.vc⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ / ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠rapha.elgrie.co⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ / ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠raphael-grieco.com⁠⁠⁠⁠⁠⁠⁠⁠⁠).

⭐ Join Rental Property Mastery, my community of rental investors on their way to financial freedom: http://coachcarson.com/rpm  

Sylve Chevet is Co-Founder & CEO at Hylé, the core layer for the modular Zero-Knowledge stack, a secure, decentralised, censorship-resistant settlement layer for all ZK proofs (ZKPs). Hylé, a French startup, is viewing the zero-knowledge proof space from a fresh angle. Hylé is tackling one of the most pressing challenges in blockchain: how to make zero-knowledge proofs more accessible, efficient, and scalable. Their approach is fascinating, they're building a modular blockchain infrastructure that specializes in verifying these proofs, potentially opening up a whole new world of applications. But Sylve isn't just here to talk tech specs. He brings a unique perspective on the broader implications of this technology. From bridging the gap between blockchain purists and mainstream adoption, to envisioning a future where cryptographic privacy is as ubiquitous and invisible as HTTPS, Sylve's insights challenge us to think bigger about the potential of zero-knowledge proofs. We'll be diving into the technical details of Hylé's approach, exploring emerging trends in ZKP adoption, and discussing the philosophical questions that arise as this technology matures. This is a 30 second teaser. While a 15 minute excerpt will be publish later today, the full episode (55 minutes) will be available to our subscribers on VentureNotes.co. - The podcasts Runway Series Originals, AMA VC, Human Factor, No-Code VC / Fit, Venture Talks & Solo-GP Series are produced by UPCOMINGVC® (⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠upcoming.vc⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠), created and hosted by Raphael Grieco (⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠olivecapital.vc⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ / ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠rapha.elgrie.co⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ / ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠raphael-grieco.com⁠⁠⁠⁠⁠⁠⁠⁠).

Just sharing 2 updates: 1) the ZK Whiteboard sessions are BACK with a second season! These videos will be released every 2 weeks for the next 3 months on ZK Hack channels - * See Season 1 videos here: https://zkhack.dev/whiteboard/ * See Season 2 Module 1 here: https://zkhack.dev/whiteboard/s2m1/ 2) The Zero Knowledge Podcast (aka this show!) will take a pause on the weekly cadence of the show starting Oct 16th until the end of 2024. * Expect last 2 episodes on Oct 9 and Oct 16 * There may be some additional episodes released this year (but no plans yet) * Keep an eye on our website (https://zeroknowledge.fm/) and twitter (https://x.com/zeroknowledgefm) for updates about the show (and soon an updated website!)

Just a few days after launching the Citrea testnet, Orkun Kilic joins the Bitcoin Takeover podcast to talk about his team's approach to building zero-knowledge proofs and the ambition to create a BTC-only economy around it. Time stamps: Rollups vs. Sidechains (00:02:02) The Need for Rollups in Bitcoin (00:04:18) Citrea's Unique Approach (00:06:29) Building a Generic Virtual Machine (00:08:08) Citrea as the First ZK Rollup on Bitcoin (00:09:10) Comparison with Other Projects (00:09:56) Use Cases for Average Users (00:12:08) Citrea & Non-Custodial Financial Services (00:14:44) Citrea vs Drivechains (00:16:30) Differences in Trust Assumptions (00:17:05) Drivechain Proposal History (00:18:14) Starkware and Zero Knowledge Proofs (00:19:13) Technical Limitations of Starknet (00:19:35) Building Non-Custodial Solutions (00:20:24) Future of Syria and Decentralization (00:24:05) Progress Since Last Interview (00:26:14) Presentation on Hyper Bitcoinization (00:28:03) Privacy Benefits of Citrea (00:29:37) Potential Changes to Bitcoin (00:30:49)

Summary This week Anna (https://x.com/AnnaRRose) catches up with Zac Williamson (https://x.com/Zac_Aztec) & Ariel Gabizon (https://x.com/rel_zeta_tech) from Aztec (https://aztec.network/). They explore what's new since they were both on the show last spring before diving into the pair's work over the last year, covering everything from Zac's contributions to Aztec 3 to Ariel's latest research on IVC with his publications of the Protostar and Stackproofs works. Here's some additional links for this episode: [Episode 273: History of Plonk, Noir, and the building of Aztec 3(]https://zeroknowledge.fm/273-2/) Episode 274: SNARKs: A Trilogy with Ariel Gabizon (https://zeroknowledge.fm/274-2/) 5:51 * zkSummit: plookup: Speeding up the PLONK prover - Zac Williamson & Ariel Gabizon (https://www.youtube.com/watch?v=Vdlc1CmRYRY) 13:01 * HyperNova: Recursive arguments for customizable constraint systems by Kothapalli and Setty (https://eprint.iacr.org/2023/573.pdf) 13:01 * ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols by Bünz and Chen (https://eprint.iacr.org/2023/620.pdf) 27:24 * cq: Cached quotients for fast lookups by Eagen, Fiore and Gabizon (https://eprint.iacr.org/2022/1763.pdf) 34:54 * Delegating Computation: Interactive Proofs for Muggles by Goldwasser, Kalai and Rothblum (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/2008-DelegatingComputation.pdf) 34:54 * Unlocking the lookup singularity with Lasso by Setty, Thaler and Wahby (https://people.cs.georgetown.edu/jthaler/Lasso-paper.pdf) 36:36 * Stackproofs: Private proofs of stack and contract execution using Protogalaxy by Eagen, Gabizon, Sefranek, Towa and Williamson (https://eprint.iacr.org/2024/1281.pdf) 54:32 * Accumulation without Homomorphism by Bünz, Mishra, Nguyen and Wang (https://eprint.iacr.org/2024/474.pdf) 55:24 * Aztec.network (https://aztec.network/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon next week on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as early bird tickets are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com (https://gevulot.com/). 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary This week Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) chat with Lukas Helminger (https://x.com/luhelminger) and Ais Connolly (https://x.com/aisconnolly) from TACEO (https://x.com/TACEO_IO). They discuss Lukas & Ais' early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs - or Collaborative SNARKs - that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom language, the characteristics of these systems as well as how they can be applied in the real world. Here's some additional links for this episode: TACEO (https://taceo.io/) TACEO Docs (https://docs.taceo.io/) TACEO GitHub (https://github.com/TaceoLabs) Hashing it out: coSNARKs at TACEO (https://blog.taceo.io/hashing-it-out/) Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and Boneh (https://eprint.iacr.org/2021/1530.pdf) Privately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and Walch (https://eprint.iacr.org/2020/522.pdf) Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and Walch (https://eprint.iacr.org/2024/705.pdf) Collaborative SNARKs by Roman Walch (https://rwalch.at/talk/pse_tokyo_co-circom/) Notes on Collaborative zkSNARKs (https://www.leku.blog/co-snarks/) MPC Primer - coCircom (https://docs.taceo.io/mpc-primer.html) ZK Podcast clip about Collaborative Zero-Knowledge Proofs (https://share.snipd.com/snip/818975b8-8178-437b-bfa3-b5f82b1b7fcc) from Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) coSNARKs - coCircom (https://docs.taceo.io/collsnarks.html) Exploring Collaborative Zero-Knowledge Proofs (https://www.zkon.xyz/blog/collaborative-zero-knowledge-proofs-co-zkps-web3) ZK11: MPC-Enabled Proof Markets - Daniel Kales (https://www.youtube.com/watch?v=4-W5nnsf9-A) coCircom Repo (https://github.com/TaceoLabs/collaborative-circom) coSNARKs Demo: Max Pick Challenge (https://blog.taceo.io/max-pick-challenge/) MPC Uniqueness Check GitHub (https://github.com/worldcoin/mpc-uniqueness-check) coSNARKs Telegram Channel (https://t.me/collaborativeSNARK) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as spots are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com (https://gevulot.com/). 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary This week Anna (https://x.com/AnnaRRose) and Zaki Manian (https://x.com/zmanian) dive into the Cosmos (https://cosmos.network/) ecosystem and ask the question: is Cosmos Dead? They explore key events, teams and players who worked on Cosmos during different eras before teasing out the strengths and structural flaws that made the project what it is today. The conversation wraps with a discussion around new initiatives aimed at reviving the ecosystem and aligning factions in Cosmos together towards a central goal. Here's some additional links for this episode: 03:50 * Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun (https://zeroknowledge.fm/286-2/) 20:38 * Episode 263: Cosmos, Sommelier and Emerging Assets with Zaki Manian (https://zeroknowledge.fm/263-2/) 32:16 * Episode 337: Restaking Research with Naveen & Tarun (https://zeroknowledge.fm/337-2/) 55:11 * Cosmos SDK GitHub (https://github.com/cosmos/cosmos-sdk) * Cosmos Website (https://cosmos.network/) * Cosmos SDK Documentation (https://docs.cosmos.network/) * Privacy in Cosmos Live: Zaki Manian (Sommelier)- The Unbearable Weight of Sovereign Multichain UX (https://youtu.be/rBdl_xbk_Cw) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as spots are limited! Episode Sponsors Get ready to build with intention. Anoma (https://anoma.net/) is the universal intent machine, introducing a new era of applications where you define the outcomes you want. Follow Anoma on X to learn more at x.com/anoma (https://x.com/anoma) 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) catch up with Andrew Miller (https://x.com/socrates1024). They cover his early work on consensus, ZK and MPC before switching focus to the topic of his current work: TEEs. They map his evolving opinion on TEEs and explore why they could be seen as an optimal solution to many of the blockchain challenges. Here's some additional links for this episode: 3:59 * Andrew Miller works (https://soc1024.ece.illinois.edu/) 5:32 * SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies by Bonneau, Miller, Clark, Narayanan, Kroll, Felten (https://jbonneau.com/doc/BMCNKF15-IEEESP-bitcoin.pdf) 11:45 * Zerocash: Decentralized Anonymous Payments from Bitcoin by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer, and Virza (https://eprint.iacr.org/2014/349.pdf) 21:33 * The Honey Badger of BFT Protocols by Miller, Xia, Croman, Shi, and Song (https://eprint.iacr.org/2016/199.pdf) 28:50 * DelegaTEE: Brokered Delegation Using Trusted Execution Environments by Matetic, Schneider, Miller, Juels and Capkun (https://eprint.iacr.org/2018/160) 33:02 * Ratel: MPC-extensions for Smart Contracts by Li, Soska, Huang, Bellemare, Quintyne-Collins, Wang, Liu, Song and Miller (https://eprint.iacr.org/2023/1909) 33:02 * Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts by Cheng, Zhang, Kos, He, Hynes, Johnson, Juels, Miller and Song (https://arxiv.org/pdf/1804.05141) 1:01:26 * Demo of IT from Xyn and Ryan (https://teleport.best/) 1:01:26 * Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets by Kelkar, Babel, Daian, Austgen, Buterin and Juels (https://eprint.iacr.org/2023/044) 1:06:20 * Off-Chain Coordination via Liquefaction - James Austgen | MEV-SBC '24 (https://www.youtube.com/watch?v=I5sBmoeSc2Q) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as tickets are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com (https://gevulot.com/). 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

En este episodio #LaÚltimaFrontera, #SantiSiri y #EmiGarzón reciben a #MatthiasBroner un experto en el mundo Web3, parte de Matter Labs y uno de los cerebros detrás de zkSync, un protocolo que busca escalar #Ethereum para poder llegar a mil millones de usuarios en casos de uso cotidiano. Matthias fue Jefe de Marketing en OpenZeppelin, también lideró la estrategia de marketing de crecimiento para la DFINITY Foundation, destacándose en el lanzamiento y la apertura de código de ICP, una capa 1 emergente de la comunidad ETH que alcanzó el cuarto puesto en capitalización bursátil total. También, hablan sobre la revolución, el desarrollo, y el ciclo de vida del desarrollo de software (SDLC); el poder de la IA generativa; modelos de lenguaje LLM; criptografía "Zero Knowledge"; blockchain; startups; VC y protocolos Web3; entre otros temas. ¿Podría aumentar el PBI mundial si se hace la mejora prevista del 30% de la productividad, gracias a las IA para desarrolladores? ¿La experiencia humana sigue siendo crucial para definir experiencias de usuario atractivas? ¿Cuál es el poder y la promesa de la IA generativa en el SDLC?

Summary This week Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) chat with Arnaud Schenk (https://x.com/_arnauds_), one of the original co-founders of Aztec (https://aztec.network/) and creator of the Polaris Fellowship (https://www.polaris-fellowship.com/). They discuss Arnaud's recent blog post ‘On Trust Infrastructure', exploring the down sides of a trustless system, the need to make online community building more possible and how programmable cryptography may play a role in these solutions. They explore the history of computer culture, the rejection of institutions by mid-90s internet culture and how the seeds for this were set by the 60s counterculture. Here's some additional links for this episode: 05:09 * Episode 75: Exploring Aztec with Zac Williamson (https://zeroknowledge.fm/75-2/) 05:09 * Episode 176: Zk-zk-rollup & zk.money with Zac and Joe from Aztec (https://zeroknowledge.fm/176-2/) 05:09 * Episode 273: History of Plonk, Noir, and the building of Aztec 3 (https://zeroknowledge.fm/273-2/) 07:38 * Episode 237: Exploring ZK Research with Jens Groth (https://zeroknowledge.fm/237-2/) 20:01 * Into the deep end: making sense of PLONK - Zac Williamson (CTO, Aztec Protocol) (https://www.youtube.com/watch?v=ty-LZf0YCK0&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7&index=156) 23:55 * Collaborative Circles: Friendship Dynamics and Creative Work by Michael P. Farrell (https://press.uchicago.edu/ucp/books/book/chicago/C/bo3645929.html) 27:05 * No Sense of Place: The Impact of Electronic Media on Social Behavior by Joshua Meyrowitz (https://global.oup.com/academic/product/no-sense-of-place-9780195042313?cc=us&lang=en&) 29:33 * On Trust Infrastructure by Arnaud Schenk (https://gestalt.cafe/trust-infrastructure/) 39:28 * Crypto's Three Body Problem by Lotti, Shorin, Hart (https://otherinter.net/research/three-body-problem/) 48:13 * Plurality philosophy in an incredibly oversized nutshell by Vitalik Buterin (https://vitalik.eth.limo/general/2024/08/21/plurality.html) 52:21 * From Counterculture to Cyberculture: Stewart Brand, the Whole Earth Network, and the Rise of Digital Utopianism by Fred Turner (https://press.uchicago.edu/ucp/books/book/chicago/F/bo3773600.html) 52:21 * The Electric Kool-Aid Acid Test by Tom Wolfe (https://voidnetwork.gr/wp-content/uploads/2021/01/The-Electric-Kool-Aid-Acid-Test-Tom-Wolfe.pdf) * On Crypto Article by Arnaud Schenk (https://gestalt.cafe/on-crypto/) * Knot Group Wiki (https://knot-group.github.io/wiki/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as early bird tickets are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com (https://gevulot.com/). 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) chat with Naveen Durvasula (https://x.com/n_durvasula) about his recent work ‘Robust Restaking Networks (https://arxiv.org/pdf/2407.21785)'. They discuss Naveen's early work on matching markets and how this led him to work on mechanism design before exploring how the concepts of restaking were first presented, and how both Naveen and Tarun have been working to better model the mechanisms underpinning restaking, to understand how they work and how they can be optimized. Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to attend are now open at zksummit.com (https://www.zksummit.com/), apply today as early bird tickets are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com (https://gevulot.com/). 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode, Anna (https://x.com/AnnaRRose) chats with Connor O'Hara (https://theorg.com/org/celestia/org-chart/connor-o-hara) from Celestia (https://celestia.org/). After discussing the latest ZK Hack Montréal event (https://www.zkmontreal.com/) where Connor was a judge, they dive into his professional background, the ecosystems he has been a part of and what led him to work on Celestia. They then discuss various ZK-focused initiatives within the Celestia ecosystem. Here's some additional links for this episode: Episode 311: The Launch of Celestia and Beyond (https://zeroknowledge.fm/311-2/) 03:22 ZK Hack Montréal (https://www.zkmontreal.com/) 08:08 ZK Hack Devfolio (https://zk-hack-montreal.devfolio.co/) 24:33 Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem (https://zeroknowledge.fm/151-2/) 30:24 Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia (https://zeroknowledge.fm/208-2/) 41:26 Episode 220: The Road to Plonky2 with Brendan and Daniel from Polygon Zero (https://zeroknowledge.fm/220-2/) 46:49 Vitalik Buterin Endgame Blog Post (https://vitalik.eth.limo/general/2021/12/06/endgame.html) 49:41 Light Nodes Everywhere: Why & How - Connor O'Hara at Modulard Summit (https://www.youtube.com/watch?v=L6KmiFSN0OA) 56:29 ZK11: 1 Circuit, 5 Rollups: Building a Re-Usable DA Integration for ZK Rollups - Connor O'Hara (https://www.youtube.com/watch?v=gsOvk7GSxLg) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for the latest jobs in ZK at jobsboard.zeroknowledge.fm (https://jobsboard.zeroknowledge.fm/) Episode Sponsors Get ready to build with intention. Anoma (https://anoma.net/) is the universal intent machine, introducing a new era of applications where you define the outcomes you want. Follow Anoma on X to learn more at x.com/anoma (https://x.com/anoma) 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode, Anna (https://x.com/AnnaRRose) chats with Jens Groth (https://x.com/JensGroth16) and Daniel Marin (https://x.com/danielmarinq) from Nexus (https://nexus.xyz/). They catch up on all things Groth16 with the author himself before diving into a variety topics, such as formal verification in the context of ZKPs, the Nexus architecture, the benefits and challenges of building a system from the ground up, folding and IVC plus the properties these offer in a zkVM context and much more. Here's some additional links for this episode: ZKProof Conference in Berlin (https://zkproof.org/events/zkproof-6-berlin/) Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty, and Tzialla (https://eprint.iacr.org/2021/370.pdf) Nexus zkVM (https://nexus.xyz/) Episode 284: Using Formal Verification on ZK Systems with Jon Stephens (https://zeroknowledge.fm/284-2/) Jens Groth Publication List (http://www0.cs.ucl.ac.uk/staff/j.groth/) Nexus Docs (https://docs.nexus.xyz/) Nexus 1.0 Machine (https://nexus.xyz/zkvm-v1) Enabling General-Purpose Verifiable Computing | Daniel Marin (Oct 2023) on YouTube (https://www.youtube.com/watch?v=G4ziNNC4zHM) Nexus 2.0 (https://nexus.xyz/zkvm) SETI@home (https://setiathome.berkeley.edu/) zkSummit12 is happening in Lisbon on Oct 8th! Applications to speak or attend are now open at zksummit.com (https://www.zksummit.com/), speaker applications close TODAY (Aug 14th) and early bird tickets for attendance are limited! 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-minimized bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord (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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Edan Yago is the co-author of BitcoinOS: the first Zero Knowledge proof system to get verified on Bitcoin's main net. BitcoinOS is a significant breakthrough, as it endows Bitcoin with extended financial features without the need for a soft fork.

Hey! There is no episode this week, but wanted to share an update about zkSummit 12 - happening on Oct 8 in Lisbon. If you want to join, be sure to apply to attend. If you want to apply to speak, the deadline to apply is Aug 15th. Both application to attend and the application to speak are in the same form that can be found @ www.zksummit.com

Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Guille (https://x.com/guilleangeris) catch up with Joe Bonneau (https://twitter.com/josephbonneau), Assistant Professor at NYU (https://nyu.edu/) and Research Partner at a16z crypto research (https://a16zcrypto.com/research/). They discuss the research Joe has been working on since he was last on the show in 2019, including Naysayer proofs (https://eprint.iacr.org/2023/1472.pdf), Zero-Knowledge Middleboxes (https://eprint.iacr.org/2021/1022.pdf), Sealed-Bid Auctions (https://eprint.iacr.org/2023/1336.pdf), and other ZK-related research projects to date. Here's some additional links for this episode: 03:18 * Episode 103: Exploring VDFs with Joseph Bonneau (https://zeroknowledge.fm/103-2/) 05:05 * Bitcoin and Cryptocurrency Technologies by Narayanan, Bonneau, Felten, Miller and Goldfeder (https://d28rh4a8wq0iu5.cloudfront.net/bitcointech/readings/princeton_bitcoin_book.pdf) 11:00 * Verifiable Delay Functions Dan Boneh, Joseph Bonneau, Benedikt Bunz, and Ben Fisch (https://eprint.iacr.org/2018/601.pdf) 16:18 * Naysayer proofs by Seres, Glaeser and Bonneau (https://eprint.iacr.org/2023/1472.pdf) 16:18 * Sealed-Bid Auctions (https://eprint.iacr.org/2023/1336.pdf) 31:06 * DARPA SIEVE Project (https://www.darpa.mil/program/securing-information-for-encrypted-verification-and-evaluation) 37:59 * Zombie: Middleboxes that Don't Snoop by Zhang, DeStefano, Arun, Bonneau, Grubbs and Walfish (https://eprint.iacr.org/2023/1022.pdf) 37:59 * Zero-Knowledge Middleboxes by Grubbs, Arun, Zhang, Bonneau and Walfish (https://eprint.iacr.org/2021/1022.pdf) 51:18 * jbonneau.com (http://jbonneau.com/) 58:04 * Riggs: Decentralized Sealed-Bid Auctions by Tyagi, Arun, Freitag, Wahby and Mazières (https://eprint.iacr.org/2023/1336.pdf) 58:04 * Cicada: A framework for private non-interactive on-chain auctions and voting by Glaeser, Seres, Zhu, and Bonneau (https://eprint.iacr.org/2023/1473.pdf) 1:06:17 * Atomic and Fair Data Exchange via Blockchain by Tas, Seres, Zhang, Melczer, Kelkar, Bonneau and Nikolaenko (https://eprint.iacr.org/2024/418.pdf) * Zero Knowledge Summit (zkSummit) 2024: Field notes (https://a16zcrypto.com/posts/article/zero-knowledge-summit-zksummit-2024-field-notes/) ZK Hack Montreal is happening on Aug 9 - 11. Don't miss your chance to join, apply now to participate in the hackathon here (https://zk-hack-montreal.devfolio.co/). zkSummit12 is happening in Lisbon on Oct 8th! Applications to speak or attend are now open at zksummit.com (https://www.zksummit.com/), speaker applications close Aug 15th and early bird tickets for attendance are limited! Episode Sponsors Attention, all projects in need of server-side proving, kick start your rollup with Gevulot's ZkCloud, the first zk-optimized decentralized cloud! Get started with a free trial plus extended grant opportunities for premier customers until Q1 2025. Register at Gevulot.com (https://gevulot.com/). 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode Anna (https://x.com/AnnaRRose) chats with Ismael Hishon-Rezaizadeh (https://x.com/ismael_h_r), Founder and CEO at Lagrange Labs (https://www.lagrange.dev/) and Charalampos (Babis) Papamanthou (https://x.com/chbpap), Head of Research at Lagrange and Co-Director of the Applied Cryptography Lab at Yale University. They revisit the concepts of zk-powered coprocessors and dive into the work that Charalampos did previous to joining Lagrange on Verifiable SQL. They then explore how this is incorporated into the Lagrange coprocessor system, the work they are doing on Reckle Trees, future work and what all this enables for dApp developers. They discuss their new prover marketplace, the general state of infrastructure and how they are keen to bring more concepts from general computing into decentralized blockchain systems. Here's some additional links for this episode: 13:07 * Protocols for Public Key Cryptosystems by Ralph C. Merkle (https://www.ralphmerkle.com/papers/Protocols.pdf) 14:08 * Episode 57: Merklize this! Merkle Trees & Patricia Tries (https://zeroknowledge.fm/57-2/) 26:32 * Episode 327: Proof Aggregation with Shumo and Yi from NEBRA (https://zeroknowledge.fm/327-2/) 36:57 * Reckle Trees: Updatable Merkle Batch Proofs with Applications by Papamanthou, Srinivasan, Gailly, Hishon-Rezaizadeh, Salumets and Golemac (https://eprint.iacr.org/2024/493.pdf) 36:57 * Lagrange Labs GitHub on Reckle Trees (https://github.com/Lagrange-Labs/reckle-trees) The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21, you can head over to web3summit.com (http://web3summit.com/) to apply, learn more and grab your tickets today. 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-minimized bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord (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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) sit down with Hart Lambur (https://x.com/hal2001) irl at EthCC week in Brussels. They start by exploring Hart's project Across (https://across.to/) - a cross-chain interoperability solution and sister project to Uma (https://uma.xyz/). They explore the Across construction, the tradeoff space and how this compares to other interop solutions. Then, in ZK Podcast tradition, the group shift gears with a few drinks and explore thoughtful observations on the week in Brussels. Here's some additional links for this episode: Hart Lambur's Twitter (https://x.com/hal2001) Uma Website (https://uma.xyz/) Uma Docs (https://docs.uma.xyz/) Across Protocol Website (https://across.to/) Across Protocol Medium (https://medium.com/across-protocol) Further links to follow 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-minimized bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord (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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

This week's ZK Podcast episode will be delayed to Thursday this week due to Brussels mania. In the meantime, we wanted to highlight the upcoming ZK Hack Montreal event, happening Aug 9-11 2024. This is the 4th IRL zk-focused hackathon produced by ZK Hack. Apply now to attend ZK Hack Montreal as a hacker and jump into zk. https://www.zkmontreal.com/ Find out more about ZK Hack & join the discord as well at https://zkhack.dev/

Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Tarun (https://x.com/tarunchitra) meet with Varun Srinivasan (https://x.com/varunsrin), co-founder of Farcaster (https://www.farcaster.xyz/). They explore the Farcaster project, discussing the ideas that prompted its inception and what separates it from existing social media networks. The conversation explores the design space that Farcaster opens up for devs and the kinds of applications that can be built on top of it. Here's some additional links for this episode: Farcaster (https://www.farcaster.xyz/) Mastodon (https://mastodon.social/explore) Diaspora (https://diasporafoundation.org/) Mastodon ActivityPub (https://docs.joinmastodon.org/spec/activitypub/) Secure Scuttlebutt (https://scuttlebutt.nz/) Supercast (https://www.supercast.xyz/) Drakula (https://drakula.app) What is Frames? (https://docs.farcaster.xyz/learn/what-is-farcaster/frames) Frames Spec (https://docs.farcaster.xyz/reference/frames/spec) Farcaster Frames: what you need to know (https://www.dynamic.xyz/blog/farcaster-frames) Warpcast (https://warpcast.com/) ZORA (https://zora.co/?feed=following) Surveycaster (https://surveycaster.xyz/welcome) Blowfish (https://blowfish.xyz/) OpenRank (https://openrank.com/) OpenRank Docs - Farcaster Integration (https://docs.openrank.com/integrations/farcaster) Neynar (https://neynar.com) ZK Hack Montreal is happening Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors Gevulot (http://gevulot.com/) is the first decentralized proving layer. With Gevulot, users can generate and verify proofs using any proof system, for any use case. Gevulot is offering priority access to ZK Podcast listeners, register on gevulot.com (http://gevulot.com/) and write “ZK Podcast” in the note field of the registration form! 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode, Anna (https://x.com/AnnaRRose) and Guille (https://x.com/GuilleAngeris) chat with Ying Tong Lai (https://x.com/therealyingtong) from Geometry Research (https://geometry.dev/) and Bryan Gillespie (https://x.com/bryan_gillespie) from Inversed Tech (https://inversed.tech/) about their latest research and works to date. They dive into the pair's recent work ‘SoK: Programmable Privacy in Distributed Systems (https://eprint.iacr.org/2024/982)', exploring the classifications and frameworks being introduced. Here's some additional links for this episode: SoK: Programmable Privacy in Distributed Systems by Benarroch, Gillespie, Lai and Miller (https://eprint.iacr.org/2024/982) Private Programmability in Zcash - Research Results and Community Discussion (https://forum.zcashcommunity.com/t/48016) Zcash Halo2 GitHub (https://github.com/zcash/halo2) Zk0x02 - An intro to Zcash and zkSNARKs - Ariel Gabizon (Zcash) (https://www.youtube.com/watch?v=Kx4cIkCY2EA) Moving SNARKs from the generic to algebraic group model by Ariel Gabizon (https://medium.com/@arielgabizon/moving-snarks-from-the-generic-to-algebraic-group-model-56549d60b90d) Explaining SNARKs Part I: Homomorphic Hidings by Ariel Gabizon (https://electriccoin.co/blog/snark-explain/) Differential Privacy in Constant Function Market Makers by Chitra, Angeris and Evans (https://fc22.ifca.ai/preproceedings/30.pdf) A Note on Privacy in Constant Function Market Makers by Angeris, Evans and Chitra (https://angeris.github.io/papers/cfmm-privacy.pdf) On Privacy Notions in Anonymous Communication by Kuhn, Beck, Schiffner, Jorswieck, and Strufe (https://arxiv.org/pdf/1812.05638) ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (https://zk-hack-montreal.devfolio.co/). Episode Sponsors 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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary In this week's episode Anna (https://x.com/AnnaRRose) and Nico (https://x.com/nico_mnbl) chat with Alessandro Chiesa (https://ic-people.epfl.ch/~achiesa/), Associate Professor at EPFL and Eylon Yogev (https://eylonyogev.com/), Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions (https://snargsbook.org/), which provides a comprehensive and rigorous treatment of cryptographic proofs and goes on to analyze notable constructions of SNARGs based on ideal hash functions. Here's some additional links for this episode: Building Cryptographic Proofs from Hash Functions by Chiesa and Yogev (https://snargsbook.org/) Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa (https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/) Barriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev (https://eprint.iacr.org/2020/1427.pdf) STIR: Reed–Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev (https://eprint.iacr.org/2024/390.pdf) ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi (https://zeroknowledge.fm/321-2/) Computationally Sound Proofs by Micali (https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf) Tight Security Bounds for Micali's SNARGs by Chiesa and Yogev (https://eprint.iacr.org/2021/188.pdf) Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner (https://eprint.iacr.org/2016/116.pdf) Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland (https://www.slmath.org/summer-schools/1037) Proofs, Arguments, and Zero-Knowledge by Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf) ZK HACK Discord and Justin Thaler Study Club (https://discord.gg/Nw7PKJ7e) Justin Thaler Study Club by ZK HACK on YouTube (https://www.youtube.com/playlist?list=PLj80z0cJm8QEmZkGgSOLpr_8B08SCWVQ7) Subquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev (https://eprint.iacr.org/2021/281.pdf) ZK Learning Course (https://zk-learning.org/) 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-minimized bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord (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. As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey. 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 (www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

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/)

Summary In this week's episode Anna chats with Shumo and Yi from NEBRA. They discuss the high price of putting ZKPs on-chain before diving into NEBRA's proposed solution to mitigating this, their Universal Proof Aggregation product. They cover what it takes to incorporate extra pricing systems into NEBRA UPA as well as the benefits that these systems will bring, how developers are meant to interact with them, and future integrations to enable seamless cross-zkRollup applications. The group round off by discussing prover marketplaces, verification aggregation systems, and the design space that this all opens up. Here's some additional links for this episode: NEBRA NEBRA UPA Demo NEBRA Docs UPA Gas Costs by NEBRA MIT Bitcoin Club fflonK: a Fast-Fourier inspired verifier efficient version of PlonK by Gabizon and Williamson UniPlonK: PlonK with Universal Verifier by Chu, Gomes, Iglesias, Norton and Tebbs Hyle Aligned Layer The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21! You can head over to web3summit.com to apply, learn more and grab your tickets today. Episode Sponsors 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-minimized bridge. Follow Namada on Twitter @namada for more information and join the community on Discord discord.gg/namada. 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 Q1, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at http://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