Bliss-o-matic

Hash-based SNARKs are becoming central to Ethereum’s post-quantum roadmap, but how secure are they, really? In this episode (part 3 of the @leanEthereum miniseries), @nico_mnbl chats with @GiacomoFenzi and @asanso to examine the theory and security of post-quantum SNARKs. They cover: – The SNARK stack behind LeanVM (multilinear arithmetization + sum-check) – The $1M Proximity Gap Prize and the wave of new research it triggered – How recent results affect security margins for hash-based proof systems – Why Ethereum is moving toward provable security regimes for long-term protocol safety They also explore open problems in coding theory, list decoding, and hash-based proof systems. Listen to the full episode —----- TIMECODES 02:24 – Why Ethereum needs post-quantum SNARKs 03:30 – The LeanVM SNARK stack (multilinear + sum-check) 04:53 – The $1M Proximity Gap Prize 12:04 – The wave of new research papers 12:52 – Johnson bound vs capacity bound 21:24 – New attack analysis on deployed STARKs 27:07 – Why the 128-bit security threshold matters 30:26 – Open research questions in post-quantum SNARKs

S P A C E M O N K E Y S ˄͎ Podcast Building Social Consensus → Polkadot and the Network State feat. @polkadotdom w/ @GldnCalf Show Notes: In this episode of Space Monkeys, Dom, a member of the Polkadot Fellowship, shares his transition from developing hit VR games to diving deep into blockchain. He discusses Polkadot's potential as a decentralized global government, the trade-offs of decentralization, OpenGov's role in consensus building, and challenges like inflation and personhood proofs. Dom offers practical advice on contributing to Polkadot's ecosystem, avoiding common pitfalls in GitHub and forums, and why Polkadot stands out for secure, democratic governance. Whether you're into crypto or network states, this conversation uncovers the future of blockchain coordination. Dive in ↯ 0:00 VR Video Games 5:20 Global Government 8:03 Polkadot Advantage 9:36 Web3 Distraction 11:43 Personhood 15:40 OpenGov Cohesion 19:24 Joining the Fellowship 25:24 Global Marketplace 27:07 AI Fellowship 30:42 Free Agent Mistakes 38:35 Falling from Grace 40:04 Future Outlook

S P A C E M O N K E Y S ˄͎ Podcast Solving Cross-chain? → Sig Network on Polkadot! feat. @DMillarDurrant w/ @GldnCalf Show Notes: David Millar-Durant (@Sig_Network CEO) dropped a wild interop idea at Sub0: give every smart contract its own private key so dApps can natively touch Bitcoin, Ethereum, Solana, Hyperliquid - whatever - without wrappers or sketchy bridges. If you’re tired of blockchain silos, this is the interview to give you hope for that full-interop future. Dive in ↯ 0:00 What is Sig Network 2:26 Virtual Parachains 6:15 Native BTC 7:21 Trust Assumptions 9:58 Selling BTC on the Street 13:12 Deploying on Polkadot 15:59 Bringing Industry to Polkadot 19:58 Roadmap

A must watch to watch on Polkadot from the tech side. Met Pierre at Web3 Summit, great guy! Great at explaining hard topics in an easier language.

🎙️This week @AnnaRRose talks with @ddkang, professor at UIUC and founding technical advisor at VAIL for an update on ZKML, which parts of ML proofs are generated on, and his new project ZKTorch. zeroknowledge.fm/podcast/370/

🎙️This week @AnnaRRose and @nico_mnbl chat with @goblinoats from @TonkLabs and @grjte from @BainCapCrypto about local first architecture. They discuss CRDTs, data sovereignty, sync servers, and how ZK shows up in local-first systems. zeroknowledge.fm/podcast/367

🎙️ This week @AnnaRRose chats with @marek_ and @turboblitzzz from @selfxyz about their work privately verifying identity onchain, selective disclosure proofs, and the challenge of diverse cryptography standards. zeroknowledge.fm/podcast/366