La mainnet Bitcoin riceve la prima prova ZK verificata in assoluto
Traduzione effettuata da Deepl pro
BitcoinOS (BOS), un protocollo di rollup di Bitcoin, ha verificato con successo la prima prova zero-knowledge (ZK) sulla mainnet della blockchain alle 23:22 UTC del 24 luglio.
Il risultato rende possibile sbloccare nuovi livelli di funzionalità e scalabilità sulla mainnet di Bitcoin senza richiedere ulteriori modifiche al livello base della blockchain.
In una Q&A scritta con Cointelegraph, Edan Yago, cofondatore di BOS, ha affermato che lo sviluppo "rappresenta un'era in cui Bitcoin non è più solo l'oro digitale."
"È anche un sistema operativo e una piattaforma su cui è possibile costruire l'intero mondo delle applicazioni decentralizzate. [...] Questo segna un capitolo in cui Ethereum, Solana e tutti gli altri progetti di livello 1 non sono più al sicuro dalla concorrenza di Bitcoin"."
Implicazioni della verifica ZK-proof della mainnet
La tecnologia alla base della verifica della mainnet è la libreria software di verifica ZK Succinct Non-Interactive Argument of Knowledge (zk-SNARK) di BOS, BitSNARK.
Secondo un comunicato stampa condiviso con Cointelegraph, BitSNARK consente agli sviluppatori di creare "ponti quasi privi di fiducia" per spostare Bitcoin tra la mainnet e i rollup di layer-2.
Yago ha spiegato le implicazioni della creazione di ZK-proof sulla mainnet, affermando che una transazione potrebbe ora rappresentare "molte centinaia e migliaia di transazioni".
"Una singola transazione Bitcoin può ora essere utilizzata per transazioni private e per cose come i contratti intelligenti"."
Bitcoin blockchain trasformata in sistema operativo
Yago spiega che la svolta di ZK nel dimostrare la verifica sulla mainnet di Bitcoin si allinea strettamente con l'obiettivo dell'azienda, permettendo di trasformarla essenzialmente "in un sistema operativo"."
Yago ha spiegato che trasformando la mainnet di Bitcoin in "più di un sistema di transazioni per i pagamenti", potrebbe essere utilizzata "per servizi e attività decentralizzati, come DAO, DeFi, qualsiasi cosa si possa immaginare."
Per quanto riguarda l'aggiornabilità, Yago ha detto che "l'unico modo per aggiornare Bitcoin è attraverso soft fork e modifiche al consenso", ma questo non è più il caso.
"È ora possibile introdurre qualsiasi tipo di funzionalità che si desidera in Bitcoin, in modo permissionless, [...] per trasformare quello che molte persone pensavano fosse uno svantaggio, il fatto che si stesse ossificando e il fatto che fosse molto difficile da cambiare, nel suo principale vantaggio"."
StarkWare si assicura la prima ZK-proof verificata su testnet
Il 17 luglio, StarkWare ha annunciato la storica pietra miliare di aver verificato con successo la propria ZK-proof sulla testnet Bitcoin, Signet.
Lo sviluppo ha fatto seguito a tre mesi di esplorazione "OP_CAT" da parte dell'azienda, che le ha permesso di stabilire il suo nuovo verificatore STARK sulla rete.
Il verificatore ha gettato le basi per lo sviluppo di soluzioni di livello 2 basate su ZK per contribuire a migliorare la scalabilità di Bitcoin e far progredire le opportunità di pagamento globali sulla blockchain.
Fonte : Cointelegraph - 25 lug 2024