La nuova proposta di BitVM cerca di equiparare le capacità di contratto intelligente di Bitcoin con quelle che possiamo vedere in reti come Ethereum e i derivati Turing Complete.
In un recente post sul social network X, Robin Linus, noto sviluppatore di Bitcoin e protocolli ZeroSync, ha pubblicato un interessante carta in cui annuncia una nuova proposta: BitVM.
Con questo sviluppo, Linus cerca di portare funzionalità di contratto intelligente simili a Ethereum nell'ecosistema Bitcoin, consentendo alla rete Bitcoin di essere in grado di gestire contratti intelligenti avanzati Turing Complete. Questo sviluppo ha il potenziale per rimodellare il panorama della finanza decentralizzata (DeFi) e aprire nuove opportunità di innovazione sulla blockchain di Bitcoin.
Colmare il divario tra Bitcoin ed Ethereum
Bitcoin è la criptovaluta più antica e consolidata del mondo, ma il suo linguaggio di programmazione, Bitcoin Script, è relativamente limitato e manca del supporto per contratti intelligenti complessi. Ethereum, d'altra parte, è una piattaforma blockchain più recente progettata specificamente per supportare i contratti intelligenti. Tuttavia, Ethereum è stato criticato per le sue elevate commissioni di transazione e per i problemi di scalabilità.
BitVM cerca di colmare il divario tra Bitcoin ed Ethereum fornendo un metodo per generare una macchina virtuale che consenta agli sviluppatori di scrivere e distribuire contratti intelligenti, utilizzando la logica NAND (Logical Puts on Top of Bitcoin) e Tapscript, il linguaggio di scripting abilitato da Taproot. . BitVM consentirebbe quindi l'esecuzione dei contratti sulla blockchain di Bitcoin. Tutto questo, senza modificare il protocollo, utilizzando Taproot e le capacità di sicurezza degli UTXO di Bitcoin, per portare questi contratti intelligenti sulla rete Bitcoin. E anche alle sidechain di questa rete, come Lightning Network o Ark, il che significa che l’intero ecosistema potrebbe beneficiare di questo progetto.
Aspetti tecnici di BitVM
Sebbene BitVM sia solo una proposta in fase di sviluppo, non c'è dubbio che abbia il potenziale per essere una piattaforma per contratti intelligenti in Bitcoin. Facendo uso delle capacità di scripting native di Taproot, UTXO e Bitcoin, BitVM non avrebbe bisogno di un soft o hard fork per iniziare la sua costruzione, almeno nelle sue parti più basilari. Stiamo parlando di raggiungere le capacità di contratto intelligente di Ethereum e di superare la sicurezza di questa blockchain (e derivati) grazie all’uso di UTXO e alle capacità native di Bitcoin.
Tuttavia, per ottenere determinate funzioni in modo ottimale, potrebbe essere necessario un soft-fork o un hard-fork completo per includere nuovi codici operativi che aiutano a ottimizzare il funzionamento di BitVM, per essere Turing Complete. Ad esempio, la creazione di un contratto intelligente con BitVM richiederà la creazione di un Taptree (un albero decisionale che utilizza Taproot). Pertanto, possiamo avere da un centinaio di opzioni condizionali (ognuna delle quali attiva un dato output dello smart contract generato) a centinaia di miliardi. Tutto questo a seconda della complessità dello smart contract (Bitcoin è in grado di accettare Taptree con 2^127 foglie). Questo, in effetti, è qualcosa che Linus stesso ha accettato:
E questo è un problema, perché farebbe sì che i contratti occupino enormi quantità di dati nella catena, potendo occupare perfettamente i 4 MB massimi di un blocco in Bitcoin. Non solo, li renderebbe anche lenti e con un enorme sovraccarico computazionale, sia al momento della generazione (è necessario stabilire preimmagini SHA256 per ogni foglia) sia al momento della sua esecuzione/impegno.
Enormi sfide tecniche
Ma la sfida tecnica non finisce qui. BitVM dipende da un sistema a prova di frode, in cui i partecipanti al contratto intelligente devono verificare computazionalmente il rispetto delle condizioni iscritte nel contratto intelligente, tramite commit. A questo scopo, ad esempio, possono essere utilizzati i test zk-SNARKS, che consentono di rendere questi test computazionalmente semplici e molto sicuri. Questi verrebbero fusi in un sistema di test Taproot che verificherebbe l'autenticità dei test forniti e fornirebbe la risposta finale di conseguenza.
Tuttavia, Bitcoin attualmente non dispone di primitive in Bitcoin Script che consentano l'applicazione diretta di zk-SNARK. Rimangono solo due opzioni: includere l'opcode (un hard fork per includere questa funzionalità in Bitcoin) o creare il codice all'interno di Taptree stesso utilizzando Tapscript. Infatti, è necessario risolvere operazioni più semplici come la moltiplicazione, la divisione di numeri in Bitcoin o la generazione di cicli condizionali affinché BitVM possa essere pratico e, soprattutto, efficiente quando si tratta di operare.
Pertanto, la più grande sfida potenziale è quella di risolvere tutti questi problemi, oltre a ciò che potrebbe verificarsi in futuro, incluso il possibile fork del protocollo Bitcoin per ottimizzare Bitcoin per questo sviluppo. Tuttavia, i vantaggi di BitVM sono significativi ed è probabile che la comunità Bitcoin ne supporti l’implementazione. Resta solo da vedere quale sarà la risposta della community e degli sviluppatori, così da poter iniziare a vedere i progressi in questa interessante proposta.
Continua a leggere: Polygon Miden, una soluzione che enfatizza la privacy e la scalabilità per Web3
