Podcasts about aleo

  • 73PODCASTS
  • 222EPISODES
  • 52mAVG DURATION
  • 1MONTHLY NEW EPISODE
  • May 13, 2025LATEST

POPULARITY

20172018201920202021202220232024


Best podcasts about aleo

Latest podcast episodes about aleo

AWR Malagasy / Malgache
1 - Aleo aloha 2 - Fisorohana sy fitsaboana ny goute 3 - Aoka hitovy ny taona sy ny fanabeazana 4 - Fanamafisam-pihavanana 01 5 - Tahaka ny vainafo mirehitra

AWR Malagasy / Malgache

Play Episode Listen Later May 13, 2025 59:00


1 - Aleo aloha 2 - Fisorohana sy fitsaboana ny goute 3 - Aoka hitovy ny taona sy ny fanabeazana 4 - Fanamafisam-pihavanana 01 5 - Tahaka ny vainafo mirehitra

AWR Malgache
1 - Aleo aloha 2 - Fisorohana sy fitsaboana ny goute 3 - Aoka hitovy ny taona sy ny fanabeazana 4 - Fanamafisam-pihavanana 01 5 - Tahaka ny vainafo mirehitra

AWR Malgache

Play Episode Listen Later May 13, 2025 59:00


1 - Aleo aloha 2 - Fisorohana sy fitsaboana ny goute 3 - Aoka hitovy ny taona sy ny fanabeazana 4 - Fanamafisam-pihavanana 01 5 - Tahaka ny vainafo mirehitra

Crypto Hipster Podcast
Why Ethereum Must Be Saved Soon, and How the Solana Virtual Machine Can Help, with Joanna Zeng @ SOON (Video)

Crypto Hipster Podcast

Play Episode Listen Later Apr 10, 2025 32:22


Joanna Zeng is the co-founder and CEO of SOON Network. Before establishing SOON, Joanna used to be a currency trader on Wall Street and has since held significant roles in business development and product management at Aleo, Optimism, and Coinbase. She also served as a founding board member of CryptoNYC and is an active angel investor.

Crypto Hipster Podcast
Why Ethereum Must Be Saved Soon, and How the Solana Virtual Machine Can Help, with Joanna Zeng @ SOON (Audio)

Crypto Hipster Podcast

Play Episode Listen Later Apr 10, 2025 32:22


Joanna Zeng is the co-founder and CEO of SOON Network. Before establishing SOON, Joanna used to be a currency trader on Wall Street and has since held significant roles in business development and product management at Aleo, Optimism, and Coinbase. She also served as a founding board member of CryptoNYC and is an active angel investor.

CryptoNews Podcast
#427: Joanna Zeng, CEO of SOON Network, on Being an ETH L2 Using SVM, The Future of High-performance L2s, and Community Centric Building

CryptoNews Podcast

Play Episode Listen Later Apr 3, 2025 28:04


Joanna Zeng is the co-founder and CEO of SOON Network, before establishing SOON (Solana Optimistic Network), Joanna used to be a currency trader on Wall Street, and has since held roles in business development and product management at Aleo, Optimism, and Coinbase. She also served as a founding board member of CryptoNYC and is an active angel investor.SOON is a Layer 2 (L2) blockchain built on Solana's Virtual Machine (SVM). It uses Optimistic Rollups to take Solana's already impressive speed and low costs to a whole new level.Under Joanna's leadership, SOON has rapidly progressed, launching its DevNet within six months and positioning itself as a key player in the next wave of blockchain innovation. Her journey from traditional finance to blockchain exemplifies her vision and commitment to creating sustainable, real-world solutions that push the boundaries of decentralization.In this conversation, we discuss:- SOON is an ETH L2 using the SVM- Saratoga Water going viral- Community-Centric Building- SOON led a ‘co-builder' funding round in 2024 with no VC involvement, allowing community to have stake in the project- High-Performance L2s- Solana Virtual Machine (SVM)- SOON's decoupled SVM separates execution from consensus- Kaito yaps- Key benefits of using SVMs compared to EVMs- The future of L2s- Ethereum L2 fragmentationSOON NetworkWebsite: soo.networkX: @soon_svmDiscord: discord.gg/soon-svmJoanna ZengX: @justsayuluvjoLinkedIn: Joanna Zeng ---------------------------------------------------------------------------------  This episode is brought to you by PrimeXBT.  PrimeXBT offers a robust trading system for both beginners and professional traders that demand highly reliable market data and performance. Traders of all experience levels can easily design and customize layouts and widgets to best fit their trading style. PrimeXBT is always offering innovative products and professional trading conditions to all customers.   PrimeXBT is running an exclusive promotion for listeners of the podcast. After making your first deposit, 50% of that first deposit will be credited to your account as a bonus that can be used as additional collateral to open positions.  Code: CRYPTONEWS50  This promotion is available for a month after activation. Click the link below:  PrimeXBT x CRYPTONEWS50

web3 with a16z
Why blockchains need privacy for apps

web3 with a16z

Play Episode Listen Later Feb 1, 2025 40:54


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.

Chorus One Podcast
Advancing Blockchain with Zero-Knowledge Technology | Chorus One Podcast S3 E1

Chorus One Podcast

Play Episode Listen Later Jan 14, 2025 55:57


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. 

Zero Knowledge
Episode 345: Latest ZK Research with Dan Boneh

Zero Knowledge

Play Episode Listen Later Nov 27, 2024 62:58


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)

Teaching Middle School ELA
Episode 309: What Does Taylor Swift Have to Do with Student Projects (Interview with Trevor Aleo)

Teaching Middle School ELA

Play Episode Listen Later Nov 5, 2024 36:09 Transcription Available


In this special episode of The Teaching Middle School ELA Podcast, Megan interviews Trevor Aleo, a high school language arts teacher and co-author of Learning That Transfers: Designing Curriculum for a Changing World. Trevor talks about the strategies he used to help his 8th graders engage in multimodal composing projects, as you can read about in his English Journal article “‘What Would Other Swifties Think?': Multimodal Composing with Communities in Mind.” Tune in to learn how you can help your students tap into their communities and write for a real-world audience.Check out the #HackYourStack Database that Trevor shares on the show: https://reminiscent-attention-b9e.notion.site/HackYourStack-Database-e00377a9816045ed8dfbbe026b9ff9e8Visit his website: https://www.trevoraleo.com/And if you'd like to read the article after listening, you can find it here! “What Would Other Swifties Think?”: Multimodal Composing with Communities in Mind | ncte.org (publicationsncte.org)

The Wild Around Us
Pileated Woodpecker: Deep Dive

The Wild Around Us

Play Episode Listen Later Nov 4, 2024 12:12


Send us a textPresented by Squam Lakes Natural Science Center in Holderness, NHVisit us at: https://nhnature.org/podcast/ How do plants and animals survive where they live? Each episode will focus on interesting adaptations and take a deep dive into a specific species. Take the information you learn into the wild and look at nature in a new way.Music by: Nicholas D'Aleo, daleo.nicholas@gmail.com

The Wild Around Us
Fisher: Well Adapted Predator

The Wild Around Us

Play Episode Listen Later Oct 28, 2024 9:28


Send us a textPresented by Squam Lakes Natural Science Center in Holderness, NHVisit us at: https://nhnature.org/podcast/ How do plants and animals survive where they live? Each episode will focus on interesting adaptations and take a deep dive into a specific species. Take the information you learn into the wild and look at nature in a new way.Music by: Nicholas D'Aleo, daleo.nicholas@gmail.com

Zero Knowledge
Episode 344: ZK Events 2024 Recap

Zero Knowledge

Play Episode Listen Later Oct 16, 2024 69:43


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)

Zero Knowledge
Episode 343: Mastering MPC & Memes with Mikerah

Zero Knowledge

Play Episode Listen Later Oct 9, 2024 60:50


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)

Zero Knowledge
Episode 342: Catch up with Zac and Ariel

Zero Knowledge

Play Episode Listen Later Oct 2, 2024 56:41


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)

Zero Knowledge
Episode 341: coSNARKs with Ais and Lukas from TACEO

Zero Knowledge

Play Episode Listen Later Sep 25, 2024 56:51


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)

Zero Knowledge
Episode 340: Is Cosmos Dead? A critical look with Zaki Manian

Zero Knowledge

Play Episode Listen Later Sep 18, 2024 83:41


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)

Zero Knowledge
Episode 339: TEEs with Andrew Miller

Zero Knowledge

Play Episode Listen Later Sep 11, 2024 74:43


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)

The Brain and Brand Show
Rethinking Happiness with Peter Teuscher

The Brain and Brand Show

Play Episode Listen Later Sep 6, 2024 35:51


Timothy continues his research on happiness with Peter Teuscher, the Author of Rethinking Happiness and the Beliefs that Guide You. Peter shares practical insights on mental discoveries. Peter is aLeo incredibly transparent about how he overcame depression naturally, without medication and how you can to. As a global coach, he also unpacks insights from his coaching journey on finding happiness. This episode is raw and rewarding.

Zero Knowledge
Episode 338: On Trust Infrastructure with Arnaud Schenk

Zero Knowledge

Play Episode Listen Later Sep 4, 2024 89:19


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)

Zero Knowledge
Episode 337: Restaking Research with Naveen & Tarun

Zero Knowledge

Play Episode Listen Later Aug 28, 2024 70:56


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)

Zero Knowledge
Episode 336: ZK in Celestia with Connor O'Hara

Zero Knowledge

Play Episode Listen Later Aug 21, 2024 62:29


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)

Zero Knowledge
Episode 335: Groth16, IVC and Formal Verification with Nexus

Zero Knowledge

Play Episode Listen Later Aug 14, 2024 75:54


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)

The Wild Around Us
Fisher In the Neighborhood

The Wild Around Us

Play Episode Listen Later Aug 12, 2024 6:33


Send us a Text Message.Presented by Squam Lakes Natural Science Center in Holderness, NHVisit us at: https://nhnature.org/podcast/ How do plants and animals survive where they live? Each episode will focus on interesting adaptations and take a deep dive into a specific species. Take the information you learn into the wild and look at nature in a new way.Music by: Nicholas D'Aleo, daleo.nicholas@gmail.com

VfB x STR - Der Podcast des VfB Stuttgart
Folge 57 - Im Gespräch mit Oriana D‘Aleo und Sascha Glass

VfB x STR - Der Podcast des VfB Stuttgart

Play Episode Listen Later Aug 1, 2024 95:16 Transcription Available


Heute widmen wir uns voll und ganz den VfB-Frauen! Aus erster Hand erfahren wir, wie die Kooperation zwischen dem VfB Obertürkheim und dem VfB Stuttgart ablief, wie Sascha Glass den Kader plant, wie er Spielerinnen vom VfB überzeugt und welche Visionen die Verantwortlichen langfristig realisieren wollen. Und natürlich blicken wir auch auf die Double-Saison zurück und fragen nach den Zielen für die kommende Spielzeit! ···················································································· Schon abonniert? VfB-Newsletter: http://www.vfb.de/newsletter YouTube: http://go.vfb.de/youtubeabo Facebook: https://www.vfb.de/facebook Twitter: https://www.vfb.de/twitter Instagram: https://www.vfb.de/instagram TikTok: https://www.tiktok.com/@vfb STRxVfB auf X: https://twitter.com/VfBSTR STRxVfB auf Instagram: https://www.instagram.com/vfbxstr Photo by Pressefoto Baumann

Zero Knowledge
Episode 334: ZK Research Update with Joe Bonneau

Zero Knowledge

Play Episode Listen Later Jul 31, 2024 69:44


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)

Zero Knowledge
Episode 333: Verifiable SQL, Reckle Trees and ZK Coprocessing with Lagrange Labs

Zero Knowledge

Play Episode Listen Later Jul 24, 2024 64:18


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)

Zero Knowledge
Episode 332: Brussels catch up with Hart from Across

Zero Knowledge

Play Episode Listen Later Jul 18, 2024 93:05


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)

Zero Knowledge
Episode 331: Farcaster with Varun Srinivasan

Zero Knowledge

Play Episode Listen Later Jul 10, 2024 82:34


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)

Web3 CMO Stories
From Curiosity to Strategy: Zero-Knowledge in the Marketing World – with Brennen Schlueter | S4 E21

Web3 CMO Stories

Play Episode Listen Later Jul 9, 2024 25:16 Transcription Available


Send us a Text Message.Unlock the secrets of the transformative power of Web3 technologies as Brennen Schlueter, Chief Marketing Officer at Aleo Network Foundation, takes us on his incredible journey from traditional advertising to the cutting-edge world of blockchain. With experience working with industry giants like Nike, Amazon, and Robinhood, Brennan reveals how his early fascination with digital trends and cryptocurrency advocacy led him to his pivotal role at Aleo. Discover his passion for integrating zero-knowledge technology into blockchain, making it accessible for developers, and learn all about Aleo's groundbreaking zPass product and their highly anticipated mainnet launch.Explore the true potential of blockchain technology beyond just cryptocurrency trading as Brennen discusses its revolutionary applications in industries like logistics and finance. This episode also delves into the evolving landscape of brand building in a digital world, highlighting the integration of on-chain and off-chain data for more effective marketing. Brennen's insights on creative marketing strategies and the importance of a strong, adaptable brand in a rapidly changing environment offer valuable lessons for marketers and tech enthusiasts alike. Don't miss this opportunity to gain a deeper understanding of the future of Web3 and the innovative efforts at Aleo Network Foundation.This episode was recorded through a Podcastle call on June 4, 2024. Read the blog article and show notes here: https://webdrie.net/from-curiosity-to-strategy-zero-knowledge-in-the-marketing-world-with-brennen-schlueter/

The Wild Around Us
Fisher: Not a Cat

The Wild Around Us

Play Episode Listen Later Jul 9, 2024 6:54


Send us a Text Message.Presented by Squam Lakes Natural Science Center in Holderness, NHVisit us at: https://nhnature.org/podcast/ How do plants and animals survive where they live? Each episode will focus on interesting adaptations and take a deep dive into a specific species. Take the information you learn into the wild and look at nature in a new way.Music by: Nicholas D'Aleo, daleo.nicholas@gmail.com

Zero Knowledge
Episode 330: Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie

Zero Knowledge

Play Episode Listen Later Jul 3, 2024 59:56


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)

Zero Knowledge
Episode 329: Building Cryptographic Proofs from Hash Functions with Alessandro Chiesa and Eylon Yogev

Zero Knowledge

Play Episode Listen Later Jun 26, 2024 70:38


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)

Zero Knowledge
Episode 328: ZK on Bitcoin with Alpen Labs

Zero Knowledge

Play Episode Listen Later Jun 19, 2024 67:03


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

Zero Knowledge
Episode 327: Proof Aggregation with Shumo and Yi from NEBRA

Zero Knowledge

Play Episode Listen Later Jun 12, 2024 51:15


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

Zero Knowledge
Episode 326: MPC & ZK in Ligero and Ligetron

Zero Knowledge

Play Episode Listen Later May 29, 2024 63:47


Summary In this week's episode Anna and Kobi chat with Muthu Venkitasubramaniam and Carmit Hazay from Ligero. They discuss their work on MPC and ZK for the last 20 years and how the research has evolved. They then dive into a nuanced conversation on how MPC & ZK are interrelated. The discuss Ligero, what led to the project and the early phases, as well as the new Ligetron system and how they plan on getting this technology into the wild. Here's some additional links for this episode: Ligero Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam Ligetron by Ligero Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs. Post-Quantum ZK-SNARKs on a Browser by Wang, Hazay and Venkitasubramaniam ℓ-Diversity: Privacy Beyond k-Anonymity by Machanavajjhala, Gehrke, Kifer and Venkitasubramaniam Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting by Hazay, Mikkelsen, Rabin, Toft and Nicolosi MeshCal.com Zero-Knowledge from Secure Multiparty Computation by Ishai, Kushilevitz, Ostrovsky and Sahai Introduction to MPC-in-the-Head by Carmit Hazay ZKBoo: Faster Zero-Knowledge for Boolean Circuits by Giacomelli, Madsen and Orlandi Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler Communication complexity of secure computation by Franklin and Yung ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here. 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

Zero Knowledge
Episode 323: The Role of Reth with Georgios

Zero Knowledge

Play Episode Listen Later May 8, 2024 82:39


Summary This week, Anna and Tarun catch up with Georgios Konstantopoulos, CTO of Paradigm and long-standing friend of the ZK Pod! First they cover the work Georgios has been doing since he last appeared on the show, covering everything from updates on Foundry to the more recent work on Reth. They then dig into what makes it different, what inspires its design, where it is heading and the eventual end goals of the project. They also chat about the general client node landscape, from the ETH 2.0 research days to present day, before diving into discussing different clients from different teams, how this diversity can protect a chain and how each client can differ. Here's some additional links for this episode: Georgios' GitHub Introducing Reth by Paradigm Reth GitHub Episode 224: Foundry with Georgios Konstantopoulos Loom Network CryptoZombies Geth: Ethereum Full BSC Node Guide: How to Run BNB Smart Chain Nodes GitHub: flashbots:mev-geth Arbitrum Verkle Trees for Statelessness Check out the latest jobs in ZK at the ZK Podcast Jobs Board. The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com. o1Labs is excited to announce the v1 release of o1js, THE fastest way to build zkApps and deploy to the Mina blockchain. After 2 years and 70,000 downloads, o1js v1 is the externally-audited, enterprise-grade Typescript zkDSL the community has been waiting for. Are you ready to build the next killer zkApp? Then visit o1js.org and get started today. 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

Zero Knowledge
Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler

Zero Knowledge

Play Episode Listen Later May 1, 2024 83:47


In this week's episode, Anna (https://twitter.com/annarrose) and Guillermo (https://twitter.com/GuilleAngeris) catch up with Justin Thaler (https://twitter.com/SuccinctJT), Associate Professor at Georgetown (https://people.cs.georgetown.edu/jthaler/) and Research Partner at a16z (https://a16zcrypto.com/team/justin-thaler/). The group dive into a handful of points from Justin's ‘17 Misconceptions about SNARKs' (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) article, discussing if his views have changed since it was published back in 2023 and whether some points have become common knowledge since the article first rippled through the ZK community. They then dive into his new zkVM Jolt, which was initially described along with Lasso in 2023, but has now been implemented and is open to contributions from the community. Here's some additional links for this episode: 17 misconceptions about SNARKs (and why they hold us back) by Justin Thaler (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) ZK Hack Discord: contains Study Club, Thaler Book Club and more (https://discord.com/invite/5FQymwzAnf) Approaching the 'lookup singularity': Introducing Lasso and Jolt (https://a16zcrypto.com/posts/article/introducing-lasso-and-jolt/) Simons Institute for the Theory of Computing (https://simons.berkeley.edu/homepage) zkStudyClub - Lasso/Jolt (Justin Thaler, Georgetown University/a16z) (https://www.youtube.com/watch?v=Q9t3ALjpRwk&pp=ygUNanVzdGluIHRoYWxlcg%3D%3D) Bitcoin and Cryptocurrency Technologies Book (https://bitcoinbook.cs.princeton.edu/) Episode 103: Exploring VDFs with Joseph Bonneau (https://zeroknowledge.fm/103-2/) Proofs, Arguments, and Zero-Knowledge by Justin Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.html) Episode 261: Proofs, Arguments, and ZKPs with Justin Thaler (https://zeroknowledge.fm/261-2/) The MoonMath Manual by Least Authority (https://leastauthority.com/community-matters/moonmath-manual/) ZK Hack Whiteboard Sessions (https://zkhack.dev/whiteboard/) Unlocking the lookup singularity with Lasso by Setty, Thaler and Wahby (https://eprint.iacr.org/2023/1216.pdf) Jolt: SNARKs for Virtual Machines via Lookups by Arun, Setty and Thaler (https://eprint.iacr.org/2023/1217.pdf) Justin Thaler a16z Articles (https://a16zcrypto.com/team/justin-thaler) Episode 293: Exploring Security of ZK Systems with Nethermind's Michał & Albert (https://zeroknowledge.fm/293-2/) Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając (https://eprint.iacr.org/2023/1071.pdf) Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooß (https://eprint.iacr.org/2021/1377.pdf) Caulk: Lookup Arguments in Sublinear Time by Zapico, Buterin, Khovratovich, Maller, Nitulescu and Simkin (https://eprint.iacr.org/2022/621.pdf) Spartan: Efficient and general-purpose zkSNARKs without trusted setup by Srinath Setty (https://eprint.iacr.org/2019/550.pdf) Stwo Prover: The next-gen of STARK scaling is here (https://starkware.co/resource/stwo-prover-the-next-gen-of-stark-scaling-is-here/) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.com/) 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/)

Zero Knowledge
Episode 321: STIR with Gal Arnon & Giacomo Fenzi

Zero Knowledge

Play Episode Listen Later Apr 24, 2024 60:22


In this week's episode, Anna (https://twitter.com/annarrose) and Kobi (https://twitter.com/kobigurk) chat with Gal Arnon (https://galarnon42.github.io/), Ph.D student from the Weizmann Institute of Science (https://weizmann.ac.il/pages/) & Giacomo Fenzi (https://twitter.com/GiacomoFenzi), Ph.D. student in the COMPSEC Lab (https://compsec.epfl.ch/) at EPFL (https://epfl.ch/). Gal and Giacomo are amongst the co-authors of ‘STIR: Reed–Solomon Proximity Testing with Fewer Queries' (https://eprint.iacr.org/2024/390) and in this conversation, they discuss how their research led them to work on these topics and where the thesis for this particular work sparked from. They set the stage by exploring the history of FRI and discussing some hidden nuances in how FRI works. And then they introduce STIR, a system that can be used in place of FRI, which incorporates various optimisations to improve the performance. Here's some additional links for this episode: FRIDA: Data Availability Sampling from FRI by Hall-Andersen, Simkin and Wagner (https://eprint.iacr.org/2024/248.pdf) Lattice-Based Polynomial Commitments: Towards Asymptotic and Concrete Efficiency by Fenzi, Moghaddas and Nguyen (https://eprint.iacr.org/2023/846.pdf) DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty and Saraf (https://eprint.iacr.org/2019/336.pdf) Proximity Gaps for Reed–Solomon Codes by Ben-Sasson, Carmon, Ishai, Kopparty and Saraf (https://eprint.iacr.org/2020/654.pdf) IOPs with Inverse Polynomial Soundness Error by Arnon, Chiesa and Yogev (https://eprint.iacr.org/2023/1062.pdf) Episode 293: Exploring Security of ZK Systems with Nethermind's Michał & Albert (https://zeroknowledge.fm/293-2/) Circle STARKs by Haböck, Levit and Papini (https://eprint.iacr.org/2024/278.pdf) Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck (https://zeroknowledge.fm/304-2/) FRI-Binius: Improved Polynomial Commitments for Binary Towers (https://www.ulvetanna.io/news/fri-binius) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.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. 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/)

Zero Knowledge
Episode 320: A Deep Dive into Shared Sequencers with Espresso's Ben Fisch

Zero Knowledge

Play Episode Listen Later Apr 17, 2024 62:23


In this week's episode, Anna (https://twitter.com/annarrose) and Brendan Farmer (https://twitter.com/_bfarmer) catch up with Ben Fisch (https://twitter.com/benafisch), CEO of Espresso Systems (https://www.espressosys.com/). They explore the inner workings of the current L2 sequencing landscape and then discuss how a shared sequencing marketplace like Espresso works. They touch on how MEV plays a part in the new system, how the role of the sequencer can be separated into subroles, how all these parts will work together in such a system and much more. Here's some additional links for this episode: Episode 222: Something Brewing with Jill Gunter and Ben Fisch from Espresso Systems (https://zeroknowledge.fm/222-2/) Episode 139: Findora with Benedikt Bunz and Ben Fisch (https://zeroknowledge.fm/139-2/) Episode 88: Accumulators with Ben Fisch (https://zeroknowledge.fm/88-2/) CAPE: Configurable Asset Privacy for Ethereum (https://medium.com/@espressosys/cape-configurable-asset-privacy-for-ethereum-71919935643b) CAPE GitHub by Espresso Systems (https://github.com/EspressoSystems/cape) Astria Website (https://www.astria.org/) The Future of MEV is SUAVE by Flashbots (https://writings.flashbots.net/the-future-of-mev-is-suave) Optimism by Superchain (https://app.optimism.io/superchain/) Ben Fisch - Beyond the Base Layer at EthDenver (https://www.youtube.com/watch?v=UhLnX1t2GXU) EigenDA (https://docs.eigenlayer.xyz/eigenda/overview) Episode 188: Analyzing Osmosis & Preventing MEV with Sunny and Dev (https://zeroknowledge.fm/188-2/) Episode 216: A Dip into the Mempool & MEV with Project Blanc (https://zeroknowledge.fm/216-2/) Episode 243: Dive Back into MEV with Alex Stokes and Chris Hager (https://zeroknowledge.fm/243-2/) Episode 291: MEV, Mechanism Design & the Censorship Problem with Mallesh M Pai (https://zeroknowledge.fm/291-2/) Aggregated Blockchains: A New Thesis by Polygon (https://polygon.technology/blog/aggregated-blockchains-a-new-thesis) Based rollups—superpowers from L1 sequencing by Ethereum Research (https://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016) MEV-Boost GitHub (https://github.com/flashbots/mev-boost) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.com/). 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/)

Zero Knowledge
Episode 319: The Past & Present of the L2 Landscape with Jordi Baylina

Zero Knowledge

Play Episode Listen Later Apr 10, 2024 61:10


In this week's episode, Anna (https://twitter.com/annarrose) catches up with Jordi Baylina (https://twitter.com/jbaylina), OG Ethereum contributor and Polygon zkEVM (https://polygon.technology/polygon-zkevm) Technical Lead. They cover what Jordi has been working on since he was last on the show in 2021. Back then, zkEVMs were still just an idea. Now that many of these systems have launched, they have a chance to look at how these fit into the general L2 landscape. They cover Jordi's view on engineering decentralized systems and how these are rolled out, and the recent research from Polygon, including their AggLayer proposal. They wrap up on what inspires him to keep contributing in the space. Here's some additional links for this episode: Polygon zkEVM (https://polygon.technology/polygon-zkevm) Episode 194: zkEVM with Jordi & David from Hermez (https://zeroknowledge.fm/episode-194-zkevm-with-jordi-david-from-hermez/) Episode 145: Circom & Hermez with Jordi Baylina (https://zeroknowledge.fm/145-2/) Episode 304: Exploring FRI, LogUp and using M31 for STARKs with Ulrich Haböck (https://zeroknowledge.fm/304-2/) Episode 303: A Dive into Binius with Ulvetanna (https://zeroknowledge.fm/303-2/) Episode 313: Revisiting Hardware with Ingonyama (https://zeroknowledge.fm/313-2/) The next ZK Hack IRL is happening May 17-19 in Kraków, apply to join now at zkkrakow.com (https://www.zkkrakow.com/) 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. 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)

Zero Knowledge
Episode 318: Threshold Signature Schemes & FROST with Chelsea Komlo

Zero Knowledge

Play Episode Listen Later Apr 3, 2024 59:57


In this week's episode, Anna (https://twitter.com/annarrose) and Nico (https://twitter.com/nico_mnbl) chat with Chelsea Komlo (https://twitter.com/chelseakomlo), Chief Scientist for the Zcash Foundation (https://zfnd.org/) and member of the Cryptography, Security, and Privacy lab at the University of Waterloo (https://crysp.uwaterloo.ca/). They discuss what sparked Chelsea's interest in cryptography research, starting with her work contributing to Tor, to her move to Zcash and her PhD work on Threshold Signature Schemes. They define some important terms around different signature schemes and discuss possible optimizations that can be used to make these more performant. They then dive into her work on the FROST Threshold Signature Scheme plus some new upcoming work. Here's some additional links for this episode: EdSIDH: Supersingular Isogeny Diffie-Hellman Key Exchange on Edwards Curves by Azarderakhsh, Lang, Jao and Koziel (https://djao.math.uwaterloo.ca/wiki/images/f/ff/Space-2018.pdf) Efficient Signature Generation by Smart Cards by Schnorr (https://link.springer.com/content/pdf/10.1007/BF00196725.pdf) FROST: Flexible Round-Optimized Schnorr Threshold Signatures by Komlo and Goldberg (https://eprint.iacr.org/2020/852.pdf) Episode 316: Alin Tomescu on Distributed On-chain Randomness and Keyless Accounts (https://zeroknowledge.fm/316-2/) Episode 295: Return to MPC with Nigel Smart (https://zeroknowledge.fm/295-2/) [On the (in)security of ROS] by Benhamouda, Lepoint, Loss, Orr`u and Raykova](https://eprint.iacr.org/2020/945.pdf) Re-Randomized FROST by Gouvˆea and Komlo (https://eprint.iacr.org/2024/436.pdf) Frostsnap (https://frostsnap.com/) CFRG GitHub Repository for FROST (https://github.com/cfrg/draft-irtf-cfrg-frost) zkSummit11 is happening next week, head to the zkSummit website (https://www.zksummit.com/) to apply for a waitlist spot now. The event will be held on 10 April in Athens, Greece. Check out the ZK Jobs Board (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. 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/)

Zero Knowledge
Episode 317: Enhancing On-Chain Intelligence with Ritual

Zero Knowledge

Play Episode Listen Later Mar 27, 2024 68:32


This week, Anna (https://twitter.com/annarrose) and Tarun (https://twitter.com/tarunchitra) chat with Niraj Pant (https://twitter.com/niraj) and Anish Agnihotri (https://twitter.com/_anishagnihotri) from Ritual (https://ritual.net/). They kick off by revisiting the AIxCrypto intersection before diving into the Ritual product and its goals around developing open access AI infrastructure. They explore the opportunities that open up when you bring ML to smart contracts. Here's some additional links for this episode: Episode 216: A Dip into the Mempool & MEV with Project Blanc (https://zeroknowledge.fm/216-2/) Episode 246: Adversarial Machine Learning Research with Florian Tramèr (https://zeroknowledge.fm/246-2/) Episode 314: Succinct's Platform, Prover Network and SP1 (https://zeroknowledge.fm/314-2/) FrenRug Website (https://www.frenrug.com/) Mistral 7B by Jiang, Sablayrolles, Mensch, Bamford, Chaplot, De Las Casas, Bressand, Lengyel, Lample, Saulnier, Lavaud, Lachaux, Stock, Le Scao, Lavril, Wang, Lacroix, El Sayed (https://arxiv.org/pdf/2310.06825.pdf) docs.ritual.net (https://docs.ritual.net/) Infernet by Ritual (https://docs.ritual.net/infernet/about) ML Quickstart Guide by Ritual (https://docs.ritual.net/ml-quickstart) Web3 Quickstart Guide by Ritual (https://docs.ritual.net/web3-quickstart) zkSummit11 happens in 2 weeks, if you haven't got your tickets yet head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. Check out the ZK Jobs Board (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. 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/)

Zero Knowledge
Episode 315: ZK Hack Ecosystem & Winners of ZK Hack IV

Zero Knowledge

Play Episode Listen Later Mar 13, 2024 72:50


This week's episode is a little different from the usual and is split into two parts with Anna (https://twitter.com/annarrose) and Kobi (https://twitter.com/kobigurk) exploring the history of ZK Hack, its origins and how the event has evolved into what it is today, including current activity in the ZK Hack ecosystem. The second half of the show splits off into Anna and Nico (https://twitter.com/nico_mnbl) chatting the top 3 hackers from ZK Hack IV Online, which wrapped back in February. Each mini interview catches up with one of the winners and dives into what it was like to hack on the puzzles, which their favourites were and how they can be improved in the future. Here's some additional links for this episode: ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) ZK Hack Website (https://zkhack.dev/) Episode 211: It's a wrap! ZK Hack Takeaways & What's Next! (https://zeroknowledge.fm/211-2/) ZK HACK IV - Overview & Workshop Introductions: map featured at 1m28s (https://www.youtube.com/watch?v=ttKs4esfTM0) ZK Hack Discord (https://discord.com/invite/5FQymwzAnf) ZK Hack Whiteboard Sessions (https://zkhack.dev/whiteboard/) Proofs, Arguments, and Zero-Knowledge by Justin Thaler (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf) ZK Hack Whiteboard Session 1 - What is a SNARK? with Dan Boneh (https://zkhack.dev/whiteboard/module-one/) ZK Hack Whiteboard Session 2 - Building a SNARK (Part I) with Dan Boneh (https://zkhack.dev/whiteboard/module-two/) ZK Hack Whiteboard Session 3 - Building a SNARK (Part II) with Dan Boneh (https://zkhack.dev/whiteboard/module-three) Groth16 Malleability by Geometry (https://geometry.xyz/notebook/groth16-malleability) Episode 309: ZK Jargon Decoder with Nico Mohnblatt (https://zeroknowledge.fm/309-2/) Zellic Wins Second Place in ZK Hack IV Blog (https://www.zellic.io/blog/zellic-wins-second-place-in-zkhack-iv/) SSTIC (https://www.sstic.org/2024/news/) Techiepriyansh GitHub (https://techiepriyansh.github.io/) Sampritipanda GitHub (https://github.com/sampritipanda) Niooss-ledger GitHub (https://github.com/niooss-ledger) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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. 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 (https://zeroknowledge.fm/)

Zero Knowledge
Episode 313: Revisiting Hardware with Ingonyama

Zero Knowledge

Play Episode Listen Later Feb 28, 2024 75:07


In this week's episode, Anna (https://twitter.com/annarrose) chats with Omer Shlomovits (https://twitter.com/OmerShlomovits) and Yuval Domb (https://twitter.com/yuval_domb) from Ingonyama (https://www.ingonyama.com/). They go back to the start of the project, exploring Ingonyama's initial vision for what ZK Hardware could be, how the field has evolved and how they are accelerating ZK Hardware today. The group discuss hardware product cycles, the hardware and algorithmic components, how a ZK ASIC is developed, they review some of the latest research from Ingonyama and more. Here's some additional links for this episode: Episode 158: Threshold Cryptography with Omer Shlomovits from ZenGo (https://zeroknowledge.fm/158-2/) Episode 258: Ultrasound Money & VRFs with Justin Drake (https://zeroknowledge.fm/258-2/) The first ever SNARK proving ASIC tweet by drakefjustin (https://twitter.com/drakefjustin/status/1755929540700807211) Episode 266: ZK Hardware Sessions with Zprize Pt. 1 (https://zeroknowledge.fm/266-2/) Episode 267: ZK Hardware Sessions with Zprize Pt. 2 (https://zeroknowledge.fm/267-2/) ZK10: ZPU: The Zero-Knowledge Processing Unit - Yuval Domb (https://www.youtube.com/watch?v=3Q5IpXyqaDw) Supranational Website (https://www.supranational.net/) Accseal Twitter (https://twitter.com/Accseal) Episode 311: The Launch of Celestia and Beyond (https://zeroknowledge.fm/311-2/) Episode 308: Avail's Approach to DA with Prabal Banerjee (https://zeroknowledge.fm/308-2/) Episode 301: EigenLayer @ Devconnect (https://zeroknowledge.fm/301-2/) ICICLE GitHub by Igonyama (https://github.com/ingonyama-zk/icicle) Lazzo + Jolt by a16z (https://a16zcrypto.com/posts/tags/lasso-jolt/) HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang E (https://eprint.iacr.org/2022/1355.pdf) The Sum-Check Protocol over Fields of Small Characteristic by Thaler (https://people.cs.georgetown.edu/jthaler/small-sumcheck.pdf) Episode 303: A Dive into Binius with Ulvetanna (https://zeroknowledge.fm/303-2/) Sumcheck 201 Paper by Ingonyama (https://github.com/ingonyama-zk/papers/blob/main/sumcheck_201_chapter_1.pdf) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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. 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 (https://zeroknowledge.fm/)

Zero Knowledge
Episode 311: The Launch of Celestia and Beyond

Zero Knowledge

Play Episode Listen Later Feb 14, 2024 78:44


In this week's episode, Anna (https://twitter.com/annarrose) and Guillermo (https://twitter.com/GuilleAngeris) chat with Yaz Khoury (https://twitter.com/Yazanator) and Ismail Khoffi (https://twitter.com/KreuzUQuer) from Celestia (https://twitter.com/celestiaorg). They share how the team prepared for the launch of the Celestia mainnet and what has been happening at Celestia since. They revisit the topic of DA (Data Availability) and explore how rollups and dApp developers can already use the Celestia DA layer. The group discusses Blobstream, which brings the benefits of Celestia to Ethereum and helps to scale the network, as well as community building, the modular thesis and much more. Here's some additional links for this episode: Episode 151: John Adler on Optimistic vs ZK Rollup and the data availability problem (https://zeroknowledge.fm/151-2/) Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia (https://zeroknowledge.fm/208-2/) Episode 268: A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam (https://zeroknowledge.fm/268-2/) Ismail Khoffi of Celestia (Sovereign Radio) (https://www.youtube.com/watch?v=R5nAI-jXAgk&list=PLdI4HWwFLH1dtT31R8snlR5omQg81L_hO&index=4) Celestia Improvement Proposal GitHub (https://github.com/celestiaorg/CIPs/blob/main/cips/cip-1.md) Introducing the Celestia Improvement Proposal Process (https://blog.celestia.org/introducing-the-celestia-improvement-proposal-process/) Introduction to Arbitrum rollups with Celestia as DA (https://docs.celestia.org/developers/arbitrum-integration) Introducing Blobstream: streaming modular DA to Ethereum (https://blog.celestia.org/introducing-blobstream/) Raspberry Pi Foundation (https://www.raspberrypi.org/) Succinct Network (https://succinct.xyz/) Episode 308: Avail's Approach to DA with Prabal Banerjee (https://zeroknowledge.fm/308-2/) Episode 217: Information Theory & Blockchain with Sreeram Kannan (https://zeroknowledge.fm/217-2/) Cosmos Hub (https://hub.cosmos.network/) Modular Summit Website (https://modularsummit.dev/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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 (https://zeroknowledge.fm/)

Zero Knowledge
Episode 310: Algorithmic Game Theory & PoS Tokenomics with Noam Nisan

Zero Knowledge

Play Episode Listen Later Feb 7, 2024 66:42


In this week's episode, Anna (https://twitter.com/annarrose) and Tarun (https://twitter.com/tarunchitra) chat with Noam Nisan (https://twitter.com/noamnisan), Professor at the Hebrew University of Jerusalem (https://www.cs.huji.ac.il/~noam/), Principle Researcher at StarkWare Industries (https://starkware.co) and one of the pioneers in the field of Algorithmic Game Theory. They cover his extensive research and academic background, starting with his work on complexity theory as well as Algorithmic Game Theory and his current work on blockchains and Tokenomics at StarkWare. They discuss his recent blog post; Simple Tokenomics for a Proof-of-Stake Utility Token (https://starkware.co/resource/simple-tokenomics-for-a-proof-of-stake-utility-token/), comparing the measurable Tokenomic outcomes of different live PoS systems and explore how Noam aimed to better communicate best practices for those designing these systems, plus much more. Here's some additional links for this episode: Simple Tokenomics for a Proof-of-Stake Utility Token by Noam Nisan (https://starkware.co/resource/simple-tokenomics-for-a-proof-of-stake-utility-token/) Algorithmic Game Theory by Nisan, Roughgarden, Tardos and Vasirani (https://www.cs.cmu.edu/~sandholm/cs15-892F13/algorithmic-game-theory.pdf) The Elements of Computing Systems by Nisan and Schocken (https://mitpress.mit.edu/9780262539807/the-elements-of-computing-systems/) Game Theory, Alive by Karlin and Peres (https://yuvalperes.com/game-theory-alive/) Algorithmic VS Mechanism Design (https://mbraverm.princeton.edu/research/mech-design/#:~:text=Algorithmic%20mechanism%20design%20specifically%20studies,study%20algorithmic%20mechanism%20design%20now) The Federmann Center for the Study of Rationality at the Hebrew University of Jerusalem (https://ratio.huji.ac.il/) Combinatorial agency by Babaioff, Feldman, Nisan and Winter (https://www.cs.tau.ac.il/~mfeldman/papers/BFNWj12.pdf) Noam Nisan Google Scholar (https://scholar.google.com/citations?user=zXQZPnMAAAAJ&hl=en) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. 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 (https://zeroknowledge.fm/)

Zero Knowledge
Episode 308: Avail's Approach to DA with Prabal Banerjee

Zero Knowledge

Play Episode Listen Later Jan 24, 2024 77:05


In this week's episode, Anna (https://twitter.com/annarrose) catches up with Prabal Banerjee (https://twitter.com/prabalbanerjee), co-founder of Avail (https://www.availproject.org/). They deep dive into Prabal's career, starting with his work in academia, his move to Polygon and to his spinning out the Avail project. They discuss how the project was built, tech decisions and the motivations behind them as well as their use of KZG, validity proofs and their position within the Ethereum and wider blockchain ecosystem. They go on to revisit Data Availability and the interaction with different parts of the modular blockchain stack, comparing Avail to competing systems and cover edge-cases and their impact in a DA-secured stack. Here's some additional links for this episode: Polygon.technology (https://polygon.technology/) Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities by Al-Bassam, Sonnino and Buterin (https://arxiv.org/pdf/1809.09044.pdf) Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia (https://zeroknowledge.fm/208-2/) Episode 268: A Rollup-Centric Future & Sovereign Chains with Mustafa Al-Bassam (https://zeroknowledge.fm/268-2/) Episode 301: EigenLayer @ Devconnect (https://zeroknowledge.fm/301-2/) Episode 217: Information Theory & Blockchain with Sreeram Kannan (https://zeroknowledge.fm/217-2/) Substrate Website (https://substrate.io/) Starknet Website (https://www.starknet.io/en) SubWallet Website (https://www.subwallet.app/) Solana Website (https://solana.com/) Applications to attend and speak at zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. ZK Hack IV online is now live, sign up for the next session on Tuesday 30 Jan here (https://events.ringcentral.com/events/zkhackiv-3). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 (https://zeroknowledge.fm/)

Zero Knowledge
Episode 307: The Evolution of Aleo with Howard Wu & Alex Pruden

Zero Knowledge

Play Episode Listen Later Jan 17, 2024 85:07


This week, Anna (https://twitter.com/annarrose) caught up on all things Aleo (https://aleo.org/) with Howard Wu (https://twitter.com/1HowardWu) co-founder of the Aleo Network & Alex Pruden (https://twitter.com/apruden08) executive director of the Aleo Foundation (https://aleo.org/post/announcing-aleo-foundation/). Howard was last on the show back in 2020 when Aleo was in its infancy, so the group dive into how the project has evolved over the last few years, covering lessons learned along the way as well as technical decisions, detours, breakthroughs and reflecting on initial goals as they built out the system. Here's some additional links for this episode: Episode 144: Aleo with Howard Wu (https://zeroknowledge.fm/144-2/) Episode 38: Intro to zkSNARKs with Howard Wu (https://zeroknowledge.fm/38-2/) zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure by Rosenberg, White, Garman, and Miers (https://eprint.iacr.org/2022/878.pdf) zPass by Aleo (https://zpass.aleo.org/) Cloudflare (https://www.cloudflare.com/) Aleo HQ GitHub for ZEXE (https://github.com/AleoHQ/zexe) Leo by Aleo (https://developer.aleo.org/leo/) Penumbra (https://penumbra.zone/) ZK Hack IV online is now live, sign up for the next session on Tuesday 23 Jan here (https://events.ringcentral.com/events/zkhackiv-2). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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). 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/)

Zero Knowledge
Episode 306: Predictions: ZK in 2024

Zero Knowledge

Play Episode Listen Later Jan 10, 2024 67:44


In this week's episode, Anna (https://twitter.com/annarrose) and cohosts Guillermo (https://twitter.com/GuilleAngeris), Kobi (https://twitter.com/kobigurk), Nico (https://twitter.com/nico_mnbl) and Tarun (https://twitter.com/tarunchitra) share their predictions, hopes (and worries) for ZK in 2024. They cover emerging ideas in ZK, research predictions, dream applications, the best case for ZK in 2024, the worst case for ZK, possible ‘Black Swans' and more. ZK Hack IV online is coming soon, sign up for the kick-off session on 16th Jan here (https://hopin.com/events/zkhackiv-1). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 (https://zeroknowledge.fm/)

Zero Knowledge
Episode 305: ZK Rewind: A Look Back at 2023

Zero Knowledge

Play Episode Listen Later Dec 27, 2023 74:21


In this week's episode, Anna (https://twitter.com/annarrose) catches up in person with Guillermo (https://twitter.com/GuilleAngeris), Tarun (https://twitter.com/tarunchitra) and Alex Evans (https://twitter.com/alexhevans) for a look back at 2023. They revisit their state of mind back in Jan 2023 and share how the year unfolded and evolved for each of them as well as the ZK space as a whole. They survey the themes, applications and research topics that dominated ZK throughout this year and offer retrospective takes on how the ecosystem has changed. Hope you enjoy! We are taking the next week off, but will return with our look forward to 2024 episode in the new year. Here's some additional links for this episode: Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang (https://zeroknowledge.fm/265-2/) Episode 256: New ZK Use Cases with Dan Boneh (https://zeroknowledge.fm/256-2/) Episode 260: ZK in 2023 with Kobi, Guillermo, and Tarun (https://zeroknowledge.fm/260-2/) Episode 302: ZK for web2 interop with zkLogin & ZK Email (https://zeroknowledge.fm/302-2/) zkSummit9 Playlist (https://www.youtube.com/watch?v=sj5yY3wguIo&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7&index=44) ZK Hack Lisbon (https://www.zklisbon.com/) ZK Hack Istanbul (https://www.zkistanbul.com/) SPLA Study Group (https://zkhack.dev/study-group-spla/) ZK Hack IV online is coming soon, sign up for the [kick-off session on 16th Jan here]https://hopin.com/events/zkhackiv-1). For the latest news on the event check out the zhhack.dev/zkhackIV (https://zkhack.dev/zkhackIV/) website. 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 (https://zeroknowledge.fm/)