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.
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 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 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 5th, 2020 | 1 hr 2 mins
cosmos network, cryptography, ibc, interoperability, zero knowledge proofs, zkproofs
In this week’s episode, we catch up with Christopher Goes, IBC Lead at Tendermint. 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 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.
January 29th, 2020 | 50 mins 51 secs
cryptography, fractal protocol, math, recursive snarks, uc berkeley, zero knowledge, zksnarks
This week, we explore the Fractal transparent SNARK construction with its authors Dev Ojha and Nick Spooner - both students of Alessandro Chiesa at UC Berkeley. In this episode, We explore how Fractal works, how it improves on some of the earlier work on Sonic 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.