Zero Knowledge

Episode Archive

Episode Archive

130 episodes of Zero Knowledge since the first episode, which aired on October 4th, 2017.

  • Episode 131: Proof of Necessary Work with Akis Kattis (NYU)

    May 27th, 2020  |  59 mins 11 secs
    blockchain, decentralisation, nyu, proof of necessary work, proof of stake, proof of work, snarks

    In this week's episode, Anna and guest host Tarun Chitra chat with Akis Kattis, a PhD student at NYU & the co-author of Proof of Necessary Work: Succinct State Verification with Fairness Guarantees - a paper he co-wrote with Joseph Bonneau. They discuss the challenge of Proof of Useful Work, the unique properties that SNARKs have, such as puzzle hardness, that allow for PoNW to overcome these challenges, PoS SNARK systems, elastic block construction, and more.

  • Episode 130: Exploring Tezos & their recent Sapling integration

    May 20th, 2020  |  1 hr 5 mins
    blockchain, decentralised ecosystem, governance, proof-of-stake, tezos, zero knowledge proofs

    In this week's episode, Anna interviews three people from the Tezos community: Jacob Arluck (co-founders TQ ), Marc Beunardeau and Marco Stronati (both from Nomadic Lab). They chat about the 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.

  • Episode 129: IPFS 0.5 with Molly Mackinlay from Protocol Labs

    May 13th, 2020  |  58 mins 16 secs
    decentralised technology, decentralised web, developer community, ipfs, libp2p, netflix, protocol labs, ux

    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 also chat about the path to decentralisation and the importance of building bridges to the Web2 world.

  • Episode 128: DP-3T & Contact Tracing with Kenny Paterson from ETH Zurich

    May 6th, 2020  |  1 hr 1 min
    contract tracing, covid-19 privacy, cryptography, dp-3t, europe technology, privacy tech

    In this week's episode, Anna catches up with Kenny Paterson, Professor of Computer Science and Lead of Applied Cryptography Group at ETH Zurich. 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.

  • Episode 127: Consensus Algorithms & HotStuff with Ittai Abraham

    April 29th, 2020  |  1 hr 2 mins
    blockchain, consensus, consensus protocols, cryptography, hotstuff, libra, proof of stake, vmware

    In this week's episode, we go deep on Consensus Algorithms and HotStuff with Ittai Abraham from VMware Research. 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 HotStuffs incorporation into Facebook's Libra protocol.

  • Episode 126: Crypto libraries, Zcash's Zebra and contact tracing with Henry de Valence

    April 22nd, 2020  |  1 hr 6 mins
    contact tracing, coronavirus, crypto libraries, cryptography, pandemic, privacy, privacy tech, tcn coalition, zcash

    In this week's episode, we chat with Henry de Valence from the Zcash Foundation. 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, 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.

  • Episode 125: Mixnets and privacy technology with Claudia Diaz from Nym

    April 15th, 2020  |  1 hr 4 mins
    cryptography, european privacy, mixnets, nym, privacy technology, privacy-preserving, zero knowledge

    In this episode, Anna catches up with Claudia Diaz, professor at KU Leuven and the Chief Science Officer at Nym Technology 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.

  • Episode 124: Exploring FHE with Flavio Bergamaschi from IBM Research

    April 8th, 2020  |  1 hr 4 mins
    cryptography, fhe, homomorphic encryption, ibm research, mpc, technology, zero knowledge

    In this episode, we chat with Flavio Bergamaschi from IBM research about his work on 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.

  • Episode 123: Halo with Sean Bowe and Daira Hopwood from ECC

    April 1st, 2020  |  1 hr 8 mins
    ecc, electric coin company, halo, recursive snarks, trusted setup, zcash, zero knowledge

    In this episode, we catch up with Sean Bowe and Daira Hopwood from the Electric Coin Company (ECC) 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.

  • Episode 122: ZKPs, Audits & Security with Benjamin Perez from Trail of Bits

    March 25th, 2020  |  54 mins 2 secs
    blockchain, cryptographic vulnerability, cryptography, security, technical audit, whitepaper, zero knowledge

    In this week's episode, we chat with Benjamin Perez from Trail of Bits about 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!

  • Episode 121: Urbit with Galen Wolf-Pauly from Tlon

    March 18th, 2020  |  1 hr 17 mins
    decentralisation, distributed systems, operating system, peer-to-peer, tech, urbit

    In this episode, we meet with Galen Wolf-Pauly from the Tlon Corporation to discuss the project Urbit. Urbit is an encrypted peer-to-peer network comprised of a deterministic operating system (Urbit OS / Arvo) and a secure, global identity layer (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.

  • Episode 120: ZKPs in Ethereum with Vitalik Buterin & Justin Drake

    March 11th, 2020  |  1 hr 12 mins
    blockchain, eth2.0, ethereum, privacy, research, scaling, tech, zero knowledge proofs

    In this episode, we catch up with Justin Drake and Vitalik Buterin from the Ethereum Foundation 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 layers 1, 1.5 and 2, as well as explore some other emerging applications.

  • Episode 119: Alistair and Jeff from Web3 on ZKPs & more

    March 4th, 2020  |  1 hr 1 min
    cryptography, isogenies, multi-party computation, polkadot, web3 foundation, zero knowledge, zero knowledge proofs

    In this week's episode, we sit down with Alistair Stewart and Jeff Burges, researchers at the 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.

  • Episode 118: Tarun and James talk Flashloans & more

    February 26th, 2020  |  1 hr 10 mins
    blockchain, decentralised finance, defi, ethereum, evm, flashloan, flashloans, near protocol, proof-of-stake

    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!

  • Episode 117: Isogenies with Luca De Feo

    February 19th, 2020  |  1 hr 23 secs
    blockchain, cryptography, isogenies, math, morphisms, tech education, vdfs, verifiable delay functions

    In this week’s episode, we 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, one of the co-inventor of SIDH, helps us get an understanding for what Isogenies - or morphisms of algebraic groups - really are.

  • Episode 116: zkSync and Redshift: Matter Labs update

    February 12th, 2020  |  56 mins 26 secs
    blockchain, ethereum, matter labs, redshift, sidechain, zero knowledge proofs, zkrollup, zksnarks, zksync

    In this week's episode of the podcast, we catch up with Alex Glukowski of Matter Labs to hear about zkSync, 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 their work on this system.