{"id":3073,"date":"2025-04-11T13:34:44","date_gmt":"2025-04-11T13:34:44","guid":{"rendered":"https:\/\/satoshibrother.com\/it\/starkware-e-listituto-weizmann-collidervm-per-smart-contract-complessi-su-bitcoin\/"},"modified":"2025-04-11T13:34:44","modified_gmt":"2025-04-11T13:34:44","slug":"starkware-e-listituto-weizmann-collidervm-per-smart-contract-complessi-su-bitcoin","status":"publish","type":"post","link":"https:\/\/satoshibrother.com\/it\/starkware-e-listituto-weizmann-collidervm-per-smart-contract-complessi-su-bitcoin\/","title":{"rendered":"StarkWare e l&#8217;Istituto Weizmann: ColliderVM per Smart Contract Complessi su Bitcoin"},"content":{"rendered":"<h2>Introduzione a ColliderVM<\/h2>\n<p><strong>StarkWare<\/strong>, sviluppatore di sidechain, e i ricercatori dell&#8217;<strong>Istituto Weizmann di Scienza<\/strong> hanno presentato una soluzione innovativa per affrontare le limitazioni degli <em>script Bitcoin<\/em>. Secondo un recente documento di ricerca, il nuovo design promette di rendere possibili contratti smart complessi su Bitcoin in modo pi\u00f9 efficiente sia dal punto di vista capitalistico che computazionale.<\/p>\n<h2>Funzionamento di ColliderVM<\/h2>\n<p><strong>ColliderVM<\/strong> \u00e8 un protocollo concepito per abilitare il calcolo <em>stateless<\/em> su Bitcoin, rendendo sicuri processi a pi\u00f9 passaggi eseguiti su diverse transazioni. Tradizionalmente, l&#8217;output degli script Bitcoin non pu\u00f2 essere utilizzato da altri script, complicando cos\u00ec i calcoli complessi. I ricercatori affermano che ColliderVM permetter\u00e0 l&#8217;uso di <strong>Scalable Transparent Arguments of Knowledge (STARKs)<\/strong> \u2014 un tipo di prova a <em>zero conoscenza<\/em> \u2014 su Bitcoin, senza richiedere modifiche al livello di consenso della rete. Questo sistema consentirebbe a Bitcoin di verificare calcoli complessi off-chain, riducendo al minimo i dati on-chain necessari.<\/p>\n<h2>Limitazioni affrontate da ColliderVM<\/h2>\n<p>ColliderVM affronta le limitazioni legate a Bitcoin: ogni blocco pu\u00f2 contenere fino a <strong>4 milioni di OPCodes<\/strong> (comandi) e uno script Bitcoin singolo \u00e8 limitato a <strong>1.000 voci<\/strong> nello stack. L&#8217;esecuzione stateless implica che ogni script viene eseguito senza memoria degli stati precedenti o dei calcoli intermedi, rendendo impraticabili i calcoli complessi.<\/p>\n<p>Il documento del <strong>2023 di Robin Linus<\/strong> sull&#8217;implementazione di BitVM ha mostrato come sviluppare contratti smart su Bitcoin, sebbene utilizzasse prove di frode. In BitVM, vengono richieste anticipazioni di capitale per coprire transazioni potenzialmente fraudolente, restituendo il capitale dopo la chiusura della finestra di prova di frode.<\/p>\n<h2>Efficienza Computazionale<\/h2>\n<p>In termini di efficienza computazionale, ColliderVM si presenta come una soluzione pi\u00f9 efficace rispetto alle implementazioni precedenti, sebbene comunque costosa. Le versioni passate utilizzavano firme crittografiche usa e getta (come quelle di Lamport e Winternitz), risultando pesanti a livello computazionale. ColliderVM si basa su un <strong>impegno di collisione di hash<\/strong>, che richiede notevolmente meno risorse di calcolo per gli operatori onesti, rispetto ai malintenzionati.<\/p>\n<p>Come funziona la funzione hash? Essa \u00e8 una funzione matematica non reversibile che genera una stringa alfanumerica di lunghezza fissa da dati arbitrari, creando una sorta di identificativo per i dati.<\/p>\n<h2>Prospettive e Sicurezza<\/h2>\n<blockquote>\n<p>\u201cStimiamo che la lunghezza dello script Bitcoin per la verifica delle prove STARK diventi quasi praticabile, permettendone l\u2019utilizzo in combinazione con altri sistemi di prova basati su pairing attualmente utilizzati nelle applicazioni.\u201d<\/p>\n<\/blockquote>\n<p><strong>STARKs<\/strong> sono un sistema di prove a zero conoscenza riconosciuto per la sua scalabilit\u00e0 e per la sua natura senza fiducia, che non richiede una configurazione sicura preventiva. Gli STARKs, invece, non si basano su tale configurazione, rendendoli intrinsecamente pi\u00f9 sicuri.<\/p>\n<h2>Conclusioni<\/h2>\n<p>Bitcoin \u00e8 generalmente riconosciuto come la blockchain pi\u00f9 sicura e affidabile, ma il suo insieme di funzionalit\u00e0 \u00e8 significativamente pi\u00f9 limitato rispetto a molte <em>altcoin<\/em>. Sebbene esistano sidechain come <strong>Liquid di Blockstream<\/strong>, queste non sono senza fiducia. Il direttore della ricerca di Blockstream, <strong>Andrew Poelstra<\/strong>, ha definito nel 2020 che le soluzioni basate su prove a zero conoscenza rappresentano uno dei settori pi\u00f9 promettenti nella crittografia.<\/p>\n<p><strong>Eli Ben-Sasson<\/strong>, co-fondatore di StarkWare e uno degli sviluppatori originali degli <strong>STARK<\/strong>, ha sottolineato l&#8217;importanza della Lightning Network, dichiarando:<\/p>\n<blockquote>\n<p>\u201c\u00c8 fondamentale riconoscere che esistono, oggi, reti Lightning che offrono la stessa sicurezza di Bitcoin.\u201d<\/p>\n<\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>Introduzione a ColliderVM StarkWare, sviluppatore di sidechain, e i ricercatori dell&#8217;Istituto Weizmann di Scienza hanno presentato una soluzione innovativa per affrontare le limitazioni degli script Bitcoin. Secondo un recente documento di ricerca, il nuovo design promette di rendere possibili contratti smart complessi su Bitcoin in modo pi\u00f9 efficiente sia dal punto di vista capitalistico che computazionale. Funzionamento di ColliderVM ColliderVM \u00e8 un protocollo concepito per abilitare il calcolo stateless su Bitcoin, rendendo sicuri processi a pi\u00f9 passaggi eseguiti su diverse transazioni. Tradizionalmente, l&#8217;output degli script Bitcoin non pu\u00f2 essere utilizzato da altri script, complicando cos\u00ec i calcoli complessi. I ricercatori<\/p>\n","protected":false},"author":3,"featured_media":3072,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15],"tags":[11,2066,971,2072,1894],"class_list":["post-3073","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-bitcoin","tag-bitcoin","tag-bitlayer","tag-blockstream","tag-cloudflare","tag-starkware"],"yoast_description":"StarkWare e l'Istituto Weizmann hanno presentato ColliderVM, un protocollo innovativo per abilitare contratti smart avanzati su Bitcoin, superando efficacemente le limitazioni degli script disponibili.","_links":{"self":[{"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/posts\/3073","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/comments?post=3073"}],"version-history":[{"count":0,"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/posts\/3073\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/media\/3072"}],"wp:attachment":[{"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/media?parent=3073"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/categories?post=3073"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/satoshibrother.com\/it\/wp-json\/wp\/v2\/tags?post=3073"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}