DiscoverZero Knowledge
Zero Knowledge
Claim Ownership

Zero Knowledge

Author: Fredrik Harrysson, Anna Rose

Subscribed: 288Played: 7,590
Share

Description

Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. The podcast is made for fellow developers and people looking to educate themselves on the inner workings of the space.
We are non-speculative and focus on the tech.
Zero Knowledge is hosted by Anna Rose and Fredrik Harrysson. Our views do not come from nor represent our companies.
Follow us at @fredhrson (https://twitter.com/fredhrson) & @AnnaRRose (https://twitter.com/AnnaRRose)
If you like the Zero Knowledge Podcast:
Follow us on Twitter (https://twitter.com/zeroknowledgefm)
Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA)
Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast)
Support us on Patreon (https://www.patreon.com/zeroknowledge)
Or directly here:
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
129 Episodes
Reverse
In this week's episode, Anna interviews three people from the Tezos community: Jacob Arluck (https://twitter.com/JacobArluck) (co-founders TQ (https://twitter.com/TQTezos) ), Marc Beunardeau and Marco Stronati (both from Nomadic Labs (https://twitter.com/LabosNomades)). They chat about the Tezos (https://twitter.com/tezos) origin story, the development of the PoS system, the governance of Tezos, and how they are incorporating zk proofs - and specifically Sapling from Zcash - into their system. Here is some additional info related to the interview: Nomadic blog post about the Sapling integration (https://blog.nomadic-labs.com/sapling-integration-in-tezos-tech-preview.html) Tezos implementation of Sapling (https://youtu.be/xjK-27o5WFI) Wired article about early Tezos issues (https://www.wired.com/story/tezos-blockchain-love-story-horror-story/) Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof (https://eprint.iacr.org/2019/1482.pdf) Thank you to this week's sponsor - Trail of Bits (https://www.trailofbits.com/). Trail of Bits has partnered with Johns Hopkins University to supply vulnerability researchers with software that can produce ZK proofs of exploitability. This is part of a larger effort funded by DARPA, called SIEVE (https://www.darpa.mil/attachments/SIEVEProposersDaySlidesv4.pdf), to push forward the state of the art in zero-knowledge proofs. For more info check out their blog! https://blog.trailofbits.com/2020/05/21/reinventing-vulnerability-disclosure-using-zero-knowledge-proofs/. If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this episode, we chat with Molly Mackinlay, Project Lead for the InterPlanetary File System (IPFS) at Protocol Labs. We talk about her journey to Protocol Labs, as well as take a deeper view into IPFS, LibP2P, Bitswap, Testground, the use cases and projects working with these tools, and the specific upgrades they have made with the recent 0.5 IPFS release. We cover: - the importance of distributed testing infra to facilitate enterprise adoption - how UX and simple tooling plays into the developer upgrade path - the path to decentralisation and the importance of building bridges to the Web2 world In preparation for this ep, it might be useful to check out our episode last fall with Juan Benet (https://www.zeroknowledge.fm/106) as well. If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week's episode, Anna catches up with Kenny Paterson (https://appliedcrypto.ethz.ch/people/kenny-paterson.html), Professor of Computer Science and Lead of Applied Cryptography Group at ETH Zurich (https://ethz.ch/en.html). The goal of the episode is to take a deeper look at DP-3T and privacy preserving contact tracing research in Europe generally. They cover his work at ETH Zurich, discuss how the DP-3T project came to be, look at risks facing contact tracing protocols generally, and discuss why putting privacy and decentralisation at the heart of these types of protocol is so important. A few of the topics we cover: * ZKPodcast interview with Claudia Diaz (https://www.zeroknowledge.fm/125) * ZKPodcast interview with Henry de Valence (https://www.zeroknowledge.fm/126) * DP-3T site (https://github.com/DP-3T/documents) * Some early critical analysis of the protocol Here (https://eprint.iacr.org/2020/399.pdf) + Here (https://eprint.iacr.org/2020/418) * Applied Crypto group at ETH Zurich (https://appliedcrypto.ethz.ch/) If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week's episode, we go deep into Consensus Algorithms and HotStuff (https://developers.libra.org/docs/crates/consensus) with Ittai Abraham (https://twitter.com/ittaia) from VMware Research (https://research.vmware.com/). We chat about the evolution of consensus algorithms, BFT, and how these early ideas have become the backbone of blockchain tech. We cover PBFT, Tendermint and Ittai's research into SBFT, HotStuff, and the improvements he has been working on since HotStuff's incorporation into Facebook's Libra protocol. The papers and references we mention: * Early zkpodcast episode on consensus with Robert Habermeier (https://www.zeroknowledge.fm/15) * PBFT (Castro and Liskov) (http://pmg.csail.mit.edu/papers/osdi99.pdf) (see project here (http://www.pmg.csail.mit.edu/bft/)) * BASE (Castro, Rodrigues, and Liskov) (http://cygnus-x1.cs.duke.edu/courses/cps210/spring06/papers/base.pdf) (the forgotten companion of PBFT that suggests a clean State Machine abstraction) * Consensus in the Presence of Partial Synchrony (Dwork, Lynch Stockmeyer) (https://groups.csail.mit.edu/tds/papers/Lynch/jacm88.pdf) * Consensus in the Presence of Partial Synchrony (Dwork, Lynch Stockmeyer) (https://groups.csail.mit.edu/tds/papers/Lynch/jacm88.pdf) (this paper won the 2007 Dijkstra award) (https://www.microsoft.com/en-us/research/blog/microsoft-researchs-dwork-wins-2007-dijkstra-prize/) * Multiple leader BFT (Katz and Koo) (https://eprint.iacr.org/2006/065.pdf) Some of Ittai's work: * SBFT (with Golan, Grossman, Malkhi, Pinkas, Reiter, Seredinschi, Tamir, and Tomescu) (https://arxiv.org/pdf/1804.01626.pdf) * Hotstuff (with Yin, Malkhi, Reiter, and Golan) (https://arxiv.org/pdf/1803.05069.pdf) * Asynchronous BFT (with Malkhi and Spiegelman) (https://arxiv.org/pdf/1811.01332.pdf) * Sync Hotstuff (with Malkhi, Nayak, Ren, and Yin) (https://eprint.iacr.org/2019/270.pdf) * Optimal Good-case Latency for Byzantine Broadcast and State Machine Replication (with Nayak, Ren, and Xiang) (https://arxiv.org/abs/2003.13155) new! * On the Optimality of Optimistic Responsiveness (with Nayak ,Ren, and Shrestha) (https://eprint.iacr.org/2020/458.pdf) new! Ittai's group blog on cryptography and consensus: Decentralized Thoughts blog (https://decentralizedthoughts.github.io/) We also mention: * Tendermint (https://atrium.lib.uoguelph.ca/xmlui/bitstream/handle/10214/9769/Buchman_Ethan_201606_MAsc.pdf?sequence=7&isAllowed=y) (from 2016 not 2014) * Casper FFG (https://arxiv.org/pdf/1710.09437.pdf) * Thunderella (https://eprint.iacr.org/2017/913.pdf) * The AVA consensus (https://arxiv.org/pdf/1906.08936.pdf) Thank you to this week's sponsor Matter Labs (https://twitter.com/the_matter_labs). Matter Labs, the creator of the first zkRollup prototype, is also the team behind zkSync: a user-centric Ethereum scaling solution, secured by zero-knowledge proofs. zkSync testnet is live! You are welcome to try out its simple and intuitive user interface at zksync.io (https://zksync.io/). If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week's episode, we chat with Henry de Valence (https://twitter.com/hdevalence/) from the Zcash Foundation (https://www.zfnd.org/). We discuss what makes for a strong crypto library, some of the work he has been doing at the ZF and he shares an update about the Zebra Zcash client. We also learn about the TCN Coalition (https://github.com/TCNCoalition/TCN), a group he is working with that aims to build and evaluate privacy-preserving contact tracing protocols - an important tool in the fight against the coronavirus pandemic. Here are some useful links about things we discussed: The Zcash Foundation's 2020 Q1 Report (https://www.zfnd.org/blog/q1-report-2020/) Cosmos Zcash Pegzone research (https://github.com/ZcashFoundation/zcash-pegzone) Desired characteristics and assumptions of a contact tracing system (https://github.com/TCNCoalition/TCN/blob/main/README.md#ideal-functionality-and-trust-assumptions-in-contact-tracing-systems) DP3T protocol (https://github.com/DP-3T/documents) Thank you to this week's sponsor Trail of Bits (https://trailofbits.com) In a recent blog post, ToB announced some important updates to Echidna, their smart contract fuzzer. Echidna is one of the tools that the team at Trail of Bits uses the most in their smart contract audits - it has been used in almost 35% of their smart contract audits over the past two years. Including the audits they did for MakerDAO, 0x, and Balancer. In this update to the fuzzer, they have streamlined integration with complex Truffle projects and the tool now support smart contracts written in Vyper. Thay have also removed the need to write Echidna-specific tests and can automatically fuzz assert statements in Solidity. For more about all these new features check out the blog all about it here: https://blog.trailofbits.com/2020/03/30/an-echidna-for-all-seasons/ Thanks again Trail of Bits (https://trailofbits.com). If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this episode, Anna catches up with Claudia Diaz, professor at KU Leuven (https://www.kuleuven.be/english/) and the Chief Science Officer at Nym Technology (https://nymtech.net/) to learn about mixnets, the history of privacy technology and how there may be some opportunities for new privacy tech to emerge in this post-pandemic world. Here is the contact tracing project that Claudia highlights in the episode: Pan-European Privacy-Preserving Proximity Tracing (https://www.pepp-pt.org/) Analysis of DP3T (https://eprint.iacr.org/2020/399.pdf) A big thank you to this week's sponsor Aztec (https://www.aztecprotocol.com/)! Aztec makes private transactions easy for developers via its Privacy SDK, which removes the complexities of ZK proofs and note management. With Aztec network, you can build custom private assets as well as shields for ERC-20s. The team is now developing the ZK² Rollup, upgrade for this network, which adds ID privacy and improves throughput. Here is a blog post about it (https://medium.com/aztec-protocol/aztec-fast-privacy-with-zk%C2%B2-rollup-7c742f45457). Learn more at aztecprotocol.com or email hello@aztecprotocol.com for API keys. You can also find them on Twitter (https://twitter.com/aztecprotocol) or Telegram (t.me/aztecprotocol). If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this episode, we chat with Flavio Bergamaschi from IBM research about Fully Homomorphic Encryption (FHE). FHE allows for computation on encrypted data. First developed in 2009 at IBM, this tech has long been the considered only theoretically possible. However, as we learn in the interview, there have been strides made in the last few years and we are starting to see FHE technology being used in some real world applications. In this interview, we discuss the origin of the technology, what it is, how it can be combined with other cryptographic techniques such as MPC and ZKPs, and applications for FHE technology being explored today. Here are some relevant links: IBM's Open Source Homomorphic Encryption Library (HElib) v1.0.0 (https://github.com/homenc/HElib/releases) Towards a Homomorphic Machine Learning Big Data Pipeline for the Financial Services Sector (https://eprint.iacr.org/2019/1113.pdf) Homomorphic Training of 30,000 Logistic Regression Models (https://eprint.iacr.org/2019/425.pdf) Homomorphically Securing AI at the Edge (https://doi.org/10.1145/3363347.3363361) Article on IBM's FHE work with a Brazilian bank (https://medium.com/@IBMResearch/top-brazilian-bank-pilots-privacy-encryption-quantum-computers-cant-break-92ed2695bf14) Episode 63: Proxy re-encryption and FHE with NuCypher (https://www.zeroknowledge.fm/63) Nigel Smart on Multi-Party Computation: From Theory to Practice (https://www.youtube.com/watch?v=LRAN_w1_qmw) If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this episode, we catch up with Sean Bowe (https://twitter.com/ebfull) and Daira Hopwood (https://twitter.com/feministPLT) from the Electric Coin Company (https://electriccoin.co/) to chat about Halo, a recursive proof composition that doesn't require a trusted setup. We cover the efficiency techniques used in Halo such as "nested amortization", how the protocol was developed, what some of the key findings are, and how it fits in with the other recent SNARK-based protocols. We touch on the following material: Sean Bowe on SNARKs, Trusted Setups & Elliptic Curve Cryptography (https://www.zeroknowledge.fm/76) https://github.com/daira/tweedle Halo whitepaper (https://eprint.iacr.org/2019/1021.pdf) Endomorphism (https://en.wikipedia.org/wiki/Endomorphism) Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs (https://www.zeroknowledge.fm/113) Exploring the Fractal transparent SNARK construction (https://www.zeroknowledge.fm/114) If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week's episode, we chat with Benjamin Perez (https://twitter.com/blperez_) from Trail of Bits (https://blog.trailofbits.com/) about zero knowledge proof systems and security. We touch on the evolution of the crypto tech auditing business, the new challenges that emerge in zero knowledge proof systems regarding security, some of the recent bugs and vulnerabilities found in zkp systems and more! Here is our previous episode on this topic with JP of Trail of Bits (https://www.zeroknowledge.fm/16) Here is some background on the zkp vulnerabilities mentioned. An Empirical Analysis of Anonymity in Zcash (https://www.usenix.org/system/files/conference/usenixsecurity18/sec18-kappos.pdf) Remote Side-Channel Attacks on Anonymous Transactions (https://eprint.iacr.org/2020/220.pdf) If you want to join the zkSummit 5 online event, happening on Marcch 31st at 7 am PST, 10am EST, 4pm CET, please buy a ticket for the crowdcast here: https://www.crowdcast.io/e/zksummit Hope to see you there! If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this episode, we meet with Galen Wolf-Pauly (https://www.linkedin.com/in/galenwolfepauly) from the Tlon Corporation (https://tlon.io/) to discuss the project Urbit. Urbit is an encrypted peer-to-peer network comprised of a deterministic operating system (Urbit OS (https://urbit.org/understanding-urbit/urbit-os/) / Arvo) and a secure, global identity layer (Urbit ID (https://urbit.org/understanding-urbit/urbit-id/) / Azimuth). The Urbit contributors have created new stack, built from the ground up as an integrated system with a focus on user experience. It also describes itself as a personal server built from scratch. For some additional links about the project, have a look here: https://urbit.org/faq/ https://urbit.org/blog/urbit-and-the-blockchain/ https://urbit.org/blog/urbit-for-normies/ If you are interested in participanting in the now ONLINE version of the zkSummit - Sign up directly here: https://www.crowdcast.io/e/zksummit You will then receive a link to an updated ticket page shortly. If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this episode, we catch up with Justin Drake (https://twitter.com/drakefjustin) and Vitalik Buterin (https://twitter.com/VitalikButerin) from the Ethereum Foundation (https://twitter.com/ethereum) to chat about how zero knowledge proof systems are being used throughout the Eth1x and Eth2.0 stacks. We look at their applications for privacy and scalability throughout layer 1, layer 1.5 and layer 2, as well as explore some other emerging applications. Here were some of the articles and ideas discussed: 5 ways to optimise zkps: * Remove the need for FFTs * Sparseness * Recursion * Custom gates * Hardware Jacobian groups https://eprint.iacr.org/2020/196.pdf Trilinear maps https://arxiv.org/abs/2002.07923 Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch up with us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKP Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week’s episode, we sit down with Alistair Stewart and Jeff Burges, researchers at the Web3 Foundation (https://web3.foundation/), to dig into what they are working on, what they are thinking about at the moment, and how zero knowledge proofs can be used throughout the Polkadot ecosystem. Here are some links and ressources to check out: * Gavin Wood episode (https://www.zeroknowledge.fm/46) * Rob Habermeier episode (https://www.zeroknowledge.fm/83) * The Moral Character of Cryptographic Work (https://web.cs.ucdavis.edu/~rogaway/papers/moral-fn.pdf) * Daniel Bernstein on Twitter (https://twitter.com/hashbreaker) * Isogenies VDF (https://eprint.iacr.org/2019/166.pdf) * Axolotl Ratchet (https://en.m.wikipedia.org/wiki/Double_Ratchet_Algorithm) Thank you to this week's sponsor Trail of Bits (https://trailofbits.com) Check out the blog post describing how Manticore could have discovered the ENS bug here: https://blog.trailofbits.com/2020/03/03/manticore-discovers-the-ens-bug/ Thanks again Trail of Bits (https://trailofbits.com). If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week's episode, we catch up with our friends Tarun Chitra and James Prestwich at the Stanford Blockchain Conference. We chat about the Flashloan phenomenon & the recent arbitrage 'exploit'. We also catch up about the known challenges facing PoS systems, what EVM support means on other chains & more! Catch our previous episodes with Tarun and James here: https://www.zeroknowledge.fm/99 https://www.zeroknowledge.fm/61 https://www.zeroknowledge.fm/34 The tweet that Anna quotes in the episode is here -> https://twitter.com/bneiluj/status/1228757175595438080 If you want to join the zkSummit, happening on March 31st, Berlin, do get your application in here: https://forms.gle/WDhUCmowAEk2ymYa7 Thanks to this week's sponsor Nucypher (https://www.nucypher.com/)! Nucypher is currently looking for an engineering lead to work on a new open-source cryptosystem for privacy-preserving smart contracts. This is a new product and so you will get to work on some cool primitives like fully homomorphic encryption and zero knowledge proofs. For more about lead engineer role, check out the ad here: https://news.ycombinator.com/item?id=21693548 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week’s episode, we take the podcast in a slightly different direction and dive into Isogenies - a topic at the cutting edge of cryptography. We look at how they are related to VDFs and randomness generation. Our guest, Luca de Feo (http://defeo.lu/), one of the co-inventor of SIDH, helps us get an understanding for what Isogenies - or morphisms of algebraic groups - really are. Here are some useful links to check out: https://sike.org/ https://isogeny.org/ https://vdfresearch.org/ Some visualizations: https://isogenies.enricflorit.com/ Some blog posts: https://blog.intothesymmetry.com/2019/07/on-isogenies-verifiable-delay-functions.html https://www.esat.kuleuven.be/cosic/asiacrypt19-verifiable-delay-functions-from-supersingular-isogenies-and-pairings/ https://www.esat.kuleuven.be/cosic/elliptic-curves-are-quantum-dead-long-live-elliptic-curves/ https://www.esat.kuleuven.be/cosic/csidh-post-quantum-key-exchange-using-isogeny-based-group-actions/ https://www.esat.kuleuven.be/cosic/csi-fish-a-new-record-class-group-computation-and-fast-isogeny-based-signatures/ Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch up with us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKP Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week's episode of the podcast, we catch up with Alex Glukowski (https://twitter.com/gluk64) of Matter Labs (https://twitter.com/the_matter_labs) to hear about zkSync (https://zksync.io/#overview), the latest iteration of their zkRollup implementation built to be a scaling and privacy engine for Ethereum. We also touch on the Redshift protocol, a new transparent zkSNARK system that emerged as a result of work on this system. Here are a few links that we mention: Previous episode on Matter Labs (https://www.zeroknowledge.fm/72) ZkSync and Redshift (https://medium.com/matter-labs/introducing-zk-sync-the-missing-link-to-mass-adoption-of-ethereum-14c9cea83f58) REDSHIFT: Transparent SNARKs from List Polynomial Commitment IOPs (https://eprint.iacr.org/2019/1400.pdf) Hotstuff paper (https://www.cs.unc.edu/~reiter/papers/2019/PODC.pdf) Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch up with us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKP Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week’s episode, we catch up with Christopher Goes, (https://twitter.com/cwgoes) IBC Lead at Tendermint (https://twitter.com/tendermint_team). We learn a bit more about the Cosmos Network ecosystem and his work on IBC. We then focus in on how he is thinking about zero knowledge proofs in the context of IBC like-interoperability constructions. We explore some of the ways in which zkps could be incorporated into different schemes for interoperability - including bridging, lightclient constructions, validity proofs and more. We mention the following episodes on Cosmos: Light Clients and ZKPs with Celo (https://www.zeroknowledge.fm/93) Diving into Cosmos with Sunny (https://www.zeroknowledge.fm/78) Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch up with us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKP Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
This week, we explore the Fractal transparent SNARK construction with its authors Dev Ojha (https://twitter.com/valardragon) and Nick Spooner (https://people.eecs.berkeley.edu/~spooner/) - both students of Alessandro Chiesa (https://people.eecs.berkeley.edu/~alexch/) at UC Berkeley. We explore how Fractal works, how it improves on some of the earlier work on Sonic (https://www.youtube.com/watch?v=oTRAg6Km1os) and Marlin, how it borrows from but differentiates itself from STARKs, as well as what they discovered while working on this paper about recursive SNARKs and what makes that property possible. Here is some of the material we touch on: Fractal Paper (https://eprint.iacr.org/2019/1076.pdf) Ariel Gabizon's episode (https://zeroknowledge/82) Eli Ben-sasson's episode (https://www.zeroknowledge.fm/96) Marlin Paper (https://eprint.iacr.org/2019/1047.pdf) Digging into recursive snarks (https://www.zeroknowledge.fm/54) Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs (https://www.zeroknowledge.fm/113) Thank you to this week's sponsor Trail of Bits (https://trailofbits.com) Just recently, a critical vulnerability was found in the certificate validation functionality on Windows 10 and Windows Server 2016/2019 This bug allows attackers to break the validation of trust in a wide variety of contexts, such as HTTPS and code signing - Trail of Bits has developed a PoC exploit and put up a website Whose Curve is it Anyway (https://whosecurve.com/) that let's users test whether or not they are vulnerable. To learn more about this vulnerability and the Trail of Bits exploit, please check out this recent blog post entitled: Exploiting the Windows CryptoAPI Vulnerability (https://blog.trailofbits.com/2020/01/16/exploiting-the-windows-cryptoapi-vulnerability/). Also keep an eye on the ToB blog for security news and explanation pieces like this one. Thanks again Trail of Bits If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week’s episode, we catch up with Izaak Meckler from 0(1) Labs to talk about launching a recursive snark based incentivised test net, a recap of recursive SNARKs, updates on the working SNARKitecture, and a look at what's next for the project. We also touch on some new use-cases and ideas for how zkps may be a component in making computer programmes potentially more accountable to their users. Please listen to our earlier episode with Izaak and Evan (https://www.zeroknowledge.fm/54) to get a full picture of 0(1)Labs and the Coda project Here are a few of the other projects we mentioned! ZEXE (https://www.zeroknowledge.fm/85) Marlin (https://eprint.iacr.org/2019/1047.pdf) Fractal (https://eprint.iacr.org/2019/1076.pdf) Notes from the SNARKoconomicon (https://youtu.be/0u0XNfK8AJM) at the zkSummit Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch up with us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKP Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week’s episode, we learn more about Plonk (https://eprint.iacr.org/2019/953) with Ariel Gabizon (https://twitter.com/relgabizon) and Zac Williamson (https://twitter.com/Zac_Aztec) from Aztec (https://twitter.com/aztecprotocol). PLONK is a recent highly efficient, universal SNARK construction. We explore what distinguishes Plonk from some other other new constructions including their focus on Lagrange-bases to deconstruct complex problem statements into simple polynomial identities. This episode goes very deep and so we do recommend you check out a few of previous episodes to help you follow along! All mentioned can be found here along with the other deep zk-topic episodes: https://www.zeroknowledge.fm/zkseries Here is Justin Drake Polynomial commitment schemes (https://www.youtube.com/watch?v=bz16BURH_u8) study club video, as well as videos from the zkSummit on Marlin (https://youtu.be/bJDLf8KLdL0) and Supersonics (https://www.youtube.com/watch?v=nJPS_SWoplI) Ariel also mentions the Bayer groth permutation argument (www0.cs.ucl.ac.uk/staff/J.Groth/MinimalShuffle.pdf) which influenced their work. Thanks to this week's sponsor Nucypher (https://twitter.com/NuCypher)! On January 20th, NuCypher's incentivized testnet is launching on Coinlist. This incentivised testnet has the motto "Come and Stake It”! If you are interested, be sure to pre-register now (https://tsm.coinlist.co/nucypher-incentivized-testnet-terms-and-conditions/). Keep an eye on their blog (https://blog.nucypher.com/) for launch date, structure, and prize details. All winners will need to complete KYC/AML. Please go to nucypher.com (nucypher.com) to sign up. Thanks again Nucypher for sponsoring our show! If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKPatreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
In this week’s episode, we chat with the Roman Storm (https://twitter.com/rstormsf) and Roman Semanov (https://twitter.com/semenov_roman_) from Tornado.cash all about mixers. We explore what they are used for and how they work, how Zero Knowledge can be incorporated to provide more privacy, what the challenges are and what the future holds for the Tornado.Cash project. Here are some episodes or resources we mention: https://tornado.cash/ https://medium.com/@tornado.cash/tornado-cash-version-2-has-been-released-8c739d3706df https://github.com/tornadocash https://www.zeroknowledge.fm/50 (Episode with Zooko) Give the Zero Knowledge Podcast some feedback. Whether you are a long-time listener or new to the show, we would love to hear from you! Please share your feedback with us here: https://forms.gle/LtQQyKJV6r7LrSND7 If you like what we do: Follow us on Twitter - @zeroknowledgefm (https://twitter.com/zeroknowledgefm) Join us on Telegram (https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA) Catch up with us on Youtube (https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g) Support our Gitcoin Grant (https://gitcoin.co/grants/329/zero-knowledge-podcast-2) Support us on the ZKP Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ
loading
Comments (2)

Adam Malin

It's shocking to me how little people are aware of the Sia Network as a decentralized cloud storage provider. It's working right now and it's awesome!

Dec 13th
Reply

Jiasun Li

honey badger being fully asynchronous: how to reconcile with Fischer Lynch Patterson?

May 25th
Reply
Download from Google Play
Download from App Store