Fredrik Harrysson
Co-Host of Zero Knowledge
Programmer, Gamer, Hiker, Traveller
Blog: http://medium.com/@folsen
Core Developer @ParityTech
Fredrik Harrysson has hosted 122 Episodes.
-
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 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.
-
Episode 115: Cosmos, IBC and ZKPs with Chris Goes
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.