In un annuncio che riaccende l'eterno dibattito su quanto Bitcoin possa (o debba) estendersi oltre il suo obiettivo originale, Input Output (IO), la società di ricerca e ingegneria dietro Cardano, ha svelato una pipeline di compilazione che esegue gli smart contract di Cardano su Bitcoin senza toccare una riga del codice di consenso di Bitcoin.
"Una nuova pipeline di compilazione in fase di sviluppo presso Input | Output prende uno smart contract Cardano, scritto utilizzando un linguaggio moderno come Python, TypeScript o Scala, e lo esegue su Bitcoin senza modificare Bitcoin stesso", ha scritto l'azienda su X nella tarda serata di martedì, allegando un thread tecnico di sei post che descriveva il processo in dettaglio.
Bitcoin ottiene i contratti intelligenti Cardano
Il thread descrive un flusso di rappresentazioni che inizia con il codice sorgente di alto livello e termina all'interno di Bitcoin Script. Innanzitutto, la toolchain di Cardano trasferisce il contratto in Untyped Plutus Core (UPLC), un bytecode funzionale ridotto. UPLC viene quindi serializzato e passato a un interprete in miniatura noto come macchina Control–Environment–Continuation (CEK). Invece di chiedere a Bitcoin di interpretare UPLC direttamente, IO compila la macchina CEK stessa in RISC-V, "un set di istruzioni CPU semplice e reale". Il programma RISC-V risultante diventa il payload che Bitcoin verifica in ultima analisi, con l'UPLC serializzato che gli viene passato in fase di esecuzione.
Un post di blog correlato, firmato dall'ingegnere informatico Riley Kilgore, riassume il progetto in una sola frase: "Combinando un formato di smart contract serializzato (Untyped Plutus Core – UPLC), un'architettura di interprete intelligente (la macchina CEK) e un'architettura open source a set di istruzioni ridotto (RISC-V) ampiamente supportata, IO sta trasformando quell'idea in realtà". Poiché il codice RISC-V è deterministico e la sua traccia di esecuzione può essere dimostrata, o contestata, all'interno di Bitcoin Script, non è necessario alcun soft-fork. Bitcoin rimane invariato; l'espressività viene trasferita a una CPU virtuale ausiliaria il cui comportamento può essere messo in discussione passo dopo passo.
L'ancora di sicurezza per queste sfide è BitVMX, un discendente della proposta BitVM di Robin Linus del 2023 per il "calcolo contestabile" su Bitcoin. La dichiarazione della redazione di IO definisce BitVMX un "protocollo innovativo, a fiducia minimizzata" che "opera secondo un modello di operatore onesto 1 su n" e consente agli sviluppatori di "pagare le commissioni di transazione in BTC direttamente dal loro portafoglio preferito". BitVMX eredita lo stile ottimistico di roll-up di BitVM – esecuzione off-chain, antifrode on-chain – ma sostituisce i circuiti personalizzati di BitVM con un core RISC-V completo, consentendo la compilazione di binari non modificati tramite toolchain standard.
La promessa è di integrare l'ecosistema di smart contract di Cardano basato su eUTxO – Marlowe, Aiken e gli altri – nell'ampio bacino di liquidità di Bitcoin. In termini pratici, ciò potrebbe significare prestiti, swap e persino prestiti garantiti da NFT e garantiti da BTC, il tutto senza affidare il controllo di custodia a una sidechain.
Per i puristi di Bitcoin, la mossa è al tempo stesso familiare e controversa. Nel 2021, Taproot ha ampliato Script con firme Schnorr e spese di key-path, offrendo alla rete un primo assaggio della complessa logica degli smart contract, mentre BitVM nel 2023 ha dimostrato che i nodi Bitcoin potevano verificare calcoli arbitrari anziché eseguirli. La pipeline di IO spinge ulteriormente queste idee, ma lo fa in modo da mantenere inalterato il livello di base, un criterio di progettazione che gli autori di BitVM hanno definito non negoziabile per il contratto sociale di Bitcoin.
Il flusso di compilazione è ancora in fase di sviluppo attivo; IO non ha ancora definito una data di lancio sulla rete principale, né ha pubblicato benchmark sui costi del gas per contratti tipici. Ciò che ha fatto è dimostrare un ponte teoricamente completo tra due blockchain filosoficamente divergenti. Se gli ostacoli ingegneristici – dimensioni delle transazioni, latenza delle controversie e frizioni nell'esperienza utente – potranno essere contenuti, lo stack software di Cardano potrebbe presto diventare un cittadino di prima classe su Bitcoin.
Al momento della stampa, l'ADA era quotata a 0,87 dollari.
