Utilizatorii Bitcoin vor putea folosi în curând dovezile zero-knowledge (ZK-proofs) pentru a accelera procesul de validare a blocurilor individuale și, eventual, a întregului blockchain.
Asociația nonprofit ZeroSync din Elveția dezvoltă un instrument care le-ar permite utilizatorilor să verifice starea rețelei Bitcoin fără a fi nevoie să descarce blockchain-ul sau să aibă încredere într-o terță parte pentru verificare.
ZeroSync a fost fondat pentru a dezvolta și menține software open source pentru a permite dovezi ZK concise pe blockchain-ul Bitcoin. Echipa a folosit dovada de valabilitate Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) proprietară StarkWare pentru a genera dovezi ZK pentru rețeaua Bitcoin.
Instrumentul promite să revoluționeze procesul de validare a blockchain-ului Bitcoin, care încă impune operatorilor de noduri să descarce cantități mari de date pentru a sincroniza starea corectă a rețelei Bitcoin.
ZeroSync folosește dovezile ZK pentru a genera în cele din urmă dovezi valide și pentru a verifica cea mai recentă stare a blockchain-ului aproape instantaneu.
Dovezile ZK au fost o revelație pentru ecosistemul Ethereum, cu diverse metode de demonstrare care alimentează mai multe platforme de scalare de nivel 2, inclusiv Polygon, Arbitrum, Optimism și StarkNet.
Un anunț al Asociației ZeroSync subliniază angajamentul ZK proofs față de scalabilitatea și confidențialitatea blockchain, oferind dovezi „aproape de dimensiune fixă” pentru a verifica calculele mari.
Munca proiectului a fost pionier în utilizarea dovezilor ZK în rețeaua Bitcoin, iar grupul descrie simplitatea relativă și modelul de tranzacție necheltuită (UTXO) al Bitcoin ca propuneri de valoare unice pentru aplicarea dovezilor recursive.
ZeroSync a remarcat că instrumentul ZK-Proof nu necesită modificări de consens sau presupuneri suplimentare de încredere în rețeaua Bitcoin și utilizatorii acesteia. Organizația construiește un kit de dezvoltare software care permite dezvoltatorilor să genereze dovezi de valabilitate personalizate pentru cazuri de utilizare specifice, fără a necesita o expertiză profundă în domeniu.
ZeroSync construiește un client pentru descărcări inițiale rapide de bloc, precum și implementează prima dovadă completă a consensului Bitcoin. Clientul va permite utilizatorilor să sincronizeze nodurile complete fără a face modificări codului Bitcoin Core.
ZeroSync folosește limbajul de programare Cairo inițiat de StarkWare pentru a crea programe de calcul demonstrabile STARK.
Instrumentul ZeroSync este în prezent într-o stare de prototip, dar este capabil să demonstreze validitatea unui singur bloc presupus valid, validând toate regulile Bitcoin, cu excepția scripturilor. Echipa are, de asemenea, un validator demonstrativ în browser disponibil pentru dovezile STARK ale blocurilor Bitcoin.
Asociația ZeroSync este finanțată inițial de Geometry și StarkWare, dar este înființată ca o entitate non-profit pentru a sprijini dezvoltarea și întreținerea continuă de către părțile interesate din comunitatea Bitcoin.
Președintele și co-fondatorul StarkWare, Eli Ben-Sasson, care a co-inventat zk-STARKS, a rezumat importanța ca dovezile ZK să intre în ecosistemul Bitcoin într-o declarație:
„După ce au fost frustrați de sincronizări lente, utilizatorii vor putea să se sincronizeze cu rețeaua mai rapid și cu mai puține calcule. Acesta este un salt tehnologic similar cu trecerea de la internet prin dial-up lentă la bandă largă de mare viteză”.
Lightning Labs, echipa din spatele sistemului de plată Bitcoin Layer 2 Lightning Network, este un partener care contribuie la proiectul ZeroSync.
Compania intenționează să folosească ZeroSync pentru a furniza o dovadă comprimată a istoricului tranzacțiilor pentru protocolul său Taproot Asset Representation Overlay (Taro), care este conceput pentru a alimenta emiterea de active digitale pe blockchain-ul Bitcoin.