Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Content provided by Corey Petty, Dee Ferguson, Jessie Santiago, and Christian Noguera. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Corey Petty, Dee Ferguson, Jessie Santiago, and Christian Noguera 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.
Similar to Hashing It Out
The award-winning WIRED UK Podcast with James Temperton and the rest of the team. Listen every week for the an informed and entertaining rundown of latest technology, science, business and culture news. New episodes every Friday.
…
continue reading
Hungry for Technology Talk? Get All You Can Eat at the Android Buffet
…
continue reading
Investor Shayle Kann is asking big questions about how to decarbonize the planet: How cheap can clean energy get? Will artificial intelligence speed up climate solutions? Where is the smart money going into climate technologies? Every week on Catalyst, Shayle explains the world of "climate tech" with prominent experts, investors, researchers, and executives. Produced by Latitude Media.
…
continue reading
Bitcoin groundbreakers share personal stories of how Bitcoin is changing lives for the better. Host Mauricio Di Bartolomeo, co-founder and CSO of Ledn, speaks with leading Bitcoin voices, entrepreneurs, and human rights advocates to hear their unique journey and practical real-world examples of how Bitcoin has made a positive impact in their lives. Brought to you by Ledn, a leading financial services company built for Bitcoin & digital assets. Ledn offers a suite of lending, saving and tradi ...
…
continue reading
A podcast about web design and development.
…
continue reading
Tom Merritt, Sarah Lane and the team help you stay up to date with independent, authoritative and trustworthy tech news. Become a member at https://plus.acast.com/s/dtns. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
Every Friday and Sunday, Slate’s popular daily news podcast What Next brings you TBD, a clear-eyed look into the future. From fake news to fake meat, algorithms to augmented reality, Lizzie O’Leary is your guide to the tech industry and the world it’s creating for us to live in.
…
continue reading
Why do only 10% of companies succeed with AI? In this series by MIT SMR and BCG, we talk to the leaders who've achieved big wins with AI in their companies and learn how they did it. Hear what gets experts from companies like NASA, Shopify, and others excited to do their jobs every day and what they consider the keys to their success.
…
continue reading
Discover a whole new take on Artificial Intelligence with Squirro's educational podcast! Join host Lauren Hawker Zafer, a top voice in Artificial Intelligence on LinkedIn, for insightful chats that unravel the fascinating world of tech innovation, use case exploration and AI knowledge. Dive into candid discussions with accomplished industry experts and established academics. With each episode, you'll expand your grasp of cutting-edge technologies and their incredible impact on society, and y ...
…
continue reading
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
Manage episode 232613283 series 2285226
Content provided by Corey Petty, Dee Ferguson, Jessie Santiago, and Christian Noguera. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Corey Petty, Dee Ferguson, Jessie Santiago, and Christian Noguera 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.
Links
- Simplicity's Github
- Simplicity Publication -- PLAS 2017
- Simplicity presentation -- BPASE 2018 (slides)
- Illustration of formal verification using Simplicity -- Scale by the Bay 2018 (slides)
- Enhancing Bitcoin Transactions with Covenants -- The Financial Crypography 2017 Workshop
- Andrew Appel's Verified Software Toolchain for formal verification of C
- The Coq proof assistant
- Mooly Sagiv's Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems
Logos Press Engine includes Logos Podcast and Hashing It Out. Logos Podcast is a show about building sovereign communities: the people, philosophies, challenges, and solutions.
161 episodes
Share
Manage episode 232613283 series 2285226
Content provided by Corey Petty, Dee Ferguson, Jessie Santiago, and Christian Noguera. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Corey Petty, Dee Ferguson, Jessie Santiago, and Christian Noguera 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.
Links
- Simplicity's Github
- Simplicity Publication -- PLAS 2017
- Simplicity presentation -- BPASE 2018 (slides)
- Illustration of formal verification using Simplicity -- Scale by the Bay 2018 (slides)
- Enhancing Bitcoin Transactions with Covenants -- The Financial Crypography 2017 Workshop
- Andrew Appel's Verified Software Toolchain for formal verification of C
- The Coq proof assistant
- Mooly Sagiv's Modularity for Decidability: Implementing and Semi-Automatically Verifying Distributed Systems
Logos Press Engine includes Logos Podcast and Hashing It Out. Logos Podcast is a show about building sovereign communities: the people, philosophies, challenges, and solutions.
161 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.
Similar to Hashing It Out
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
The award-winning WIRED UK Podcast with James Temperton and the rest of the team. Listen every week for the an informed and entertaining rundown of latest technology, science, business and culture news. New episodes every Friday.
…
continue reading
Hungry for Technology Talk? Get All You Can Eat at the Android Buffet
…
continue reading
Investor Shayle Kann is asking big questions about how to decarbonize the planet: How cheap can clean energy get? Will artificial intelligence speed up climate solutions? Where is the smart money going into climate technologies? Every week on Catalyst, Shayle explains the world of "climate tech" with prominent experts, investors, researchers, and executives. Produced by Latitude Media.
…
continue reading
Bitcoin groundbreakers share personal stories of how Bitcoin is changing lives for the better. Host Mauricio Di Bartolomeo, co-founder and CSO of Ledn, speaks with leading Bitcoin voices, entrepreneurs, and human rights advocates to hear their unique journey and practical real-world examples of how Bitcoin has made a positive impact in their lives. Brought to you by Ledn, a leading financial services company built for Bitcoin & digital assets. Ledn offers a suite of lending, saving and tradi ...
…
continue reading
A podcast about web design and development.
…
continue reading
Tom Merritt, Sarah Lane and the team help you stay up to date with independent, authoritative and trustworthy tech news. Become a member at https://plus.acast.com/s/dtns. Hosted on Acast. See acast.com/privacy for more information.
…
continue reading
Every Friday and Sunday, Slate’s popular daily news podcast What Next brings you TBD, a clear-eyed look into the future. From fake news to fake meat, algorithms to augmented reality, Lizzie O’Leary is your guide to the tech industry and the world it’s creating for us to live in.
…
continue reading
Why do only 10% of companies succeed with AI? In this series by MIT SMR and BCG, we talk to the leaders who've achieved big wins with AI in their companies and learn how they did it. Hear what gets experts from companies like NASA, Shopify, and others excited to do their jobs every day and what they consider the keys to their success.
…
continue reading
Discover a whole new take on Artificial Intelligence with Squirro's educational podcast! Join host Lauren Hawker Zafer, a top voice in Artificial Intelligence on LinkedIn, for insightful chats that unravel the fascinating world of tech innovation, use case exploration and AI knowledge. Dive into candid discussions with accomplished industry experts and established academics. With each episode, you'll expand your grasp of cutting-edge technologies and their incredible impact on society, and y ...
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
