Introduzione a Simplicity
Blockstream, lo sviluppatore del protocollo layer-2 di Bitcoin Liquid e guidato dal cypherpunk Adam Back, ha lanciato Simplicity, un nuovo linguaggio di smart contract progettato per Bitcoin. Secondo un annuncio di giovedì condiviso con Cointelegraph, i contratti smart Simplicity saranno integrati in Liquid. L’azienda ha dichiarato che questo passo segna un progresso nella trasformazione di Bitcoin da un sicuro deposito di valore a una base programmabile per la finanza decentralizzata.
Inoltre, Blockstream ha introdotto SimplicityHL, un’implementazione di livello superiore del linguaggio che facilita uno sviluppo più semplice grazie a un’astrazione aumentata. Un rappresentante di Blockstream ha affermato a Cointelegraph che questa versione del linguaggio “è qui e utilizzabile oggi”, con un ambiente di sviluppo integrato basato sul web già disponibile.
Un approccio diverso per un’architettura differente
Simplicity si distingue dal linguaggio Solidity di Ethereum principalmente a causa delle diverse architetture sottostanti delle due blockchain. Questa differenza deriva dagli approcci e dalle architetture differenti delle reti Ethereum e Bitcoin, con Solidity sviluppato per la Ethereum Virtual Machine. Lo stato è l’istantanea concordata dalla rete di tutti i saldi dei conti e dei dati memorizzati in un dato blocco. Bitcoin utilizza l’architettura dell’output di transazione non speso (UTXO), mentre la rete Ethereum impiega uno stato globale.
Questa differenza si riflette nel funzionamento dei contratti smart Simplicity, con un rappresentante di Blockstream che afferma che “non fare affidamento sullo stato globale è un grande cambiamento”. “Ogni bit di stato di cui il tuo contratto ha bisogno deve viaggiare con la transazione.”
I ricercatori di Blockstream hanno sottolineato che gli sviluppatori di Solidity dovranno abbandonare l’abitudine di leggere da variabili accessibili globalmente e invece fornire tutte le informazioni necessarie a ogni passo. In un tale sistema, due contratti smart non possono condividere stato o fare riferimento alle stesse variabili; tutto deve essere esplicitamente passato all’interno delle transazioni.
Tuttavia, i rappresentanti dell’azienda hanno spiegato che questo approccio ha anche un impatto positivo: “Anche se qualcosa va storto, solo la parte specifica del grafo di transazione del tuo contratto è influenzata. È una mentalità diversa rispetto allo stato globale, ma alla fine porta a contratti più sicuri e contenuti per design.”
Gli sviluppatori non potranno nemmeno utilizzare la ricorsione o cicli illimitati, che Blockstream afferma non siano necessari per la logica on-chain.
L’ascesa dei linguaggi di programmazione per smart contract specifici del dominio
Simplicity si unisce a un elenco crescente di linguaggi di programmazione per smart contract specifici del dominio. Noir, un linguaggio di programmazione rilasciato nel 2022 per scrivere e verificare prove a conoscenza zero (ZK-proofs), è stato adottato nel 2023 dagli sviluppatori del prossimo layer-2 di Ethereum incentrato sulla privacy, Aztec. Noir è diventato un linguaggio di programmazione per smart contract specificamente costruito per applicazioni che preservano la privacy e integrano profondamente le ZK-proofs nella loro architettura.
Un altro esempio è Leo, un linguaggio di programmazione per smart contract che crea anche sistemi di ZK-proof con una sintassi strettamente correlata e con la privacy in mente. Vyper di Ethereum è un linguaggio compatibile con EVM progettato per ridurre la superficie di attacco, che ora è utilizzato da alcuni dei principali protocolli di finanza decentralizzata (DeFi) di Ethereum.
