Zero Knowledge

Episode 67: Formal Verification with Martin Lundfall

March 6th, 2019  |  1 hr 3 mins

blockchain, formal verification, k-framework, makerdao, tech education

In this week's episode, we sit down with Martin Lundfall (Dapphub, MakerDAO) to discuss formal verification - a topic request that comes directly from the Zero Knowledge audience. We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, and much more.

Episode 60: Cryptography 101: Multi-Party Computations

January 16th, 2019  |  37 mins 7 secs

blockchain, cryptography, fully homomorphic encryption, mpcs, multi party computation, polynomials, shamir's secret sharing, tech education, zksnarks

In this week's episode, Anna and Fredrik give a general introduction to MPCs, go over a few examples of MPCs in action, compare them with other cryptographic concepts, try to pronounce "fully homomorphic encryption" properly, and more!

Episode 57: Merklize this! Merkle Trees & Patricia Tries

December 26th, 2018  |  45 mins 44 secs

blockchain, blockchain 101, data structures, developers, merkle trees, tech education

In this week's episode, Anna and Fredrik dig into the topic of Merkle trees. We discuss the history of the concept, explore different kinds of Merkle trees, and touch on Radix trees & Patricia Merkle tries. We also look a bit at their usage in both Bitcoin and Ethereum.

Episode 55: ETHSingapore in review

December 12th, 2018  |  49 mins 21 secs

ethereum, ethsingapore, hackathon, hackers, tech education

In this week's episode, Anna interviews a number of participants at the ETHSingapore hackathon as part of the ETHGlobal series and tries to get a sense for how these hackers are approaching the space.

Episode 54: Digging into recursive zkSNARKs with Coda

December 5th, 2018  |  52 mins 10 secs

blockchain, coda, cryptography, recursive proof, tech education, zksnarks

In this week's episode, we sit down with Izaak Meckler & Evan Shapiro from O(1) Labs to discuss Coda, a blockchain using recursive composition of zkSNARKs to eliminate history. We discuss recursive zkSNARKs generally, what a recursive zkSNARK construction blockchain would look like, and the challenges in implementing this sophisticated scaling solution.

Episode 51: Exploring Spacemesh with Julian Loss

November 14th, 2018  |  51 mins 28 secs

blockchain, proof-of-spacetime, protocol, spacemesh, tech education

In this episode, we sit down with Julian Loss, a researcher at Spacemesh, to explore DAGs, the Proof-of-Spacetime idea and the Spacemesh project.

Episode 49: Blockchain 101: Cryptoeconomic Primitives and Staking

October 31st, 2018  |  1 hr

blockchain, cryptoeconomics, ethereum, game theory, pos, staking, tech education

In this Blockchain 101 episode, we sit down with Axel Ericsson of Vest to talk about Cryptoeconomic Primitives, incentive models, designing for smart equilibria, and staking.

Episode 44: Blockchain 101: Transaction lifecycle & the mempool

September 26th, 2018  |  57 mins 3 secs

blockchain, ethereum, mempool, tech education, transaction cue, transaction pool

In this episode, we are joined by Tomasz Drwięga from Parity Technologies to discuss the lifecycle of a transaction on the Ethereum network and how the mempool works.

We cover the transaction pool/cue/mempool

Episode 31: Blockchain 101: Blocks & Block Headers

June 27th, 2018  |  36 mins 38 secs

blockchain101, blockheader, intro to blockchain, tech education

In this introductory episode, we discuss what makes up blocks and block headers. We also cover a bit about state vs history, what exactly makes up a transaction and do a tiny intro to a Merkle Tree.

Episode 22: Developer Education in Blockchain

April 26th, 2018  |  52 mins 54 secs

blockchain, blockchain education, e-learning, tech education

In this weeks episode, Fredrik and Anna speak with Elias Haase and Rob Hitchens from B9Lab about how to best introduce developers to the concepts and languages in the blockchain space.