Mark Miller: Agoric and the Decades-Long Quest for Secure Smart Contracts

We were joined by Mark S. Miller, Chief Scientist at Agoric. Mark is a computer scientist who has done ground-breaking work on many topics relevant to blockchain and smart contracts going back decades.

We discussed his visionary 1988 Agoric papers, which explored how markets could be applied to the world of software. We also covered how his view of smart contracts, which focused on secure bilateral agreements complements and converges with blockchain. Finally, we covered his new company Agoric and their conceptualization of higher order smart contracts.

Topics covered in this episode:

Mark's effort to prevent the government from suppressing the discovery of public key cryptography in the 1970s
The legendary project Xanadu and its attempt to create censorship-resistant web publishing
Mark's Agoric papers and the vision of markets for computation
Why AI hasn't changed the shortcomings of central planning
The difference between his view of smart contracts and Nick Szabo's
Their decade-spanning work on making JavaScript the best language for smart contracts
Agoric's work on higher order smart contracting

Episode links:

The Agoric Papers
Computer Security as the Future of Law - YouTube
Capability-based Financial Instruments (2000)
Distributed Electronic Rights in JavaScript – Google AI
Agoric at SF Cryptocurrency Devs - Programming Secure Smart Contracts -

YouTube
The Duality of Smart Contracts and Electronic Rights by Dean Tribble at

Web3 Summit 2018 - YouTube

Sponsors:

Azure: Deploy enterprise-ready consortium blockchain networks that scale in just a few clicks - http://aka.ms/epicenter
Cosmos: Join the most interoperable ecosystem of connected blockchains - http://cosmos.network/epicenter

This episode is hosted by Brian Fabian Crain & Sunny Aggarwal. Show notes and listening options: epicenter.tv/286