56 subscribers
با برنامه Player FM !
Mark Miller: Agoric and the Decades-Long Quest for Secure Smart Contracts
Manage episode 232931553 series 1652309
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
611 قسمت
Mark Miller: Agoric and the Decades-Long Quest for Secure Smart Contracts
Epicenter - Learn about Crypto, Blockchain, Ethereum, Bitcoin and Distributed Technologies
Manage episode 232931553 series 1652309
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
611 قسمت
همه قسمت ها
×
1 Dragonfly: The Secrets of a Top-Tier Crypto VC - Haseeb Qureshi 1:29:13

1 Near One: Scaling the Agentic Internet. AI X Crypto - Bowen Wang 1:01:40

1 Stripe: The Stablecoin (R)Evolution - John Egan 1:05:36

1 t1 Protocol: Unifying Ethereum's L2 Liquidity Through Real-Time Proving - Can Kisagun 1:01:41

1 DappCon 25: The Ticker Is $ETH - Jerome de Tychey, Joshua Dávila & Nixorokish 1:12:32

1 Lombard: Unlocking Bitcoin DeFi Through Liquid, Yield-Bearing LBTC - Jacob Phillips 1:11:09

1 ETHPrague: ETH Renaissance - Austin Griffith, Brenda Loya, Joseph Schweitzer, Marek Olszewski 1:00:25

1 Initia: Incentively Aligned Appchains - Ezaan Mangalji, Anil Lulla & Jose Maria Macedo 1:02:08

1 Ethereum Foundation: Humanity’s Shared World Computer - Hsiao-Wei Wang & Tomasz Stańczak 1:10:21

1 Taiko: Scaling Ethereum in a Decentralised Manner - Joaquin Mendes 1:08:05

1 Mysten Labs: How Sui Leverages Move to Build the Composable Web3nternet - Adeniyi Abiodun 1:03:09

1 Tally: The Software Layer for Tokenized Organizations - Dennison Bertram 1:01:21


1 Lido V3: Ushering in Institutional Staking Through stVaults - Hasu 1:19:32


1 Solana: From On-Chain Nasdaq to the Pump Fun Craze - Anatoly Yakovenko 1:18:28

1 Build on Bitcoin: Combining Bitcoin's Security With Ethereum's Versatility - Alexei Zamyatin 1:10:10

1 Puja Ohlhaver: Why Community Currencies Are Crucial for Governance in DeSoc 1:04:42

1 Nevermined: Payment System for the AI Agentic Economy - Don Gossen 1:04:38

1 Turtle Club: Helping Web3 Users Monetize Their On-Chain Activity - Esfandiar Lagevardi 1:09:25


1 Balancer: Custom AMMs and Liquidity Solutions - Fernando Martinelli 1:04:35



1 RedStone: The Oracle Pioneering the Future of DeFi - Marcin Kaźmierczak 1:04:40

1 Privado ID & Quark ID: On-Chain ZK-Powered Unified ID - Diego Fernandez & Evin McMullen 1:06:49

1 Abundance: The First 1 Gigagas/second Stack for Sovereign Rollups - Hilmar Orth 1:09:00

1 Monad: The EVM-Compatible 10,000 TPS L1 Blockchain - Keone Hon 1:10:54


1 Bitcoin OS: Bitcoin Block 853626 Changed Everything For BTC Smart Contracts - Edan Yago 1:10:20

1 Symbiotic: Scaling Shared Security Through Restaking - Misha Putiatin 1:05:36

1 Ari Juels: Can AI Weaponize Blockchain Smart Contracts? - Chainlink 1:04:05


1 Anoma: Solving Cross-Chain Interoperability Through Intents - Adrian Brink 1:05:02

1 Dappnode: Plug-n-Play Decentralization - Eduardo Antuña, Pol Lanski 1:18:46


1 Blockworks: The Future of Crypto = AI, Memecoins and DePIN - Jason Yanowitz Live @Permissionless 59:58

1 Konstantin Lomashuk: '#bitcoin is like a #memecoin' - cyber·Fund 1:06:57

1 Celestia: 1Gb Blocks, Rollup Interoperability & Lazy Bridging. Ismail Khoffi & Mustafa Al-Bassam 1:03:48

1 Numerai & Predictoor: How AI Changed Crypto Prediction Markets - Trent McConaghy & Richard Craib 1:20:36


1 Arcium: Parallelized Confidential Computing Network - Yannik Schrade 1:02:10

1 Polymer: A New Era for Interoperability...on Ethereum! - Bo Du 1:02:19




1 MultiversX: Blockchain Sharding 101 - Lucian Mincu 1:08:49

1 Mel Project: Is Web3 Truly Decentralised? - Eric Tung 1:18:06

1 How Gnosis 3.0 Paves the Way for Mass Adoption - Friederike Ernst 1:10:20


1 ‘Aave v4 Will Unify Cross-Chain Liquidity’ - Stani Kulechov 1:10:48

1 Fabric Ventures' Investment Thesis Since the Dawn of Bitcoin to AI - Richard Muirhead 1:09:24

1 Plurality: How Taiwan Managed to Unite Its People Through Tech - Audrey Tang & Glen Weyl 1:01:32

1 'Ethereum Needs Polygon's Aggregation Layer to Scale' - Brendan Farmer & Sandeep Nailwal 1:05:56

1 EthStaker: Ethereum Staking Wars - Nixorokish & Superphiz 1:02:09

1 PsyDAO: Decentralising Psychedelic Research - Dima Buterin & Paul Kohlhaas 1:21:46
به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.