Gebruikers van Bitcoin (BTC) kunnen binnenkort ZK-bewijzen gebruiken. De tool is ontwikkeld om het verificatieproces van individuele blokken en uiteindelijk de hele blockchain te versnellen.
Controleer de status zonder de blockchain te downloaden
De ZeroSync Association, een non-profitorganisatie gevestigd in Zwitserland, ontwikkelt een tool waarmee gebruikers de status van het Bitcoin-netwerk kunnen controleren zonder de blockchain te downloaden of een derde partij te vertrouwen voor verificatie.
ZeroSync is opgericht om open source-software te ontwikkelen en te onderhouden die ZK proof-of-facts op de Bitcoin-blockchain mogelijk maakt. De groep gebruikt het gepatenteerde Transparent Scalable Knowledge (zk-STARK) argument van StarkWare om de geldigheid te bewijzen om ZK-bewijzen voor het Bitcoin-netwerk te genereren.
In ruil daarvoor belooft de tool het verificatieproces op de Bitcoin-blockchain te repareren. Node-operators moeten nu nog een grote hoeveelheid data downloaden om de juiste status van het Bitcoin-netwerk te synchroniseren.
ZeroSync gebruikt ZK-bewijzen om aan het einde een geldig bewijs te genereren en verifieert vrijwel onmiddellijk de laatste status van de blockchain.
ZK-bewijzen waren een openbaring voor het Ethereum-ecosysteem. Verschillende proofing-methoden ondersteunen verschillende Layer 2-benchmarkingplatforms, waaronder Polygon, Arbitrum, Optimism en StarkNet.
Een aankondiging van de ZeroSync Association benadrukt de belofte van ZK-bewijzen voor blockchain-schaalbaarheid en privacy. Bewijzen van “bijna constante grootte” kunnen worden ingediend om grote berekeningen te verifiëren.
Het werk van het project was een pionier in de implementatie van ZK Proofs voor het Bitcoin-netwerk. De organisatie beschrijft de relatieve eenvoud van Bitcoin en het Unspent Transaction Output (UTXO)-model als een uniek waardevoorstel voor het toepassen van recursieve bewijzen.
geautomatiseerde software
ZeroSync merkt op dat de ZK-Proof-tools geen consensuswijzigingen of aanvullende vertrouwensaannames vereisen voor het Bitcoin-netwerk en zijn gebruikers. De organisatie bouwt een SDK waarmee ontwikkelaars aangepaste validiteitsgidsen kunnen maken voor specifieke use-cases zonder dat er diepgaande domeinexpertise nodig is.
ZeroSync bouwt een snelle client voor het downloaden van eerste blokken en implementeert het eerste volledige bewijs van Bitcoin-consensus. Met de client kunnen gebruikers een volledig knooppunt synchroniseren zonder codewijzigingen in de bitcoin-kern aan te brengen.
ZeroSync gebruikt de programmeertaal Cairo, ontwikkeld door StarkWare, om aantoonbare computerprogramma’s te maken met behulp van STARK.
ZeroSync is momenteel in prototypevorm. De mogelijkheid is al aanwezig om individuele veronderstelde geldige blokken te valideren, waarbij alle Bitcoin-regels worden gevalideerd (behalve scripts). Het team heeft ook een verwijderingstool die in de browser draait voor STARK-bewijzen van Bitcoin-blokken.
De ZeroSync Association werd aanvankelijk gefinancierd door Geometry en StarkWare. Het is momenteel bezig met het opzetten van een non-profitorganisatie om voortdurende ontwikkeling en onderhoud door belanghebbenden binnen de Bitcoin-gemeenschap te vergemakkelijken.
Een verklaring van StarkWare President en mede-oprichter Eli Ben-Sasson, die mede-uitvinder van zk-STARKS, besloot met een samenvatting van de reikwijdte van ZK Proofs die naar het Bitcoin-ecosysteem komen:
Na jaren van frustratie met trage synchronisatie, kunnen gebruikers sneller en met minder verwerkingskracht synchroniseren met het netwerk. Het is een technologische sprong die vergelijkbaar is met de overgang van langzaam inbelinternet naar supersnel breedband.
“Valt vaak neer. Subtiel charmante tv-liefhebber. Toegewijde internetfan. Muziekbeoefenaar.”