pmrcunha on Nostr: Remember reading the white paper for Simplicity in 2020 and hearing about coq (a ...

Remember reading the white paper for Simplicity in 2020 and hearing about coq (a formal proof language) for the first time.
Spent some time learning it a bit, and even more time making jokes about the name 😅

Maybe time for a re-read: https://blockstream.com/simplicity.pdf

quoting
note1tsa…zan0

Simplicity might be the last soft fork Bitcoin needs. adam3us (nprofile…zey6) explains this new approach to extensibility, security, and long-term evolution.

https://youtube.com/shorts/Vu8yqvJYoMk