Why Nostr? What is Njump?
2025-01-23 07:19:56

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
Simplicity might be the last soft fork Bitcoin needs. explains this new approach to extensibility, security, and long-term evolution.

https://youtube.com/shorts/Vu8yqvJYoMk
Author Public Key
npub1k2vcw6agtcea54exjfrl07g6acp97k7jhs3f42zu0yy0xlqsequqsjfh9l