Nel 2017, Blockstream ha iniziato a sviluppare un linguaggio di smart contract che supera Bitcoin Script e EVM, offrendo maggiore espressività con garanzie di sicurezza più forti. Otto anni dopo, crediamo di esserci riusciti.  Presentiamo Simplicity. 🧵

La semplicità non è come Solidity, o la maggior parte dei linguaggi di programmazione moderni, che sono completi di Turing. Invece, il linguaggio è stato progettato per esprimere qualsiasi funzione finita evitando i rischi associati ai cicli illimitati e allo stato globale.

La semplicità offre agli sviluppatori un'alta fiducia nelle loro applicazioni, permettendo loro di conoscere tutti i potenziali risultati e i costi delle commissioni prima dell'esecuzione. Il recente hack di Bybit illustra i rischi di includere funzionalità come la ricorsione e lo stato globale.

Con l'arrivo di Simplicity, abbiamo per la prima volta una base pulita per applicazioni finanziarie serie, senza la complessità e il mosaico di rischi che hanno caratterizzato l'ultima era della DeFi.

Vuoi costruire covenant, vault e schemi di delega? Ora puoi farlo su @Liquid_BTC. Vuoi creare derivati, portafogli pool o DEX senza token? Anche questo è possibile.

La semplicità su @Liquid_BTC è solo l'inizio. Con il feedback della comunità, l'uso nel mondo reale e più strumenti, documentazione, supporto per portafogli e contratti di esempio, il nostro prossimo obiettivo principale è attivare una rete di test Bitcoin. Inizia oggi.