Zero Knowledge

SummaryIn this week’s episode Anna chats with Ismael Hishon-Rezaizadeh, Founder and CEO at Lagrange Labs and Charalampos (Babis) Papamanthou, Head of Research at Lagrange and Co-Director of the Applied Cryptography Lab at Yale University.They revisit the concepts of zk-powered coprocessors and dive into the work that Charalampos did previous to joining Lagrange on Verifiable SQL. They then explore how this is incorporated into the Lagrange coprocessor system, the work they are doing on Reckle Trees, future work and what all this enables for dApp developers. They discuss their new prover marketplace, the general state of infrastructure and how they are keen to bring more concepts from general computing into decentralized blockchain systems. Here’s some additional links for this episode:13:07 * Protocols for Public Key Cryptosystems by Ralph C. Merkle13:23 * Certificate Revocation and Certificate Update by Naor and Nissim 14:08 * Episode 57: Merklize this! Merkle Trees & Patricia Tries 26:32 * Episode 327: