Gli utenti Bitcoin saranno presto in grado di utilizzare prove a conoscenza zero (prove ZK) per accelerare il processo di convalida dei singoli blocchi ed eventualmente dell’intera blockchain.
L'associazione no-profit ZeroSync con sede in Svizzera sta sviluppando uno strumento che consentirebbe agli utenti di verificare lo stato della rete Bitcoin senza dover scaricare la blockchain o affidarsi a terzi per la verifica.
ZeroSync è stata fondata per sviluppare e mantenere software open source per consentire prove ZK concise sulla blockchain di Bitcoin. Il team ha utilizzato la prova di validità Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) proprietaria di StarkWare per generare prove ZK per la rete Bitcoin.
Lo strumento promette di rivoluzionare il processo di validazione della blockchain di Bitcoin, che richiede ancora agli operatori dei nodi di scaricare grandi quantità di dati per sincronizzare il corretto stato della rete Bitcoin.
ZeroSync utilizza prove ZK per generare prove valide e verificare quasi istantaneamente lo stato più recente della blockchain.
Le prove ZK sono state una rivelazione per l'ecosistema Ethereum, con vari metodi di prova che alimentano più piattaforme di scalabilità di livello 2, tra cui Polygon, Arbitrum, Optimism e StarkNet.
Un annuncio dell'Associazione ZeroSync sottolinea l'impegno delle prove ZK nei confronti della scalabilità e della privacy della blockchain fornendo prove di "dimensione quasi fissa" per verificare calcoli di grandi dimensioni.
Il lavoro del progetto ha aperto la strada all'uso delle prove ZK sulla rete Bitcoin e il gruppo descrive la relativa semplicità di Bitcoin e il modello di output delle transazioni non spese (UTXO) come proposte di valore uniche per l'applicazione di prove ricorsive.
ZeroSync ha osservato che lo strumento ZK-Proof non richiede modifiche del consenso o ulteriori presupposti di fiducia sulla rete Bitcoin e sui suoi utenti. L'organizzazione sta creando un toolkit di sviluppo software che consente agli sviluppatori di generare prove di validità personalizzate per casi d'uso specifici senza richiedere competenze approfondite nel settore.
ZeroSync sta costruendo un client per download rapidi di blocchi iniziali, oltre a implementare la prima prova completa del consenso Bitcoin. Il client consentirà agli utenti di sincronizzare i nodi completi senza apportare modifiche al codice Bitcoin Core.
ZeroSync utilizza il linguaggio di programmazione Cairo introdotto da StarkWare per creare programmi computazionali dimostrabili STARK.
Lo strumento di ZeroSync è attualmente in uno stato di prototipo, ma è in grado di dimostrare la validità di un singolo blocco apparentemente valido, convalidando tutte le regole Bitcoin tranne gli script. Il team ha anche un validatore demo nel browser disponibile per le prove STARK dei blocchi Bitcoin.
L'Associazione ZeroSync è inizialmente finanziata da Geometry e StarkWare, ma è stata istituita come entità senza scopo di lucro per supportare lo sviluppo e la manutenzione continui da parte delle parti interessate all'interno della comunità Bitcoin.
Il presidente e co-fondatore di StarkWare Eli Ben-Sasson, che ha co-inventato zk-STARKS, ha riassunto l'importanza dell'ingresso delle prove ZK nell'ecosistema Bitcoin in una dichiarazione:
"Dopo essere stati frustrati dalla sincronizzazione lenta, gli utenti saranno in grado di sincronizzarsi con la rete più velocemente e con meno calcoli. Si tratta di un salto tecnologico simile al passaggio da Internet dial-up lento alla banda larga ad alta velocità."
Lightning Labs, il team dietro il sistema di pagamento Layer 2 Lightning Network di Bitcoin, è un partner che contribuisce al progetto ZeroSync.
La società intende utilizzare ZeroSync per fornire una prova compressa della cronologia delle transazioni per il suo protocollo Taproot Asset Representation Overlay (Taro), progettato per alimentare l'emissione di risorse digitali sulla blockchain di Bitcoin.