1:09:46
Mark Miller: Agoric and the Decades-Long Quest for Secure Smart Contracts (#286)
Epicenter Podcast
1:12:22
Dan Robinson: Rainbow Network – Off-Chain Synthetics Exchange or “Multicolored Lightning” (#289)
1:25:35
#272 Jameson Lopp: On Being a Professional Cypherpunk
1:07:46
#265 James Prestwich: Summa One – Cross-chain Financial Instruments and Contracts
1:25:33
#258 Monica Quaintance: Kadena – Public and Permissioned Blockchains that Scale
1:10:00
#250 Clement Lessage & Federico Ast: Kleros – Crowdsourced Arbitration for Blockchain Applications
1:04:47
#246 Guy Zyskind: Enigma – Providing Scalable Privacy-Preservation to Smart Contacts
1:28:00
#239 Grigore Rosu: The K framework - a framework to formally define all programming languages
1:11:30
#238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
1:36:34
#234 Charles Hoskinson: Cardano – A Third Generation Smart Contract Blockchain
1:12:08
#224 Jeff Garzik: Metronome – Of Bitcoin Satellites and Built-to-Last Chain-Hopping Tokens
1:04:18
#220 Manuel Araoz: Zeppelin and the Evolution of Smart Contract Development
1:06:19
#214 Christopher Fabian & Shaun Conway: Unicef & Ixo: Towards More Transparent Humanitarian Projects
1:02:18
#212 Adam Perlow & Asher Manning: Zen Protocol - A Decentralized Financial System
1:13:00
#209 Amrit Kumar & Xinshu Dong: Zilliqa – A Scalable Sharded Public Blockchain
1:03:51
Robert Leshner: Compound – An Automated Money Market for Ethereum Tokens (#295)
