Paulo on Nostr: Came across the simplicity paper in 2020 early in my bitcoin journey. Back then I ...

Came across the simplicity paper in 2020 early in my bitcoin journey. Back then I thought it was an exciting idea, even started learning Coq (the formal verification language they used) because of it.
Curious to revisit it and see what I’ll think about it now.

quoting
note1wlp…fjnd

Recently, after a decade of work, Blockstream finally launched Simplicity on their Liquid federation

It’s the Rust of Bitcoin scripting languages, designed to enable secure smart contracts without the quirks & issues of Ethereum’s Solidity.

But did it launch too late?

Find out more about Simplicity and how it compares with Solidity in my latest podcast episode – featuring Blockstream’s head of research Andrew Poelstra!

https://youtube.com/live/HYqKe_ygqHw