"web3 with a16z" is a show about the next generation of the internet, and about how builders and users -- whether artists, coders, creators, developers, companies, organizations, or communities -- now have the ability to not just "read" (web1) + "write" (web2) but "own" (web3) pieces of the internet, unlocking a new wave of creativity and entrepreneurship. Brought to you by a16z crypto, this show is the definitive resource for understanding and going deeper on all things crypto and web3. Fro ...
…
continue reading
Content provided by Corey Petty, Demetrick Ferguson, Jessie Santiago, Corey Petty, Demetrick Ferguson, and Jessie Santiago. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Corey Petty, Demetrick Ferguson, Jessie Santiago, Corey Petty, Demetrick Ferguson, and Jessie Santiago or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
Hashing It Out #44 - Blockstream - Russell O'Connor
MP3•Episode home
Manage episode 232613283 series 2285226
Content provided by Corey Petty, Demetrick Ferguson, Jessie Santiago, Corey Petty, Demetrick Ferguson, and Jessie Santiago. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Corey Petty, Demetrick Ferguson, Jessie Santiago, Corey Petty, Demetrick Ferguson, and Jessie Santiago or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
We bring you another brilliant mind on the show for this episode! Russell O'Connor, developer of Blockstream's Simplicity programming language for Bitcoin, dives deep into formal verification topics. We learn about the language design principles driving Simplicity, how formal verification plays an integral role in making the language suitable for securely automating Bitcoin transactions, and the challenges in creating a smart contract script for Bitcoin. We get a glimpse into the future of blockchain automation, and he elucidates what is being done right and what could be done better in blockchain platforms to place security first in smart contract design.
…
continue reading
179 episodes
MP3•Episode home
Manage episode 232613283 series 2285226
Content provided by Corey Petty, Demetrick Ferguson, Jessie Santiago, Corey Petty, Demetrick Ferguson, and Jessie Santiago. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Corey Petty, Demetrick Ferguson, Jessie Santiago, Corey Petty, Demetrick Ferguson, and Jessie Santiago or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
We bring you another brilliant mind on the show for this episode! Russell O'Connor, developer of Blockstream's Simplicity programming language for Bitcoin, dives deep into formal verification topics. We learn about the language design principles driving Simplicity, how formal verification plays an integral role in making the language suitable for securely automating Bitcoin transactions, and the challenges in creating a smart contract script for Bitcoin. We get a glimpse into the future of blockchain automation, and he elucidates what is being done right and what could be done better in blockchain platforms to place security first in smart contract design.
…
continue reading
179 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.