Podcasts about snarks

In this episode, Anna sits down with David Wong from zkSecurity to discuss the impact of AI on the field of zero-knowledge auditing. David shares how his team is integrating AI agents into their workflow, the opportunities and challenges this brings, and how the role of the human auditor is evolving as AI becomes more capable. They also cover the unique aspects of auditing ZK-based systems, how this is different from smart contract auditing, and the broader implications of AI for security in cryptography and blockchain. The conversation touches on the ethical considerations of AI in security, the future of the auditing profession, and the ways ZK and AI are increasingly intersecting. Related links: Episode 290: Exploring, Teaching and Auditing ZK with David Wong Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography Proof is in the Pudding Session 04: Lattice-Based SNARKs and Post-Quantum Cryptography Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives Ethproofs Call #2 | real-time proving Folding Circom circuits: a ZKML case study - Dr. Cathie So Check out the latest jobs in ZK at the ZK Podcast Jobs Board.  **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 **Support the show:** * Patreon * ETH - Donation address

In this episode, Anna and Nico speak with Vadim Lyubashevsky, research scientist at IBM Research, about the evolving field of lattice-based cryptography and its role in zero-knowledge systems. Vadim shares the history and mathematical foundations of lattices, and explains how they might be used to build post-quantum secure ZK proofs and SNARKs. The conversation covers the unique challenges of adapting lattice techniques to zero-knowledge, explores the tradeoffs relative to hash-based constructions, and highlights the importance of developing quantum-safe standards for the future of cryptography. Related links: Episode 345: Latest ZK Research with Dan Boneh Episode 288: Quantum Cryptography with Or Sattath LaBRADOR: Compact Proofs for R1CS from Module-SIS⋆ IBM's post-quantum NIST published standards Project11 Minkowski's Geometry of Numbers LLL reduction Shortest vector problem Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) by Vadim Lyubashevsky Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com! Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io.  **If you like what we do:** * Find all our links here!

Jojo Siwa, The Power Rangers, & So Much More. Listen. Leave a Review. Get Patreon. Enjoy!! Check out The Cover to Cover Patreon! https://www.patreon.com/franjola ------------------------------ COVER TO COVER MERCH!!! CLICK HERE!! ----------------------------------- VISIT OUR SPONSORS!! ----------------------------------- CASH-MERE Outside, How Bout Dat? With QUINCE! Get Free Shipping + 365 Days Return Visit www.quince.com/cover ------------------------------ Take a Mental Health Break with BETTERHELP! This episode is Sponsored by Betterhelp, get 10% off your first month, Visit BetterHelp.com/c2c ------------------------------ Shop Healthy, Eat Healthy with HUNGRYROOT! Get 40% off and A Free Gift FOR LIFE Visit hungryroot.com/cover Code: COVER ------------------------------ Bake Better Bread with WILDGRAIN! Get $30 off and Free Croissants FOR LIFE Visit wildgrain.com/cover Code: COVER ------------------------------ Shave Your Parts with MANSCAPED! Get 20% Off + Free Shipping Code: COVER Visit https://www.manscaped.com/ ------------------------------ Conquer your wellness with THRIVE! $30 Off Your First Order + A FREE $60 gift. Visit thrivemarket.com/cover ------------------------------ Eat Healthy AND Convenient with FACTOR! Get 50% Off with Code: FACTORPODCAST Visit factormeals.com/factorpodcast ------------------------------ Better Mobile at a Better Price with MINT MOBILE! Get 3 Months for $15/Month + Free Shipping Visit MintMobile.com/cover ------------------------------ Find Proper Healthcare with ZOCDOC! Visit zocdoc.com/cover to find the perfect doctor. ------------------------------ Follow Chris: http://www.franjola.fun/   https://www.instagram.com/chrisfranjola/ Follow Alex:   https://www.instagram.com/conn.tv/ https://linktr.ee/Conn.TV Learn more about your ad choices. Visit megaphone.fm/adchoices

This week Anna chats with Jeffrey Scholz, founder of RareSkills. They discuss onboarding developers into ZK and dive into RareSkills' education program via The ZK Book and their ZK bootcamps. They explore strategies for breaking down complex topics, decisions on curriculum design, tool selection, and methodologies for enabling self-sufficient learning. A great listen for the listeners who want to learn ZK and are trying to figure out how to approach the challenge. Related links:RareSkills WebsiteZK HACK Website ZK HACK Whiteboard SessionsRareSkills ZK BookJeffrey Scholz on MediumJeffrey Scholz's course on UdemyConsensys Bootcamp in 2021Encode ClubZK Podcast Episode 309 - ZK Jargon Decoder with Nico Mohnblatt videoZK HACK - Thaler Book Study Group Playlist on YouTubeThe MoonMath Manual to zk-SNARKs by Least Authority ---------------Applications for zkSummit13 are now open, spots are limited for this edition so apply soon (www.zksummit.com) if you want to join.---------------Missing Link are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. ---------------**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

My conversation with Zooko, Nate Wilcox, and Sean Bowe about the Zcash protocol.Zooko is a cypherpunk who co-founded Zcash along with his brother, Nate Wilcox, and others. Sean Bowe is a cryptographer and engineer who has played a crucial role in the development of Zcash and has made significant contributions to advancements in zero-knowledge proofs, particularly zk-SNARKs, which underpin Zcash's privacy features.Topics we discuss are well captured by the timestamps below.Watch on YouTube or X. Listen on Apple Podcasts, Spotify, or any other podcast platform. Follow me on X for updates on future episodes.Click here to support my work.Timestamps0:00 - Zooko Wilcox-O'Hearn0:04 - Writing the first blog post on Bitcoin ever6:21 - Bitcoin's fundamental privacy flaw9:40 - Unstoppable private money12:19 - Will Zcash compete with Bitcoin as a store of value?14:24 - How many people are using Zcash?16:18 - Good security is good usability20:10 - Social credit systems and ubiquitous surveillance23:43 - Why Monero's privacy tech can't work35:21 - Integrating ZKPs into other blockchains39:51 - Privacy comes from money at rest, not from money in flight47:42 - Why did the price of ZEC fall so drastically in the beginning?51:49 - Zcash stablecoins? 55:50 - Quantum threats to Zcash1:02:50 - Encrypted love notes in the blockchain'1:07:07 - Privacy enabled cultural trends1:12:43 - Nate Wilcox1:14:38 - Why do you need privacy if you have nothing to hide? 1:16:16 - A brief history of Zcash1:22:42 - Why does Zcash have opt-in privacy?1:26:55 - Does Zcash still rely on a trusted setup?1:30:49 - Upgrading the Zcash protocol to Hybrid PoW/PoS1:40:50 - A bug that almost killed Zcash1:52:40 - Zcash's funding model2:09:09 - Why can't privacy be added as an L2?2:14:35 - Scaling Zcash and making it more interoperable2:23:16 - Shielded Labs2:24:39 - Nate's vision for Zcash2:27:53 - Sean Bowe2:32:53 - Censorship resistance is a spectrum2:35:26 - Will privacy coins be banned?2:37:49 - Privacy and scalability2:41:47 - Programmable money2:43:31 - Summary of Sean's contributions to the field of cryptography2:55:17 - Zcash might get privacy against quantum adversaries for free3:00:14 - Halo3:05:34 - What Sean's working on right now3:11:54 - What has influenced Sean's thinking in cryptography the most?3:13:36 - Being a high school dropout working in crypto3:15:08 - Zcash is just getting startedFollow me on X.Follow Zooko on X.Follow Nate on X.Follow Sean on X. This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit www.arjunkhemani.com

Justin Drake proposes the Beam Chain upgrade to enhance Ethereum's consensus layer with faster finality and zero-knowledge proof integration. Beam Chain aims to consolidate major updates into a single overhaul, building on advancements like zk-SNARKs and zkEVMs. The upgrade proposes bundling significant changes every few years while maintaining annual incremental improvements.~This episode is sponsored by Tangem~Tangem ➜ https://bit.ly/TangemPBNUse Code: "PBN" for Additional Discounts!00:00 Intro00:08 Sponsor: Tangem00:50 Beam Chain upgrade01:54 Updates on Execution Layer + Data Layer03:50 Feedback from devs04:57 Roadmap Timeline07:00 Solana vs Ethereum09:55 Cost of building on an L1 in the future12:27 Ethereum L2 Fragmentation vs Avalanche & Polkadot14:30 New Ethereum Staking Requirements16:14 Is liquid staking an immediate threat to Ethereum?18:03 Is Cardano staking superior to Ethereum?19:39 Does Ethereum's tokenomics need to change?21:33 Which chain currently has the best issuance?23:03 The power of the meme casino strategy of Solana24:42 Are you winning the new devs?27:07 USDC on Solana vs Ethereum29:08 Microstrategy surpassing Microsoft?31:30 Outro#Ethereum #bitcoin #crypto ~Ethereum Upgrade Roadmap

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)

A ski mask vigilante. Banshee's daughter. Shape-shifting aliens. A slippery thief. A Kymellian spaceship. Aliens out of Lewis Carroll. Which are Hot? Which are Not? Find out, as the Hot Squad continues its coverage of OHOTMU's 12th issue and reveals how datable its characters are. Featuring permanent panelists Elyse, Nathalie, Josée, and Amelie. Listen to Episode 103 below (the usual mature language warnings apply), or subscribe to oHOTmu OR NOT? on Apple Podcasts or Spotify! Relevant images and further credits at: oHOTmu or NOT ep.103 Supplemental This podcast is a proud member of the FIRE AND WATER PODCAST NETWORK! Visit our WEBSITE: https://fireandwaterpodcast.com/ Follow us on TWITTER: https://twitter.com/FWPodcasts Like our FACEBOOK page: https://www.facebook.com/FWPodcastNetwork Use our HASHTAG online: #FWPodcasts Support us on Patreon: https://www.patreon.com/fwpodcasts Subscribe via iTunes as part of the FIRE AND WATER PODCAST NETWORK. And thanks for leaving a comment.

A ski mask vigilante. Banshee's daughter. Shape-shifting aliens. A slippery thief. A Kymellian spaceship. Aliens out of Lewis Carroll. Which are Hot? Which are Not? Find out, as the Hot Squad continues its coverage of OHOTMU's 12th issue and reveals how datable its characters are. Featuring permanent panelists Elyse, Nathalie, Josée, and Amelie. Listen to Episode 103 below (the usual mature language warnings apply), or subscribe to oHOTmu OR NOT? on Apple Podcasts or Spotify! Relevant images and further credits at: oHOTmu or NOT ep.103 Supplemental This podcast is a proud member of the FIRE AND WATER PODCAST NETWORK! Visit our WEBSITE: https://fireandwaterpodcast.com/ Follow us on TWITTER: https://twitter.com/FWPodcasts Like our FACEBOOK page: https://www.facebook.com/FWPodcastNetwork Use our HASHTAG online: #FWPodcasts Support us on Patreon: https://www.patreon.com/fwpodcasts Subscribe via iTunes as part of the FIRE AND WATER PODCAST NETWORK. And thanks for leaving a comment.

Justin Drake proposes the Beam Chain upgrade to enhance Ethereum's consensus layer with faster finality and zero-knowledge proof integration. Beam Chain aims to consolidate major updates into a single overhaul, building on advancements like zk-SNARKs and zkEVMs. The upgrade proposes bundling significant changes every few years while maintaining annual incremental improvements.~This episode is sponsored by Tangem~Tangem ➜ https://bit.ly/TangemPBNUse Code: "PBN" for Additional Discounts!00:00 intro00:13 Sponsor: Tangem01:01 Ethereum ETF Record Day01:39 One Million Validators02:18 Why Ethereum is Still King03:45 Security Importance04:02 Ethereum Improvements So Far05:22 Transactions vs Bitcoin05:54 Beam Chain Revealed07:18 What's Included in Upgrade08:30 Roadmap Update09:38 Timeline11:16 Ethereum 3.0?12:14 Reminder: Governance is always slow13:15 outro#Ethereum #Crypto #Bitcoin~Massive Ethereum Upgrades Coming Sooner?

Fabian Jahr and Gloria Zhao rejoin me to discuss whether big projects can be done inside Bitcoin core. We delve into AssumeUTXO, ASMap, developer funding, and meritocracy in the developer community. Summary In this episode, Stephan discusses the upcoming Bitcoin Core version 28, its new features, and the ongoing development efforts with Fabian and Gloria. They delve into the pace of change within Bitcoin Core, the importance of communication and collaboration in software development, and the challenges faced by developers in getting projects approved. The conversation also covers the AssumeUTXO project, its implications for node operation, and the significance of funding and competing implementations in the Bitcoin ecosystem. The episode concludes with insights into future projects and the collaborative nature of Bitcoin development. Takeaways Bitcoin Core version 28 introduces exciting new features. The development process involves both small bug fixes and significant changes. Communication and collaboration are essential for project success. AssumeUTXO allows for quicker node synchronization. The decentralized nature of Bitcoin development presents unique challenges. Funding can influence project focus but should not dictate it. Competing implementations can complicate backward compatibility. Iterative development is crucial for large projects. Engaging the community early can lead to better outcomes. Future projects like ASMap and Cluster Mempool are on the horizon. Timestamps: (00:00) - Intro (00:32) - What to expect from Bitcoin Core V28.0? (05:10) - What should be the pace of change for Bitcoin Core? (11:15) - How does one decide which is a worthwhile project to work on? (14:15) - Why did it take so long for AssumeUTXO to go live? (20:38) - AssumeUTXO explained (22:04) - Sponsors (25:40) - BtcpayServer ‘s Fast Sync  (27:36) - Developer funding landscape in Bitcoin; Working on FOSS  (31:27) - What are the effects of having various implementations of Bitcoin Core? (35:05) - What does it take to successfully merge a PR? (37:31) - What is the ASMap project? (48:34) - Sponsor (49:58) - Importance of soft skills & meritocracy in Bitcoin's developer community (1:00:13) - Upcoming projects; Closing thoughts  Previous Episodes:  ` SLP214 Pierre Rochard & Fabian Jahr – Where Are All The Bitcoins?:  https://youtu.be/PQWy_UR9PzY  SLP216 Gloria Zhao Learning Bitcoin Core Contribution & Hosting PR Review Club: https://youtu.be/O-Q-SmuXjS4  SLP404 Gloria Zhao - What Do Bitcoin Core Maintainers Do?: https://youtu.be/a61lUwlOF80  v3 Transactions and Package Relay with Glozow (SLP511): https://youtu.be/H1o7TgTCMjk  Links:  Bitcoin Core v28.0: https://bitcoincore.org/en/download/ ASMap: https://delvingbitcoin.org/t/asmap-creation-process/548 AssumeUTXO tracking: https://github.com/bitcoin/bitcoin/issues/29616 https://bitcoinops.org/en/topics/assumeutxo/  TRUC / v3 topic: https://bitcoinops.org/en/topics/version-3-transaction-relay/ Package relay topic: https://bitcoinops.org/en/topics/package-relay/ Package relay tracking: https://github.com/bitcoin/bitcoin/issues/27463 https://brink.dev Testnet 4 PR: https://github.com/bitcoin/bitcoin/pull/29775 BIP94: https://github.com/bitcoin/bips/pull/1601 CISA website: https://cisaresearch.org CISA fellowship: https://x.com/ck_SNARKs/status/1817928417184203162  Sponsors: Bold Bitcoin CoinKite.com (code LIVERA) mempool.space/accelerator  Stephan Livera links: Follow me on X: @stephanlivera Subscribe to the podcast Subscribe to Substack

Mark “Murch” Erhardt and Mike Schmidt are joined by Jay Beddict to discuss ⁠Newsletter #318⁠. News New Bitcoin Mining Development mailing list (0:48) Selected Q&A from Bitcoin Stack Exchange Can a BIP152 compact block be sent before validation by a node that doesn't know all transactions? (15:03) Did Segwit (BIP141) eliminate all txid malleability issues listed in BIP62? (18:13) Why are the checkpoints still in the codebase in 2024? (22:35) Bulletproof++ as generic ZKP ala SNARKs? (26:28) How can OP_CAT be used to implement additional covenants? (28:13) Why do some bech32 bitcoin addresses contain a large number of 'q's? (32:25) How does a 0-conf signature bond work? (37:29) Releases and release candidates Core Lightning 24.08rc2 (42:45) LND v0.18.3-beta.rc1 (43:13) BDK 1.0.0-beta.2 (43:43) Bitcoin Core 28.0rc1 (45:10) Notable code and documentation changes LDK #3263 (48:15) LDK #3247 (49:10) BDK #1569 (50:13)

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

with @SuccinctJT @samrags_ @moodlezoup @rhhackettWelcome to web3 with a16z, a show about building the next era of the internet by the team at a16z crypto. That includes me, host Robert Hackett.  Today's all new episode covers a very important and now fast developing area of technology that can help scale blockchains, but that also has many uses beyond blockchains as well.That category of technology is verifiable computing, and specifically, SNARKs.  So today we dig into zkVMs, or "zero knowledge virtual machines," which use SNARKs, and we discuss a new design for them that the guests on this episode helped develop — work that resulted in Jolt, the most performant, easy-for-developers-to-use zkVM to date.The conversation that follows covers the history and evolution of the field, the surprising similarities between SNARK design and computer chip architecture,  the tensions between general purpose versus application specific programming, and the challenges of turning abstract research theory into concrete engineering practice.Our guests include Justin Thaler, research partner at a16z crypto and associate professor of computer science at Georgetown University, who came up with the insights underpinning Jolt, along with collaborators from Microsoft Research, Carnegie Mellon, and New York Universities.  His is the first voice you'll hear after mine,  followed by Sam Ragsdale, investment engineer at a16z crypto, and Michael Zhu, research engineer at a16Z crypto, both of whom brought Jolt from concept  to code.Resources for references in this episode:"Jolt: SNARKs for Virtual Machines via Lookups" by Arasu Arun, Srinath Setty & Justin Thaler  (Cryptology ePrint Archive, 2023)the Jolt Github pageMichael Zhu and Sam Ragsdale's post on the open source implementationJustin Thaler's post on the ideas behind Joltan FAQ untangling this new SNARK design paradigmour Lasso + Jolt archives▶️

Join us as we unravel the fallout from Glasgow's disillusioning "Willy's Chocolate Experience," dissect the implications of the Tornado Cash exploit shaking the crypto world, and delve into the White House's proactive stance against code vulnerabilities. Featuring insights into AI's ethical quandaries in advertising, the pressing need for vigilance in DeFi platforms, and the push towards memory-safe programming languages, this episode is a must-listen for anyone navigating the digital age. Original URLs: Willy's Chocolate Experience - AI Misuse in Advertising: https://news.sky.com/story/police-called-to-willy-wonka-inspired-experience-in-glasgow-as-families-demand-refunds-13081554 The Tornado Cash Catastrophe Unravels: https://gas404.medium.com/tornado-cash-notes-exploit-from-jan-1st-and-the-actions-you-must-take-6076748bc886, https://www.bleepingcomputer.com/news/security/malicious-code-in-tornado-cash-governance-proposal-puts-user-funds-at-risk/ White House Wages War on Code Vulnerabilities: https://www.darkreading.com/application-security/white-house-switch-memory-safe-languages Thanks to Jered Jones for providing the music for this episode. https://www.jeredjones.com/ Logo Design by https://www.zackgraber.com/ Transcript: Feb 28 [00:00:00] announcer: Welcome to The Daily Decrypt, the go to podcast for all things cybersecurity. Get ready to decrypt the complexities of cyber safety and stay informed. Stand at the frontier of cybersecurity news, where every insight is a key to unlocking the mysteries of the digital domain. Your voyage through the cyber news vortex starts now. [00:00:29] offsetkeyz: All right. Welcome back to the daily decrypt. Today is Wednesday, February 28th. [00:00:34] offsetkeyz: And we are talking about the sticky situation in glass low, where Willy Wonka's chocolate experience turned sour, leaving attendees, feeling more tricked than treated. [00:00:44] offsetkeyz: Then we dive into the cryptic world of tornado cash, highlighting a breach that's stirring more than just the crypto pot. And finally we code switch to the white houses war on memory vulnerabilities, proposing a shift towards memory, safe [00:01:00] languages. [00:01:00] offsetkeyz: Because in the world of cybersecurity forgetting, isn't an option. [00:01:04] offsetkeyz: It's a vulnerability. [00:01:05] transition: Do, do, do, do, do, do, do, do, do. [00:01:11] offsetkeyz: In an incident that reads like a cautionary tale from the digital age, a Glasgow based event, dubbed Willie's chocolate experience sparked considerable uproar and disappointment. Ultimately leading to police intervention. [00:01:25] offsetkeyz: This event was inspired by the whimsical universe of Willy Wonka. [00:01:30] offsetkeyz: And it promised a magical journey filled with enchantment and sugary delights as depicted in AI generated images on its official website. However, once the event actually began attendees. [00:01:43] offsetkeyz: We're met with a starkly different reality. [00:01:47] offsetkeyz: The advertised venue far from the Technicolor dreamscapes conjured by sophisticated image, synthesis technology like open AIS, Dolly three turned out to be a drab warehouse space. Barely adorned with [00:02:00] decorations and offering scant entertainment. [00:02:03] offsetkeyz: One's account of the event, highlights a disconnect so profound that the experience lasted merely two minutes. Culminating in disappointment and a queue of disgruntled customers, demanding explanations and refunds. The contrast between the AI generated fantasies and the grim reality of the venue underscores the growing issue of digital deception, where the ease of creating lifelike images can foster unrealistic expectations. [00:02:29] offsetkeyz: So essentially we've got a kid on Facebook. [00:02:32] offsetkeyz: Who's purchased ad space. Using mixed augmented reality images generated using AI. And has sold tickets. Too many people and. [00:02:45] offsetkeyz: Since it was advertised using fake images, the reality did not live up to the expectation. Thus. Event goers were pretty upset. [00:02:54] offsetkeyz: So as generative AI technologies become more accessible in capable. [00:02:59] offsetkeyz: The potential for [00:03:00] misuse in marketing and advertising grows significantly. This incident. [00:03:05] offsetkeyz: Prompts the need for transparency and honesty and the use of AI generated content. As we're always talking about. [00:03:11] offsetkeyz: So this event was hastily canceled and the organizers offered refunds. [00:03:15] offsetkeyz: But. How are we going to prevent this in the future? We're going to need some sort of. [00:03:20] offsetkeyz: Critical assessment of AI generated content. And if you've been listening up until this point, you know, that there are tech giants that are working on labeling artificial intelligent. Content. It looks like the images were. A mix between actual pictures of a warehouse and then Photoshop versions. Of images generated using chat GBT. [00:03:41] offsetkeyz: So regardless of whatever, labeling and metadata. [00:03:45] offsetkeyz: We can do to this AI content. Photoshop can always cut it out. Change the metadata. Et cetera. So. [00:03:53] offsetkeyz: We're going to have to get pretty creative to stop this type of behavior. [00:03:55] transition: [00:04:00] Uh, [00:04:07] offsetkeyz: Imagine a digital Robinhood gone rogue. We're the tool designed to protect your digital gold is compromised. Leaking secrets, like a sieve. That's exactly what happened with tornado cash. a, crypto mixer, that's been stirring more than just transactions. So what's the scoop. And the digital worlds equivalent of a heist. Tornado cash, A, platform championing financial privacy on the Ethereum blockchain got blindsided. [00:04:35] offsetkeyz: a, cleverly disguised piece of malicious code snuck into a governance proposal by someone known only as quote butterfly effects began siphoning off users, private transaction notes to a shadowy server since the turn of the year, this digital sleight of hand exposed users who trusted tornado cash to keep their transactions under wraps. [00:04:55] offsetkeyz: Potentially blowing the cover off millions in crypto cash. [00:04:59] offsetkeyz: [00:05:00] So let's decrypt this together. Tornado cash uses something called Snarks or a way to prove, you know, a secret without revealing it. It's like telling someone, you know, the world's greatest secret without actually telling them. This technology is pivotal for users needing privacy. From activists to those simply not wanting the world to know their financial moves. [00:05:21] offsetkeyz: However, this breach shows that even the most secure vaults. Can be cracked. Highlighting the digital ages, ongoing battle between privacy and security. [00:05:31] offsetkeyz: So if you're a tornado cash user, it's not about changing passwords. Or enabling multi-factor authentication, but you've got to verify the transactions through safer channels recommended by the platforms developers. So see this, see the. Story in the show notes for the recommendations. If you're a tornado cashews or. But generally with Bitcoin. With any sort of cryptocurrency. Keep an eye on your transactions. Keep listening to this podcast to see if the platform you're using [00:06:00] to store those Bitcoins. Has had any compromises or if there are any recommendations to secure those, those are a really hot target right now. [00:06:07] offsetkeyz: So. Keep an eye on those accounts. [00:06:16] offsetkeyz: And finally this election year, the Biden administration is really cracking down on cybersecurity. [00:06:23] offsetkeyz: Uh, report just came out from the white house that underscores a three decade long struggle against memory safety vulnerabilities. Memory safe vulnerabilities, such as buffer overflows have been the Achilles heel of software security. [00:06:37] offsetkeyz: Providing a foothold for malicious actors to exploit systems. [00:06:41] offsetkeyz: By advocating for languages that inherently prevent such vulnerabilities. The report from the white house outlines, a proactive approach to security. One that prioritizes the prevention of attacks over the response to them. [00:06:54] offsetkeyz: So this recommendation arrives at a critical juncture. The reliance on legacy code, [00:07:00] much of which is written in languages, known for their memory safety challenges like C and C plus plus presents a formidable barrier to enhancing cybersecurity posture. The report suggests a dual path strategy. [00:07:12] offsetkeyz: Encouraging the adoption of memory, safe languages in new development projects while addressing the monumental task of transitioning existing systems to safer frameworks. This approach acknowledges the complexity and embedded nature of legacy systems within our digital and physical infrastructure. [00:07:28] offsetkeyz: Highlighting the need for a nuanced long-term strategy over simplistic, immediate fixes. [00:07:34] offsetkeyz: And for new startups in Silicon valley. They've really only got the funding for immediate fixes. So this. [00:07:42] offsetkeyz: Guidance from the white house will hopefully not fall on deaf ears, but. Finding the funding to revamp an entire code base or to spend the extra week on fixes for your code is asking quite a lot. But for overflows have been in the OSS pop 10 for a long time. [00:08:00] Now. And they're slowing down. But. In order to forget for them to completely go away is going to take billions of dollars. [00:08:10] offsetkeyz: So we appreciate. [00:08:12] offsetkeyz: All of the attention that the white house is giving to cybersecurity. We hope it's more than a facade. [00:08:18] offsetkeyz: And we will keep you up to date as new developments. [00:08:21] offsetkeyz: Come out of the white house. [00:08:28] offsetkeyz: All right. So that's all we've got for you today, listeners. Thanks for tuning in and tomorrow we've got a special leap day. Episode, and there is absolutely nothing special about it. It's just a leap day. Another day. For you to work your butts off at wherever you're working. So we will talk to you more then. [00:09:00]

From the Bitcoin Magazine Archives | Recorded 7/26/2023 Join Hosts Spencer Nichols and Christian Keroles for a conversation with Reed College Philosophy Professor Troy Cross on the nature of epistemology, truth, and the knowledge crisis. We discuss the constraints on obtaining knowledge of the world, how beliefs are formed based on that knowledge, and how our society's ability to collectively makes sense of the word is fundamentally built on inter-personal trust. What might be the role of Bitcoin, a trust-minimized distributed time-stamping protocol, in restoring sensemaking in Western society? Also featuring Matthew Pines and Jamie King. -Spencer Nichols (https://x.com/DeSpencer_?s=20)-Christian Keroles ( https://x.com/ck_SNARKs?s=20)-Troy Cross (https://x.com/thetrocro?s=20)-Matthew Pines (https://x.com/matthew_pines?s=20)-Jamie King (https://x.com/jamie_jk?s=20) __________________ Enter the Bitcoin Halving Challenge! Visit https://www.bitcoinhalving.com/#challenge to place your guess for the price of bitcoin at the halving for the chance to win 1 BTC in prizes! Powered by Nitrobetting (https://nitrobetting.eu/) X (formerly Twitter)Spencer Nichols (@DeSpencer_) on X #Bitcoin and Sustainability | Marketing @BitcoinMagazine | @Tulane Alum X (formerly Twitter)ck (@ck_SNARKs) on X Bitcoin is Freedom. X (formerly Twitter)Troy Cross (@thetrocro) on X Philosopher. Environmentalist. Bitcoiner. X (formerly Twitter)Matthew Pines (@matthew_pines) on X Director, Security Advisory @SentinelOne | National Security Fellow @btcpolicyorg | physics & philosophy @ JHU, public policy @ LSE | geopol/tech/cyber/#Bitcoin X (formerly Twitter)Jamie King (@jamie_jk) on X Currently working on TRUST (https://t.co/nBBxY43Ngd). Previously: THIS MACHINE GREENS (https://t.co/wmyQXmnDJR), SCHISM (https://t.co/nH8vJDIZdW), STEAL THIS FILM.

✨ DEBRIEF | Ryan & David unpacking the episode: https://www.bankless.com/debrief-endgame-vitalik-ethereum-roadmap ------ Welcome to Part 2 of Vitalik's Endgame, where Vitalik's nominees and Ethereum Foundation Researchers, Mike Neuder & Domothy walk us through the updated Ethereum Roadmap. This roadmap is composed of 6 urges: - The Merge: Proof of Stake  - The Surge: Improve throughput and DA - The Scourge: MEV - The Verge: Running validator anywhere with Verkle Trees - The Purge: Eliminate technical debt - The Splurge Fix everything else We dive into all this and more as we wonder what's next for Ethereum. ----

En este episodio platicamos una vez más con el talentoso Mario Vega, uno de los principales desarrolladores de Ethereum. Esta vez hablamos sobre el roadmap de lo que se viene para Ethereum, y ¡lo ejemplificamos con las mejores analogías! Acompáñanos a aprender con todo lujo de detalle las sorpresas que Ethereum tiene guardadas para el futuro. 00:00 Intro 08:58 ¿Qué logró Ethereum el año pasado? 14:37 La diferencia más grande entre el Merge y los retiros de staking 16:45 Lo que se viene para Ethereum en 2024

En este episodio platicamos una vez más con el talentoso Mario Vega, uno de los principales desarrolladores de Ethereum. Esta vez hablamos sobre el roadmap de lo que se viene para Ethereum, y ¡lo ejemplificamos con las mejores analogías! Acompáñanos a aprender con todo lujo de detalle las sorpresas que Ethereum tiene guardadas para el futuro. 00:00 Intro 08:58 ¿Qué logró Ethereum el año pasado? 14:37 La diferencia más grande entre el Merge y los retiros de staking 16:45 Lo que se viene para Ethereum en 2024

In this week's episode, Anna (https://twitter.com/annarrose) and cohost Brendan Farmer (https://twitter.com/_bfarmer) catch up with Jim Posen (https://twitter.com/jimpo_potamus) and Radi Cojbasic (https://twitter.com/radi_cojbasic) from Ulvetanna (https://www.ulvetanna.io/). They cover the origin story of Ulvetanna and their work on the ZK hardware/software intersection before moving on to discuss Binius, a new proving system they developed which is optimised for hardware. Binius is built on towers of binary fields and draws on recent breakthroughs on SNARKs. This work continues the trend towards the use of smaller fields and was inspired by the development of new lookup arguments, work done on multilinear provers and sum-check as well as the use of recursive composition in SNARKs. Here's some additional links for this episode: Succinct Arguments over Towers of Binary Fields by Diamond and Posen (https://eprint.iacr.org/2023/1784.pdf) Binius: a Hardware-Optimized SNARK (https://www.ulvetanna.io/news/binius-hardware-optimized-snark) Episode 170: Hardware for ZKPs & VDFs with Supranational (https://zeroknowledge.fm/170-2/) 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/) Scalable, transparent, and post-quantum secure computational integrity by Ben-Sasson, Bentov, Horesh, Riabzev (https://eprint.iacr.org/2018/046.pdf) Multivariate lookups based on logarithmic derivatives by Ulrich Haböck (https://eprint.iacr.org/2022/1530.pdf) Episode 250: What's the Deal with Hash Functions? (https://zeroknowledge.fm/250-2/) Plonky2: Fast Recursive Arguments with PLONK and FRI by Polygon Zero Team (https://docs.rs/crate/plonky2/latest/source/plonky2.pdf) ZK Hack IV online is coming soon, get notified by signing up to the mailing list here (https://www.subscribepage.com/zkhackiv)! 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/)

Kai is a core contributor to RAILGUN, a DeFi privacy toolkit powering a rich on-chain Zero-Knowledge privacy ecosystem.   Why you should listen Transactions on public blockchains like Ethereum are viewable on the ledger. Whilst blockchains are a huge technological advancement for financial freedom, they have fundamental shortcomings in protecting the human right of privacy, which is also core to true financial freedom. RAILGUN is a secure and composable private DeFi solution. As a flexible smart contract, RAILGUN achieves higher levels of privacy than other protocols, including dedicated privacy coins and chains.  RAILGUN uses zk-SNARKs to encrypt wallet balances, transaction history, and transaction details so that users can use something like Ethereum with all its benefits (liquidity, dApps, and security) and remain private. With zk-SNARKs, you can prove you have the right to spend tokens (i.e., you have a sufficient balance) completely privately. RAILGUN uses a new kind of wallet technology (called 0zk addresses) with this kind of Zero-Knowledge proving, meaning that assets held in RAILGUN are yours and yours only and can only be spent (and viewed) with your private key. Supporting links Bitget Bitget Academy Bitget Research Bitget Wallet RAILGUN Andy on Twitter  Brave New Coin on Twitter Brave New Coin If you enjoyed the show please subscribe to the Crypto Conversation and give us a 5-star rating and a positive review in whatever podcast app you are using.  

Corey, D, and Jesse chat with Ameen about the motivations behind Privacy Pools, historical references including Tornado Cash and Z Cash, as well as the mechanics and tradeoffs associated with the approach. Topics Covered in this episode: Motivations and history – Ethereum, Coinbase, Tornado Cash, zk-SNARKs, Zcash.How Privacy Pools work – Setup, deposits, association sets, analysisComplexities and Challenges in added infrastructure and coordinationResponsibilities and complianceOpen source development and how to get involvedJOIN THE COMMUNITY Logos State Twitter: https://twitter.com/Logos_network Logos Discord: https://discord.gg/logosnetwork Logos Press Engine: https://press.logos.co/ RESOURCES: Ameen XPrivacy Pools PaperPrivacy Pools WebsitePrivacy Pools GithubFundraiser for Roman Storm and Alex PertsevTIMESTAMPS 00:00 Intro 5:00 Introducing Amen 6:30 Why dive into privacy now? 8:25 Corey's interpretation and background to the Privacy Pools paper 11:35 Ameen's motivations for Privacy Pools - history of Ethereum, Coinbase, zk snarks, Z Cash 11:50 Tornado Cash compliance tool and enhancing the power of compliance 17:30 Is privacy all or nothing? 20:30 Mechanics of the privacy pool setup. Deposits, association sets, analysis 22:15 Week long dispute of proofs and tradeoffs 24:00 Versions of Privacy Pools, shielded pools, z-cash comparison 27:00 Maintaining decentralization while working in different jurisdictions 28:46 The consequences and challenges of building on open systems vs base layer privacy 32:15 Additional coordination complexity and anonymity sets 34:35 “Goblins” or small scale thefts and edge case hacks 39:15 Who will manage the burden of infrastructure? Wallets and important role of relayers. 46:40 Are Association Set Providers a new set of core users? 51:00 Narratives are powerful for positive use cases to prevail 51:58 Who is responsible for judging the association sets of the association set providers? 56:00 Privacy Pools is just better than the status quo 56:37 Open source developers working in the space with OFAC. Tornado Cash 1:02:40 Describe Privacy Pools in ten words or less 1:03:20 Is what you do difficult? 1:05:20 Roundtable with Corey, D, and Jesse

#knowyourgear #podcast Subject index00:00 Thank you Veterans 03:40 I took my guitar on the plan and what I did06:80 Thank you to Bounty Music 10:40 The guitar resale market is a mess?21:00 discount for True Temperament neckshttps://truetemperamentshop.com/produkt-kategori/necks/Just4u is the discount code. 23:49 Thank you if you check out CMA You Tube channel https://countrymusicassociation.link/ITBPhillipMcKnight25:00 Intonation and the must frustrating customer I ever had40:30  When should a guitar be re-fretted?45:40 Cheap Guitar Videos54:20 Finish crack issue?55:40 RWRP Pickup Swap58:30 The hardest music I ever tried to learn 1:05:25 16, 8 ,or 4 ohm cabinets 1:16:39 Slash's new Magnatone amp. 1:35:48 Can you keep a Squier in tune?1:42:50  Thank you to the winners of the Snarks!!!!1:44:00  Who Makes The NEW PRS MT100 and why it might be better than there MT15https://www.youtube.com/watch?v=TrT9FynkAuQ1:55:50 The future of tube amps is the future of tubes2:08:40 High E sticking under your fretPRS Is Blowing Out guitars https://sweetwater.sjv.io/LXoj7oandhttps://reverb.partnerlinks.io/PRSEYou can become a Patreon and support this podcast https://www.patreon.com/phillipmcknightKYG?fan_landing=trueKYG Merch https://www.bonfire.com/store/know-your-gear-shop/?utm_source=copy_link&utm_medium=store_page_share&utm_campaign=know-your-gear-shop&utm_content=defaultYou can become a Patreon and support this podcast https://www.patreon.com/phillipmcknightKYG?fan_landing=trueKnow Your Gear Facebookhttps://www.facebook.com/Knowyourgear/My guitar set up tools https://stewmac.sjv.io/jWE9W6Support the show

Nico talks with Ck Snarks on leaving Bitcoin Magazine to join Human Rights Foundation #bitcoin The Bullish Case for Bitcoin by Vijay Boyapati ► https://vijayboyapati.medium.com/the-bullish-case-for-bitcoin-6ecc8bdecc1 Powered by : Swan Bitcoin ► https://www.swan.com/simply ► Swan Bitcoin is the best way to build your Bitcoin stack, with automated Bitcoin savings plans and instant purchases. Serving clients of any size, from $10 to $10M+ ► Bitcoin 2024 Conference: https://bm.b.tc/simply Join your fellow Bitcoiners in Miami Beach for the biggest annual celebration of Bitcoin in the world. Don't miss out! Come check it out in Miami Beach Florida on May 18th, 19th and 20th 2023 ► Use code: SIMPLY for 10% off your tickets! - Bitcoin 2024 ✓ SUBSCRIBE - https://bit.ly/3QbgqTQ ✓ LEAVE A LIKE ✓ COMMENT Join our Telegram, Give us Memes to Review! ► https://t.me/SimplyBitcoinTV

In this week's episode, Anna Rose (https://twitter.com/annarrose) is joined by Nigel Smart (https://twitter.com/SmartCryptology), Professor at KU Leuven (https://www.kuleuven.be/english/kuleuven) and Chief Academic Officer at Zama (https://www.zama.ai/) to discuss the advancements in MPC over recent years. Nigel unpacks core components of MPC systems, including garbled circuits, secret sharing, and FHE. They discuss both systems-level applications like DKGs and Threshold Signature Schemes and actual real-world deployments. Throughout the episode, they also discuss how MPC and ZK differ, but how they can be used together to enhance each other's capabilities. 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/) Nigel Smart's GitHub (https://nigelsmart.github.io/) Unbound Security GitHub (https://github.com/unboundsecurity) Unbound Security Twitter (https://twitter.com/unboundsecurity) MPC Alliance (https://www.mpcalliance.org/) What is a multi-party computation (MPC) wallet? (https://www.alchemy.com/overviews/mpc-wallet) Relevant ZK Podcast eps Trusted Setups & FHE * Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography (https://zeroknowledge.fm/76-2/) * Episode 124: Exploring FHE with Flavio Bergamaschi from IBM Research (https://zeroknowledge.fm/124-2/) * Episode 133: Trusted Setup Ceremonies Explored (https://zeroknowledge.fm/133-2/) * Episode 137: Trusted Setup Bonus: Tornado Cash (https://zeroknowledge.fm/137-2/) * Episode 248: Revisiting FHE with Rand Hindi from Zama (https://zeroknowledge.fm/248-2/) * Episode 270: FHE and ZKPs with Sunscreen's Ravital Solomon (https://zeroknowledge.fm/270-2/) MPC * Episode 90: MPC systems with Nigel Smart (https://zeroknowledge.fm/90-2/) * Episode 203: MPC and DAGs with Aleph Zero's Adam Gagol & Matthew Niemerg (https://zeroknowledge.fm/episode-203-mpc-and-dags-with-aleph-zeros-adam-gagol-matthew-niemerg/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) RISC Zero's (https://r0.link/ZKpodcast) out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or build custom zk circuits. Bonsai, RISC Zero's most anticipated product, allows developers to prove huge programs off-chain, roll them into one succinct proof, and verify anywhere with low amounts of gas. Visit https://r0.link/ZKpodcast (https://r0.link/ZKpodcast) to learn more and sign up today for the Bonsai waitlist. GnosisDAO (https://www.gnosis.io/) are searching for a VP of Technology who will provide technical leadership, foster innovation, and ensure the success of their technology. Check out the full job description and apply on the ZK Jobs Board jobsboard.zeroknowledge.fm/ (https://jobsboard.zeroknowledge.fm/) If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

On this week's episode, Anna Rose (https://twitter.com/annarrose) interviews Michał Zając (https://twitter.com/mpfzajac) and Albert Garreta (https://twitter.com/0xAlbertG) from the Nethermind (https://nethermind.io/) team. They discuss the origin story of Nethermind and its role in the ecosystem today. They also delve into the cryptography research being done at Nethermind, including their work on proving the security of FRI-based protocols, identifying security issues with Fiat-Shamir, exploring topics like ZK malleability and aggregation, and building SNARKs over rings. Here's some additional links for this episode: Fiat-Shamir Security of FRI and Related SNARKs by Block, Garreta, Katz, Thaler, Tiwari and Zając (https://eprint.iacr.org/2023/1071.pdf) On Soundness Notions for Interactive Oracle Proofs by Block, Garreta, Tiwari and Zając (https://eprint.iacr.org/2023/1256.pdf) NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion by Bellare, Fuchsbauer and Scafuro (https://link.springer.com/chapter/10.1007/978-3-662-53890-6_26) Mathematical Problems By Professor David Hilbert (http://aleph0.clarku.edu/~djoyce/hilbert/problems.html) A summary on the FRI low degree test by Ulrich Haböck (https://eprint.iacr.org/2022/1216.pdf) DEEP-FRI: Sampling Outside the Box Improves Soundness by Ben-Sasson, Goldberg, Kopparty, and Saraf (https://eprint.iacr.org/2019/336) Fiat-Shamir Transformation of Multi-Round Interactive Proofs by Attema, Fehr and Klooss (https://eprint.iacr.org/2021/1377.pdf) Other Nethermind Projects; Lido: A proposal for partnering with Nethermind to design a mechanism for a good validator set maintenance. Phase II. (https://research.lido.fi/t/a-proposal-for-partnering-with-nethermind-to-design-a-mechanism-for-good-validator-set-maintenance-phase-2/3668/23) Looking Forward: Obol V2 (https://blog.obol.tech/looking-forward-obol-v2/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.com/) /////Polygon CDK (https://wiki.polygon.technology/docs/cdk/) is the go-to open source chain development kit for building and launching your own ZK-powered Ethereum L2. Using Polygon CDK, build chains precisely to your specs, from level of decentralization to throughput to cost. It's the raw material of Polygon 2.0, an ecosystem of interconnected chains that create a value layer for the internet. Check out wiki.polygon.technology/docs/cdk (https://wiki.polygon.technology/docs/cdk/) to start experimenting with your own ZK powered L2 today. 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/)

In this special live episode, recorded at zkSummit10, host Anna Rose (https://twitter.com/annarrose) chats with regular co-hosts Tarun Chitra (https://twitter.com/tarunchitra), Guillermo Angeris (https://twitter.com/GuilleAngeris) and Nico Mohnblatt (https://twitter.com/nico_mnbl) about the state of ZK today. They cover how the term ‘ZK' has evolved, market trends that are relevant to the ZK community today and ZK ‘crossovers' like ZKML or ZKFHE and their current status in the industry. They also discuss how the ZK space could grow in the future and share their predictions. Much of the conversation is fuelled by some great questions and comments from the live zk10 audience. This is the first episode recorded live from a ZK Podcast event, so if you have any feedback, pls tweet us @zeroknowledgefm! Here's some additional links for this episode: Episode 90: MPC systems with Nigel Smart (https://zeroknowledge.fm/90-2/) Episode 173: Building Private AMMs with Guillermo Angeris (https://zeroknowledge.fm/173-2/) (Guillermo's first episode!) Episode 269: Auctions with Kshitij Kulkarni, Matheus V. X. Ferreira and Tarun (https://zeroknowledge.fm/269-2/) Episode 270: FHE and ZKPs with Sunscreen's Ravital Solomon (https://zeroknowledge.fm/270-2/) 17 misconceptions about SNARKs (and why they hold us back) by Justin Thaler (https://a16zcrypto.com/posts/article/17-misconceptions-about-snarks/) Applications are now open to attend zkHack Istanbul - Nov 10-12! Apply here: https://www.zkistanbul.com/ (https://www.zkistanbul.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 Q4, this is an invitation to be part of a transformational ZK journey. Dive deeper and discover more about Aleo at 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/)

 Join us as we welcome Vitalik, the co-founder of Ethereum, on our podcast! In this episode, Vitalik shares his thoughts on recent news and lessons learned from the crypto industry. From discussing financialization and incentives in crypto to exploring the aftermath of the crypto craze, we delve into what the future holds. 

This week, Anna (https://twitter.com/annarrose) and Guillermo (https://twitter.com/GuilleAngeris) chat with David Wong (https://twitter.com/cryptodavidw), author of the Real-World Cryptography book (https://www.manning.com/books/real-world-cryptography?a_aid=Realworldcrypto&a_bid=ad500e09), and a cofounder [zksecurity.xyz]((https://www.zksecurity.xyz/) - an auditing firm focused on Zero Knowledge technology. They chat about what first got him interested in cryptography, his early work as a security consultant, his work on the Facebook crypto project and the Mina project, zksecurity.xyz, auditing techniques and their efficacy in a ZK context, what common bugs are found in ZK code, and much more. Here's some additional links for this episode: Crypto is not cryptocurrency (https://cryptoisnotcryptocurrency.com/) NCC Group (https://www.nccgroup.com/) OCaml website (https://ocaml.org/) Real-World Cryptography book (https://www.manning.com/books/real-world-cryptography) Mina Protocol (https://minaprotocol.com/) 3pages.fr (https://www.3pages.fr/home/login/) The Frozen Heart vulnerability in PlonK | Trail of Bits Blog (https://blog.trailofbits.com/2022/04/18/the-frozen-heart-vulnerability-in-plonk/) ZK Podcast Episode 284: Using Formal Verification on ZK Systems with Jon Stephens (https://zeroknowledge.fm/284-2/) zkSecurity Website (https://www.zksecurity.xyz/) ZK Podcast Episode 257: Proof of Solvency with Kostas Chalkias - ZK Podcast (https://zeroknowledge.fm/257-2/) ZK Podcast Episode 210: The Road to STARKs and Miden with Bobbin Threadbare - ZK Podcast (https://zeroknowledge.fm/210-2/) ZK Podcast Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography - ZK Podcast (https://zeroknowledge.fm/76-2/) Check out the ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) for new job opportunities in the run up to the zkSummit 10 (https://www.zksummit.com/)! Aleo (https://www.aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. For questions, join their Discord at aleo.org/discord (http://aleo.org/discord). 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/)

Hosts: Ansel Lindner and Christian Keroles Fed Watch is a macro podcast with a clear contrarian thesis of a deflationary breakdown of the financial system leading to bitcoin adoption. We question narratives and schools of thought, and try to form new understanding. Each episode we use current events to question mainstream and bitcoin narratives across the globe, with an emphasis on central banks and currencies. In this episode, CK and I welcome Nolan Bauerle back to the show. Our topics include, taking a look at the Bitcoin charts, reading through and discussing the new KPMG report on Bitcoin mining and its massive benefits, the latest Federal Reserve SLOOS report showing banks tightening lending standards and loan demand dropping, and we finish up with a cosmic discussions about the coming year for Bitcoin and the world. Thanks for joining us! If you are reading this, hit the like and subscribe button! Constant updates on bitcoin and macro: Telegram Free weekly Bitcoin Fundamentals Report: Sign up Find More and Links Watch this Episode:YouTube  ||  Rumble SLOOS report ESG-rated companies pollute as much as non-ESG ESG is inevitably dying KPMG comes out in support of bitcoin mining Lower your time preference and lock-in your Bitcoin 2024 and Bitcoin Amsterdam conference tickets today!!! Use promo code BMLIVE for 10% off your tickets! https://b.tc/conference/ Use promo code BMLIVE for 10% off your tickets and everything in our store! https://store.bitcoinmagazine.com/ Follow us on Twitter: - https://twitter.com/ck_SNARKs - https://twitter.com/AnselLindner - https://twitter.com/Countbtc - https://twitter.com/videobitcoin IMPORTANT DISCLAIMER "All views expressed by hosts, guests, and interviewees of "Bitcoin Magazine Live" are opinion only and do not reflect the views of Bitcoin Magazine, its ownership, management, any of their associated or affiliated entities, or their inhouse or third party service providers and platforms. This program is informational only, and its content does not contain or construe any offers to buy, sell, or hold any bitcoin, other cryptocurrency, or any securities or other financial instruments in the United States or any other jurisdiction in which such solicitation or offer would be unlawful. Nor does this show's programming constitute any kind of legal, tax, investment, financial, or other advice. Individuals who appear on "Bitcoin Magazine Live" are not deemed investment advisors and their performances in the past are not indicative of future results. Nor are staff or management of "Bitcoin Magazine Live," its publishers and affiliated companies in the business of providing advice, financial or otherwise. All investment carries risk and you should do your own due diligence before investing."

The Daily Gwei Refuel gives you a recap every week day on everything that happened in the Ethereum and crypto ecosystems over the previous 24 hours - hosted by Anthony Sassano. Timestamps and links to topics discussed: https://daily-gwei-links.vercel.app/recent 00:00 Introductory song 00:09 SEC Bittrex settlement https://twitter.com/RSSH273/status/1689882806082813952 03:34 Visa exploring ways to simplify BC txs https://twitter.com/digitalmustafa/status/1689741716084215809 07:51 Holesky testnet pencilled in for Sep 15th https://twitter.com/parithosh_j/status/1689753694487646208 09:54 Beacon Chain churn limit increased https://twitter.com/superphiz/status/1689918550050291713 12:25 0xSplits member registry developments https://twitter.com/ProtocolGuild/status/1689721837973028868 14:00 Coinbase invests in RocketPool via RPL purchase https://twitter.com/cbventures/status/1689639108837249024 15:53 DeBank Chain on OP stack rolling out in 2024 https://twitter.com/DeBankDeFi/status/1689963919614611457 18:36 How rollups unlock the long tail of apps https://twitter.com/sassal0x/status/1689879173303873537 22:45 Lasso + Jolt, and SNARKS https://twitter.com/SuccinctJT/status/1689657797385027585 23:28 Arbitrum tech cheat sheet https://twitter.com/sgoldfed/status/1689674922493165570 25:16 Lyra V2 DEX for pro traders coming soon https://twitter.com/lyrafinance/status/1689801922478567424 26:13 Zapper Trends onchain alpha  https://twitter.com/zapper_fi/status/1689679480904704000 27:07 Abandoning ICO was throwing baby out w/ bathwater https://twitter.com/sassal0x/status/1689925295414095872 34:43 Upside DAO meetup inc Anthony https://twitter.com/0xUpside/status/1689778186736095232 This episode is also available on YouTube: https://youtu.be/nofEdQBuPIs Subscribe to the newsletter: https://thedailygwei.substack.com/ Subscribe on YouTube: https://www.youtube.com/channel/UCvCp6vKY5jDr87htKH6hgDA/ Follow Anthony on Twitter: https://twitter.com/sassal0x Follow The Daily Gwei on Twitter: https://twitter.com/thedailygwei Join the Discord Channel: https://discord.gg/4pfUJsENcg DISCLAIMER: All information presented across all of The Daily Gwei's communication channels is strictly for educational purposes and should not be taken as investment advice.

Layer 2 zero knowledge roll-ups have initially been used for achieving private transactions on blockchains. However, past simple transfers, interacting with a public smart contract posed a serious challenge. As research and technology evolved, proof construction became much more efficient, enabling zk-powered scalability. There is a variety of pros and cons for each type of proof system, but given the impending rise of qunatum computers, we have witnessed a recent migration from SNARKs to STARKs. While the former relies on trusted setups, zk-STARKs are quantum-resistant.We were joined by Eli Ben-Sasson, co-founder of Starkware, to discuss Starknet's layer 2 architecture, as well as the upcoming update to Cairo 1.0 and how it will impact scalability performances for STARKs.Topics covered in this episode:Shifting from privacy to scalabilityZK roll-up taxonomy and main differences between SNARKs and STARKsWhy scalability is easier to implement than privacy solutionsConstructing proofs efficiently in CairoStarknet's layer 2 architectureBuilt-in account abstractionVolition, data availability and trust assumptionsSequencer decentralisation and crypto regulationsStorage proofsCairo upgrades & TPSCouncil-based vs. DAO governanceFuture developmentsEpisode links:Eli Ben-Sasson on TwitterStarknet on TwitterThis episode is hosted by Friederike Ernst. Show notes and listening options: epicenter.tv/502

1101 | TGOC Coaching.thegentlemenofcrypto.com Bitcoin Conference 2023: 10% off with code TGOC23 Business Inquiries: krbe@krbecrypto.com  ********************************** Connect with us online at the following places: KRBE Digital Assets Group  * Website: https://thegentlemenofcrypto.com    MEMBERSHIP  Join this channel to get access to perks: https://www.youtube.com/channel/UCJ0QV-XhATeq4-hTgqMz1TQ/join PODCAST  * Apple Podcasts: https://apple.co/3xlhxqz * Spotify: https://spoti.fi/3xpk2rT * Google Podcasts: https://bit.ly/3cKmAc4 * Audible: https://adbl.co/3zumWxn * TuneIn: https://bit.ly/3zuuGzy * iHeartRadio: https://ihr.fm/3ciPHCJ STREAM SATS  * Fountain: https://bit.ly/3gWUsEt Please leave a review! SOCIAL  * KRBE Twitter: https://twitter.com/krbecrypto * KRBE Facebook: https://www.facebook.com/krbedigitalassets/ * KRBE Instagram: https://www.instagram.com/thegentlemenofcrypto/ * King Twitter: https://twitter.com/KingBlessDotCom * Bitcoin Zay Twitter: https://twitter.com/bitcoinzay COOL CRYPTO GEAR  Antonio "BTC" Gear: https://finitesupply.co.uk/ Amenhotep Designs: https://www.adesignuk.com/     No Keys No Cheese Merch: https://www.bitcoinmovement.com Been Dope Gear: https://jakefever.com/collections/millionaire-coming-soon/products/been-dope-bitcoin-hoodie Unite Africa Gear: https://www.yemnasium.com/shop ********************************** ——————————————————————————— **This is not financial advice. The expressed opinions in the video are of the speakers. You can lose all your money in the cryptocurrency market, so be sure to do your own research before investing.**The Gentleman of Crypto is a daily live broadcast that explores Bitcoin and cryptocurrency market. We discuss international topics, news updates, and future innovations in blockchain, digital currencies and assets, fintech, and more.

In this latest episode of GoodWill Yunting, by demand of the fans, we have back on two incredible builders of the superstar protocol Sentiment. Sentiment, if you live under a rock, is the undercollateralized on-chain leverage protocol that allows you to do a wide variety of yield farming, trading, and lending strategies--many of which we get into. We start with the inspiration behind Sentiment as well as how the protocol has developed since inception. We dive into the many surprising strategies degens use the protocol for. Of course, we discuss the unfortunate hack along with the quick bounce back, making users whole, and what the team learned from the event. Finally, we discuss lots of alpha on what is next for Sentiment, what users want to look out for, V2, future partners, and much more. Don't miss this incredible episode!If you enjoyed the episode, please subscribe, rate, and share so we can continue to get amazing, alpha dropping guests. We plan to release episodes bi-weekly, so don't sleep! Big thank you to Snarks and Ruvaag for taking the time out of their day to talk crypto with us. You can find them on Twitter @0xSnarks and @ruvaag.  Feel free to tweet or message me @TheRogueItachi. You can find the pod on Twitter @GoodWillYunting. And thank you to our sponsor Alchemix. you can find them on Twitter @AlchemixFi. As always, Yunt Hard, Yunt Fast, Yunt Capital.  Disclaimer: Nothing said on this podcast is advice or a solicitation to buy or sell any assets or tokens. We may, and often because we're passionate about the projects we bring on, hold investments in the project and even work in their communities. None of this is financial advice, please do your own research; this is a risky field. 

In this week's episode, host Anna Rose (https://twitter.com/annarrose) chats with Chhi'mèd Künzang (https://research.protocol.ai/authors/chhimed-kunzang/) and François Garillot (https://www.garillot.net/) from Lurk Labs (https://lurk-lab.com/) about all things Lurk, Lisp and zk languages. They discuss the history of the Lurk project, from its beginnings with Protocol Labs (the team that built Filecoin), to its emergence as a Turing-complete programming language for recursive zkSNARKs. They discuss Lurk's relationship with Lisp, what Lisp is, and how developers familiar with that family of languages would be able to interact with Lurk. They then discuss how Lurk compares to other zkDSLs and the new innovations this Lisp-based language brings to the table. Here's some additional links for this episode: Programming Languages * Circom (https://iden3.io/circom) * Arkworks GitHub (https://github.com/arkworks-rs) * Leo by Aleo (https://www.aleo.org/post/leo-programming-language) * SnarkyJS (http://snarkyjs.o1labs.org/) * Noir (https://noir-lang.org/) Lurk Links * LURK: Lambda, the Ultimate Recursive Knowledge by Amin, Burnham, Garillot, Gennaro, Künzang, Rogozin and Wong (https://eprint.iacr.org/2023/369) * Lurk Lab (https://lurk-lab.com/) * Lurk Lab Twitter (https://twitter.com/LurkLab) * Lurk Language (https://lurk-lang.org/) * Lurk GitHub (https://github.com/lurk-lab) Additional Reading/Listening * A Sloth-based Verifiable Delay Function (VDF) evaluator and SNARK prover GitHub (https://github.com/protocol/vdf) * Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I by John McCarthy, April 1960 (http://www-formal.stanford.edu/jmc/recursive.pdf) * Using ZK Proofs to Fight Disinformation By Trisha Datta and Dan Boneh (https://medium.com/@boneh/using-zk-proofs-to-fight-disinformation-17e7d57fe52f) * Common Lisp (https://lisp-lang.org/) * Episode 172: ZK languages with Alex Ozdemir (https://zeroknowledge.fm/172-2/) * zkSessions: The ZK Languages Rundown (https://www.youtube.com/watch?v=ABjSn_6m4Ac&list=PLj80z0cJm8QEz6BotG4SkGSCupwkPonCZ&index=12) * zkSummit4 Videos (https://www.youtube.com/watch?v=sj5yY3wguIo&list=PLj80z0cJm8QFnY6VLVa84nr-21DNvjWH7) - check the playlist (https://www.youtube.com/watch?v=C-C1fHzApEQ) for individual talks! Ever feel like developing zero-knowledge proofs is a daunting task? The team at RISC Zero (https://www.risczero.com/) is here to remind you that it doesn't have to be that way. Their out-of-the-box tooling allows developers to access the magic of ZK proofs from any chain without needing to learn custom languages or building custom zk circuits. Bonsai (https://r0.link/ZKpodcast), RISC Zero's most anticipated product, is a proving marketplace that enables any protocol or application to leverage fast ZKProofs in languages like Rust, Go, C++. Visit https://r0.link/ZKpodcast (https://r0.link/ZKpodcast) to learn more and sign up today for the Bonsai waitlist. 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/)

In today's episode, Anna Rose (https://twitter.com/annarrose) and Nico Mohnblatt (https://twitter.com/nico_mnbl) interview Srinath Setty (https://twitter.com/srinathtv), Principal Researcher at Microsoft Research (https://twitter.com/msftresearch) and author of notable works such as Spartan, Nova, SuperNova, and HyperNova. This discussion covers Setty's early work and how this led to him working on SNARKs, folding schemes and sumcheck protocols, as well as his views on the future trajectory of the ZK space. Given the current chatter around Nova-style accumulation schemes, this interview offers a chance to explore the perspective of a key contributor behind these developments. Here's some additional links for this episode: Pepper Project Publications (https://www.pepper-project.org/publications.htm) Depot: Cloud storage with minimal trust by Mahajan, Setty, Lee, Clement, Alvisi, Dahlin, and Walfish (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/depot-osdi10.pdf) Resolving the conflict between generality and plausibility in verified computation by Setty, Braun, Vu, Blumberg, Parno, and Walfish (https://eprint.iacr.org/2012/622.pdf) Proving the correct execution of concurrent services in zero-knowledge (extended version) by Setty, Angel, Gupta and Lee (https://eprint.iacr.org/2018/907.pdf) Replicated state machines without replicated execution by Lee, Nikitin and Setty (https://eprint.iacr.org/2020/195.pdf) Quadratic Span Programs and Succinct NIZKs without PCPs by Gennaro, Gentry, Parno and Raykova (https://eprint.iacr.org/2012/215.pdf) Pinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova (https://eprint.iacr.org/2013/279.pdf) Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency by Valiant (https://iacr.org/archive/tcc2008/49480001/49480001.pdf) Succinct Non-Interactive Arguments via Linear Interactive Proofs by Bitansky, Chiesa, Ishai, Ostrovsky and Paneth (https://eprint.iacr.org/2012/718.pdf) Open VDF: Accelerating the Nova SNARK-based VDF Article (https://medium.com/supranational/open-vdf-accelerating-the-nova-snark-based-vdf-2d00737029bd) Episode 274: SNARKs: A Trilogy with Ariel Gabizon (https://zeroknowledge.fm/274-2/) ZK Study Club: Supernova Srinath Setty - MS Research (https://www.youtube.com/watch?v=ilrvqajkrYY) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Find your next job working in ZK! Zero-knowledge is changing the world and until now, building ZK applications meant learning new, chain-specific languages and complex cryptography. But no more! With SnarkyJS, the easiest to use zk SDK, developers can add the magic of zk to their apps using TypeScript! Whether you're targeting Mina (https://minaprotocol.com/), the leading zk-native blockchain, or off-chain applications, SnarkyJS from O(1) Labs (https://o1labs.org/) has you covered. With support for infinite recursion, in-browser proving, and so much more, the full power of zk is available to everyone. Visit snarkyjs.o1labs.org (snarkyjs.o1labs.org) to get started. 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/)

In this episode, I am joined by Joey Krug, a prominent figure in the cryptocurrency and blockchain industry who has recently joined Founder Fund, a VC with 11 billion AUM. We delve into his investment strategies and explore his insights on the upcoming investment narratives in the crypto space. From discussing DeFi and layer 2 projects to exploring topics like ZK snarks, gaming, and meme coins, Joey's extensive background in both building tech projects and investing makes this episode a must-watch for anyone interested in the field. Don't miss out on this opportunity! Follow Joey Krug: https://twitter.com/joeykrug ►►THE DAILY CLOSE BRAND NEW NEWSLETTER! INSTITUTIONAL GRADE INDICATORS AND DATA DELIVERED DIRECTLY TO YOUR INBOX, EVERY DAY AT THE DAILY CLOSE. TRADE LIKE THE BIG BOYS.

This week, Anna (https://twitter.com/annarrose) and Ariel Gabizon (https://twitter.com/rel_zeta_tech) cover the SNARK trilogy; a history of pairing-based SNARKs in 3 acts. Starting from Jens Groth's early works on SNARKs, Ariel takes us on a journey through key moments and breakthroughs in SNARKs over the last decade. They also dive into the emerging accumulation research on folding schemes and Ariel's latest work surrounding lookup tables! This is an episode you won't want to miss. Here are some additional links for this episode: Relevant Jens Groth Papers * Short Non-interactive Zero-Knowledge Proofs by Jens Groth (https://www.iacr.org/archive/asiacrypt2010/6477343/6477343.pdf) * Short Pairing-based Non-interactive Zero-Knowledge Arguments by Jens Groth (http://www0.cs.ucl.ac.uk/staff/J.Groth/ShortNIZK.pdf) * On the Size of Pairing-based Non-interactive Arguments by Jens Groth (https://eprint.iacr.org/2016/260.pdf) * Zero-knowledge Argument for Polynomial Evaluation with Application to Blacklists by Stephanie Bayer and Jens Groth (https://eprint.iacr.org/2015/195) PLONK-Relative Papers * PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge by Gabizon, Williamson, Ciobotaru (https://eprint.iacr.org/2019/953.pdf) * HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates by Chen, Bünz, Boneh and Zhang (https://eprint.iacr.org/2022/1355.pdf) * Proposal: The Turbo-PLONK program syntax for specifying SNARK programs by Gabizon and Williamson (https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-turbo_plonk.pdf) Lookup-Relative Papers * plookup: A simplified polynomial protocol for lookup tables by Gabizon and Williamson (https://eprint.iacr.org/2020/315.pdf) * Caulk: Lookup Arguments in Sublinear Time by Zapico, Buterin, Khovratovich, Maller, Nitulescu and Simkin (https://eprint.iacr.org/2022/621) * A Close Look at a Lookup Argument - Mary Maller at The 13th BIU Winter School on cryptography (https://www.youtube.com/watch?v=uGjbczKGm4s&list=PL8Vt-7cSFnw1gx51WHRgAtioVqAjzMS1w&index=13) * cq: Cached quotients for fast lookups by Eagen, Fiore, and Gabizon (https://eprint.iacr.org/2022/1763) Additional Resources * Pinocchio: Nearly Practical Verifiable Computation by Parno, Howell, Gentry and Raykova (https://eprint.iacr.org/2013/279.pdf) * Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structured Reference Strings by Maller, Bowe, Kohlweiss, and Meiklejohn (https://eprint.iacr.org/2019/099) * Perpetual Powers of Tau GitHub (https://github.com/weijiekoh/perpetualpowersoftau) * 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) * Efficient Zero-Knowledge Arguments for Arithmetic Circuits in Discrete Log Setting by Bootle, Cerulli, Chaidos, Groth and Petit (https://eprint.iacr.org/2016/263) * Nova: Recursive Zero-Knowledge Arguments from Folding Schemes by Kothapalli, Setty and Tzialla (https://eprint.iacr.org/2021/370.pdf) * Episode 232: Cutting Edge ZK Research with Mary Maller (https://zeroknowledge.fm/232-2/) * ZK Whiteboard Sessions - Module Six: Lookup Tables for Performance Optimisation (https://www.youtube.com/watch?v=1oLzrbTBlbc) Check out the ZK Jobs Board here: ZK Jobs (https://jobsboard.zeroknowledge.fm/). Anoma's (https://anoma.net/) first fractal instance Namada (https://namada.net/) is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way 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/)

FOLLOW TODAY'S PANELISTS: https://twitter.com/ck_SNARKs https://twitter.com/lisa_hough_ https://twitter.com/Dennis_Porter_

Imran and Qiao bring on Mohamed Fouda to talk L2s.No BS crypto insight for founders.Timestamps(00:00) Intro(00:34) Welcome to Good Game! (00:48) Welcome Mohamed Fouda (03:01) What is a rollup? (08:51) Difference between optimistic rollups and ZK rollups (09:24) Optimistic rollup explained (10:29) ZK rollup explained (11:09) Validium explained (13:21) The different Zero Knowledge proving systems (17:41) Why choose zk-STARK or zk-Snarks? (20:26) What is a trusted setup? (21:25) What is a ZK circuit? 24:24 What happens during a ZK rollup transaction (29:33) Current state of ZK rollups and tradeoffs they're making (32:24) TVL growth of Arbitrum, Optimism, zkSync Era, Polygon zkEVM (38:00) How Solana out-executed its competitors (40:59) What is recursion? (44:34) What is EVM compatibility? (48:14) Comparing L2 fees (50:58) Why Solana is cheaper (53:10) What AllianceDAO is seeing in developer activity (56:13) What is Rollups as a Service? (58:49) How do new founders choose? (1:02:45) What is a sequencer? (1:08:37) What is data availability? (1:14:27) Future vision of ZK rollup specializationMohamed Twitter: @mohamedffoudaGood Game Podcast: A podcast for crypto natives. Find us at goodgamepod.xyz and follow us on Twitter @goodgamepodxyDISCLAIMER: The views expressed herein are personal to the speaker(s) and do not necessarily reflect the views of any other person or entity. Discussions and answers to questions are intended as generalized, non-personalized information. Nothing herein should be construed or relied upon as investment, legal, tax, or other advice.

Please Like, Share, and Subscribe to my channel! Do you want to attend the biggest Bitcoin conference in the world? Well look no further than Bitcoin 2023 in Miami Beach which will take place May 18-20. I've got a deal to help the plebs save 10% on the tickets to stack more sats, use promo code GREENCANDLE in ALL CAPS at checkout or go to this link and help save on your ticket purchase! I look forward to seeing you all there! https://bm.b.tc/greencandle ATTENTION ATTENTION! Check out Codl Co which offers high quality steel punch plates for your seed phrases so you can keep them safe from literally anything you can think of. I've got a very special offer for you all... drum roll please... a 10% discount. Be sure to get all of your punchplate needs at codl.co NOW using promo code greencandle. That is promo code greencandle. Do it. Do it NOW! For the Bitcoin Bay Business Workshop buy tickets here: https://www.eventbrite.com/e/bitcoin-bay-business-workshop-registration-588627449547?utm-campaign=social&utm-content=attendeeshare&utm-medium=discovery&utm-term=listing&utm-source=cp&aff=escb BING BONG. In this episode I am joined by the the CK (@ck_SNARKs on Twitter)! CK works for Bitcoin Magazine who is one of, if not the, top source for Bitcoin news. We'll be diving into current events around Bitcoin and much more! #dedollarization #conference #macro LIKE, SUBSCRIBE, AND SHARE THIS PODCAST Check out CK on Twitter: https://twitter.com/ck_SNARKs Check out CK on nostr: npub1cf3zeytdnwgwzz5pk2ax0vvmmlzad03xcft4d50ejrfhsh8pxcdsefx7gk Check out Bitcoin Magazine: https://bitcoinmagazine.com/ Follow me on Twitter @greencandleit https://twitter.com/Greencandleit Subscribe to my YouTube: https://www.youtube.com/channel/UCdvC14iR8V7MedS7ArKHNCA Subscribe to my newsletter: https://greencandleinvestments.substack.com --- Support this podcast: https://podcasters.spotify.com/pod/show/greencandleit/support

In this episode, Stanford cryptography professor Dan Boneh and a16z General Partner Ali Yahya elevate our knowledge of zero-knowledge proofs and their applications in the blockchain world. Listen as they dive into the intricacies of succinct proof systems, the difference between SNARKs and STARKs, the magic of recursive SNARKs, and why zero-knowledge systems are essential to the evolution of Ethereum. Show highlights: how Ali became a general partner at a16z Crypto and why Dan started working on “the science of blockchains” what a succinct proof system is analogies for understanding zero-knowledge proofs the difference between SNARKs and STARKs and whether centralization can be fully avoided how zero-knowledge technology became so crucial for blockchains the reasons to push computations off-chain and the applications of this technology why zkEVMs are essential to help Ethereum scale why privacy is important not only in financial transactions but also in other areas like social networks and gaming the challenges that arise from trusted setups and whether it would be possible to create false proofs how to mitigate the trusted setup problem with different proof systems what is being built to make zero-knowledge proofs cheaper to create whether a privacy-focused technology can be pursued while staying compliant with regulations how zero-knowledge proofs can improve the security of blockchain bridges Thank you to our sponsors! Crypto.com Halborn Guests: Ali Yahya, general partner at a16z crypto Dan Boneh, professor of computer science and electrical engineering, Stanford University; and senior research advisor, a16z crypto Using ZK Proofs to Fight Disinformation Links Unchained: zkEVM: The Computing Overhaul to Help Scale Ethereum Previous coverage of Unchained on zero-knowledge: Can You Trace Monero? 'It's Hard - But Not Impossible,' Says Nick Bax a16z crypto: Privacy-Protecting Regulatory Solutions Using Zero-Knowledge Proofs: Full Paper zkDocs: Zero-knowledge Information Sharing How the Coming Privacy Layer Will Fix the Broken Web CoinDesk: Polygon Rolls Out Zero-Knowledge, Privacy-Enhanced Identification Product   Learn more about your ad choices. Visit megaphone.fm/adchoices

CK Snarks & Chris Alaimo of Bitcoin Magazine stop by BCB to unpack nostr, ordinals, compounding decentralization, new developments on Bitcoin, and the upcoming Bitcoin 2023 Conference in Miami. BCB Pod DISCLAIMER here Watch VIDEO of this chat on YouTube here SHOW SPONSORS: BITCOIN 2023: promo code “BCB23” for 10% off tickets. May 18-20, 2023. We'll be there! Join us for the world's largest gathering of bitcoiners as we celebrate another year of progress towards hyperbitcoinization. Visit b.tc/conference COINKITE — PROMO CODE “BCB” for discount on ColdCard. Industry leaders in Bitcoin security hardware and fun devices, makers of the COLDCARD and other prominent items including opendime, satscard, tapsigner, the seedplate, coldpower, blockclock mini & blockclock micro. All available at coinkite.com START9 — Sovereign computing. Take back control of your data. Run a Bitcoin & Lightning node. Embassy One: A small uncompromising personal server, capable of running BTC Core. Embassy Pro: The most powerful, secure, and reliable private server in the world. Visit Start9.com SWAN — The place we choose to buy Bitcoin. Dollar cost average daily, weekly or monthly with a company that's Bitcoin only and encourages you to hold your own private keys. Visit Swan.com. For a limited time Swan is offering FREE Swan Premium for 1 year at Swan.com/fire CROWDHEALTH BTC — Use CODE BLUE to get 1st 3 months massively reduced at $99/month. Harness the Power of Bitcoin + Health Care. Join other Bitcoiners on a crowdfunding platform while accumulating Bitcoin in the process. Bitcoin specific crowd joincrowdhealth.com/bitcoin ITEMS MENTIONED  Bitcoin 2023 Conference (Use Code “BCB23” for 10% OFF!!) Cosmic Bitcoin Podcast w/ CK Snarks Bitcoin Information Theory by Aaron Segal Bitcoin 2022 Conference Recap w/ Dan & Josh on Millennial Investing  Why Dumb Networks are Better by Andreas Antonopoulos  BCB087_MATT HILL: Taking Back Digital Sovereignty  OP_VAULT  AnchorWatch ABOUT CK & CHRIS ALAIMO: CK is the General Manager at Bitcoin Magazine. Chris Alaimo is Multimedia Producer at Bitcoin Magazine. SUPPORT THE BCB PODCAST: Podcast 2.0 streaming on our favorite pod app, Fountain: You can earn & stream sats on Lightning Network while listening to pods! Also share and listen to standout clips with the Fountain community. SOCIAL MEDIA Twitter: you can follow us @blue_collarbtc, follow CK Snarks @CK_SNARKs, follow Chris Alaimo @ChrisAlaimo6  Blue Collar Bitcoin on NOSTR: npub1a3hrd4wfawr578d5y5l0qgmh7lx8q6tumfq0h7eymmttt52veexqkcfg37 Video on YouTube. Subscribe Here EMAIL: Send questions or comments to bluecollarbitcoinpodcast@gmail.com

This week, Anna Rose (https://twitter.com/annarrose) and Tarun Chitra (https://twitter.com/tarunchitra) dive back into the topic of ZK ML with guests Yi Sun (https://twitter.com/theyisun), co-founder of Axiom (https://www.axiom.xyz/), and Daniel Kang (https://twitter.com/daniel_d_kang), Assistant Professor of computer science at UIUC (https://cs.illinois.edu/about/people/faculty/ddkang). They discuss Yi and Daniel's previous academic work and what led them to get interested in ZK topics and specifically ZK ML. They then dive into a discussion about 2 recent papers which examine the use of ZK within Machine Learning architectures. Here are some additional links for this episode: Episode 246: Adversarial Machine Learning Research with Florian Tramèr (https://zeroknowledge.fm/246-2/) Trustless Verification of Machine Learning (https://ddkang.github.io/blog/2022/10/18/trustless/) Efficient Verifiable Image Redacting based on zk-SNARKs (https://dl.acm.org/doi/10.1145/3433210.3453110) ZK-IMG: Attested Images via Zero-Knowledge Proofs to Fight Disinformation (https://arxiv.org/abs/2211.04775) Scaling up Trustless DNN Inference with Zero-Knowledge Proofs (https://arxiv.org/abs/2210.08674) Yi Sun's Profile (https://yisun.io/) Daniel Kang's Profile (https://ddkang.github.io/) Apply for ZK Hack Lisbon here: ZK Hack application (https://xng1lsio92y.typeform.com/zkhacklisbon?typeform-source=zkhack.dev) Aleo (https://www.aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. Interested in building private applications? Check out Aleo's programming language called Leo by visiting http://developer.aleo.org (https://developer.aleo.org/getting_started/). You can also participate in Aleo's incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at aleo.org/discord (https://discord.com/invite/aleohq). 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/)

In this week's episode, Anna Rose (https://twitter.com/annarrose) and Kobi Gurkan (https://twitter.com/kobigurk) chat with Carl (https://twitter.com/carlbeek) and Trent (https://twitter.com/trent_vanepps) from the Ethereum Foundation (https://ethereum.org/en/foundation/), covering many topics such as their work on the KZG Ceremony and how this is different from the previous trusted setups we have covered. The group takes a deep dive into trusted setups, discussing what they are for, how they have been run and how the setup is going so far. They also discuss Proto-Danksharding and EIP-4844 - a novel way to organize data logistics for Ethereum. Here are some additional links for this episode: KZG Ceremony (https://ceremony.ethereum.org/) Episode 76: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography (https://zeroknowledge.fm/76-2/) Episode 133: Trusted Setup Ceremonies Explored (https://zeroknowledge.fm/133-2/) Episode 137: Trusted Setup Bonus: Tornado Cash (https://zeroknowledge.fm/137-2/) Proto-Danksharding EIP-4844 (https://www.eip4844.com/) Powers-of-Tau to the People: Decentralizing Setup Ceremonies by Nikolaenko, Ragsdale, Bonneau, Dan Boneh, 2022 (https://eprint.iacr.org/2022/1592) Apply for zkSummit9 here: zkSummit9 Ticket Application (https://9lcje6jbgv1.typeform.com/to/FCoktPh9?typeform-source=www.zksummit.com). Aztec Network (https://aztec.network/) is building a next-generation encrypted blockchain powered by Ethereum (https://ethereum.org/en/). Aztec is now hiring engineers and cryptographers to build an execution layer enabling scale and privacy for crypto applications. Join the team making encrypted Ethereum a reality. Learn more by visiting: aztec.network/careers (https://aztec.network/careers/) Anoma's (https://anoma.net/) first fractal instance, Namada (https://namada.net/), is launching soon! Namada is a proof-of-stake L1 for interchain asset-agnostic privacy. Namada natively interoperates with fast-finality chains via IBC and with Ethereum via a trustless two-way bridge. Visit namada.net (https://namada.net/) for more information and join the community on Discord discord.gg/namada (https://discord.com/invite/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/) * Head to the ZK Community Forum (https://community.zeroknowledge.fm/) * Support our Gitcoin Grant (https://zeroknowledge.fm/gitcoin-grant-329-zkp-2)

This week, Anna (https://twitter.com/annarrose) chats with Justin Thaler (https://mobile.twitter.com/succinctjt), Associate Professor at Georgetown (https://people.cs.georgetown.edu/jthaler/). They cover Justin's academic history and discuss what led him to working on interactive proofs and SNARKs. They also take a look at several other topics such as the Thaler Book Study Group, his earlier work Spartan, comparing the security of different rollups built with SNARKs and STARKs and more. Here are some additional links for this episode: Justin Thaler Georgetown Profile (https://people.cs.georgetown.edu/jthaler/) Proofs, Arguments, and Zero-Knowledge Proofs by Justin Thaler, 2022 (https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf) vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases Paper (https://eprint.iacr.org/2017/1145) Hardware-friendliness of HyperPlonk by Ingonyama (https://www.ingonyama.com/blogs/hardware-friendliness-of-hyperplonk) Proposed milestones for rollups taking off training wheels (https://ethereum-magicians.org/t/proposed-milestones-for-rollups-taking-off-training-wheels/11571) A Graduate Course in Applied Cryptography by Boneh and Shoup, 2023 - Page 617 for elliptic curves over finite fields (http://toc.cryptobook.us/book.pdf) Quarks: Quadruple-efficient transparent zkSNARKs by Setty and Lee (https://eprint.iacr.org/2020/1275.pdf) Brakedown: Linear-time and post-quantum SNARKs for R1CS by Golovnev, Lee, Setty, Thaler and Wahby, 2021 (https://eprint.iacr.org/2021/1043) zkHack Website (https://zkhack.dev/) zkHack Discord (https://discord.com/invite/tHXyEbEqVN) Elliptic Curve Cryptography: A Gentle Introduction to (https://andrea.corbellini.name/2015/05/17/elliptic-curve-cryptography-a-gentle-introduction/) A Graduate Course in Applied Cryptography By Dan Boneh and Victor Shoup (https://toc.cryptobook.us/) Number theory explained from first principles (https://explained-from-first-principles.com/number-theory) The Animated Elliptic Curve (https://curves.xargs.org/) BLS12-381 For The Rest Of Us (https://hackmd.io/@benjaminion/bls12-381) Apply for zkSummit9 here: zkSummit9 Ticket Application (https://9lcje6jbgv1.typeform.com/to/FCoktPh9?typeform-source=www.zksummit.com). Check out ingonyama.com (https://www.ingonyama.com/) to learn more about Zero Knowledge Hardware acceleration. Aleo (https://www.aleo.org/) is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup. Interested in building private applications? Check out Aleo's programming language called Leo by visiting http://developer.aleo.org (https://developer.aleo.org/getting_started/). You can also participate in Aleo's incentivized testnet3 by downloading and running a snarkOS node. No sign-up is necessary to participate. For questions, join their Discord at aleo.org/discord (https://discord.com/invite/aleohq). 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/) * Head to the ZK Community Forum (https://community.zeroknowledge.fm/) * Support our Gitcoin Grant (https://zeroknowledge.fm/gitcoin-grant-329-zkp-2)

Blockchains are immutable record keepers, storing information about every transaction ever recorded. However, this attribute comes at a cost: as more and more transactions occur, so does the size of the record expands. In turn, the hardware requirements for running a node increase which ultimately affects decentralization. Another aspect frequently criticized is how transactions are being processed by legacy blockchains in terms of speed. For both of these aspects there is a cryptographic solution that addresses scalability: zero knowledge proofs (ZKPs). These allow one entity (prover) to prove to another entity (verifier) that a statement is true, without revealing any additional information about the process or data involved. When applied to blockchains, ZKPs improve scalability and privacy by certifying that state transitions occurred, without the need to relay the underlying information.In Part 1 of this 2-part episode, we were joined by Anna Rose, host of Zero Knowledge Podcast and founder of ZK Summit, ZK Validator and ZK Hack, and Kobi Gurkan, Head of Research at Geometry, to discuss the state of the ZK ecosystem and how this promising technology is evolving.Topics covered in this episode:Anna's background & her involvement in the ZK ecosystemKobi's background in cryptographyTrusted setups, a brief history: Plumo & AztecZK Hack(athon)The State of the ZK ecosystemHow the ZK landscape evolved: from SNARKs to STARKsTrade-offs: compatibility, security, performanceAztec & Noir DSLThe need for performance benchmarksZK L1s: Zcash, Mina, AleoEpisode links: Zero Knowledge Podcast on TwitterZero Knowledge Podcast on YouTubeThe paper Kobi mentioned (by Ariel Gabizon)Anna Rose on TwitterKobi Gurkan on TwitterSponsors: Omni: Access all of Web3 in one easy-to-use wallet! Earn and manage assets at once with Omni's built-in staking, yield vaults, bridges, swaps and NFT support.https://omni.app/ -This episode is hosted by Friederike Ernst. Show notes and listening options: epicenter.tv/476

In this week's episode, Anna (https://twitter.com/annarrose) and Josh Cincinnati (https://twitter.com/acityinohio) chat with Matt Green (https://twitter.com/matthew_d_green), a cryptographer and professor at Johns Hopkins University (https://isi.jhu.edu/). They explore Matt's background in security, blockchain and privacy technologies. He shares his thoughts on early ZK blockchain research, the founding of Zcash, growth in the ZK space, how the industry is ready for tangible use-cases and navigating anonymity and regulatory bodies. This episode closes with a review of Matt's perspective on the Tornado Cash sanctions and what this means for the space. Here are some additional links for this episode: * Radiant Commons Website (https://radiantcommons.com/) * Sealance Website (https://www.sealance.io/) * Zerocash: Decentralized Anonymous Payments from Bitcoin by Ben-Sasson, Chiesa, Garman, Green, Miers, Tromer, and Virza, 2014 (http://zerocash-project.org/paper) * An approximate introduction to how zk-SNARKs are possible by Vitalik Buterin (https://vitalik.ca/general/2021/01/26/snarks.html) * Episode 245: Sanctions against Tornado Cash: a Legal Perspective (https://zeroknowledge.fm/245-2/) Join the ZK HACK III - kick off event here (https://hopin.com/events/zk-hack3-1-d5d6ce6b-9a79-496f-9a82-be39ebd22e84) Join the ZK HACK Discord (https://discord.com/invite/tHXyEbEqVN) This week's episode is sponsored by Aave (https://aave.com/). Aave Grants (https://aavegrants.org/) is a community-led grants program, focused on growing a thriving ecosystem of contributors within Aave by funding ideas, projects and events that benefit the protocol or surrounding ecosystem. Aave's latest deployment, V3, was launched on 6 networks and introduces new features like Isolation Mode, Efficiency Mode and Portals. A decentralized, collateral-backed stablecoin native to Aave called GHO has also been announced. Look out for more details on the testnet and release coming soon. Explore the protocol at Aave.com (https://aave.com/) and if you're building in the ecosystem, apply for a grant through aavegrants.org (https://aavegrants.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/) * Head to the ZK Community Forum (https://community.zeroknowledge.fm/) * Support our Gitcoin Grant (https://zeroknowledge.fm/gitcoin-grant-329-zkp-2)

Laptop Radio chats with Rob Viglione (CEO and Co-founder, Horizen Labs) on What do ApeCoin and the Otherside have in common with SNARKs and blockchain interoperability?, --- This episode is sponsored by · Anchor: The easiest way to make a podcast. https://anchor.fm/app

I sat down with Evan Shapiro, the founder of Mina protocol and the current CEO of Mina Foundation, to cover everything from Zero Knowledge SNARKS, privacy, and scaling, to what true decentralization means and how to achieve it. Mina was created by Evan Shapiro and Izaak Meckler in 2017. It is one of the lightest blockchains, just 22 kB. To achieve this result, Mina implemented zk-SNARKS, a cryptography technique that leads to a significant decrease in the computational requirements needed to support a full blockchain network. Evan Shapiro https://twitter.com/evanashapiro Mina https://minaprotocol.com/ ►► Get 20% off on your ticket to W3BX. Use my code: WOLF20. Register here: http://web3expo.live/  ►► JOIN THE FREE WOLF DEN NEWSLETTER https://www.getrevue.co/profile/TheWolfDen  GET UP TO A $8,000 BONUS IN USDT AND TRADE ALL SPOT PAIRS ON BITGET FOR ZERO FEES! ►► https://thewolfofallstreets.info/bitget   TRADE ON THE WORLD'S BEST DEX, BULLISH: ►► https://thewolfofallstreets.info/bullish/youtube  Follow Scott Melker: Twitter: https://twitter.com/scottmelker  Facebook: https://www.facebook.com/wolfofallstreets   Web: https://www.thewolfofallstreets.io  Spotify: https://spoti.fi/30N5FDe  Apple podcast: https://apple.co/3FASB2c  #Mina #ZK #Blockchain The views and opinions expressed here are solely my own and should in no way be interpreted as financial advice. This video was created for entertainment. Every investment and trading move involves risk. You should conduct your own research when making a decision. I am not a financial advisor. Nothing contained in this video constitutes or shall be construed as an offering of financial instruments or as investment advice or recommendations of an investment strategy or whether or not to "Buy," "Sell," or "Hold" an investment.