Look! There! Where? co-host @zeroknowledgefm, co-founder @videopath, prev @paritytech, @conference_hunt
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.
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.
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.
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.
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.
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.
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.
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.
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.
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!
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.
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.
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.
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!
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.
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.