On stage at Lugano Plan B with Aaron van Wirdum, adam3us (nprofile…9k65) made the case for Simplicity as Bitcoin's last soft fork.
One expressive language with formal semantics could raise the security bar for Bitcoin scripts, and open the door to opt-in Confidential Transactions or covenants.
https://youtube.com/shorts/n8vO4miAxHM
