Bitcoin lietotāji drīzumā varēs izmantot nulles zināšanu pierādījumus (ZK-proofs), lai paātrinātu atsevišķu bloku un galu galā visas blokķēdes apstiprināšanas procesu. )
Šveicē bāzētā bezpeļņas ZeroSync asociācija izstrādā rīku, kas ļautu lietotājiem pārbaudīt Bitcoin tīkla stāvokli, nelejupielādējot blokķēdi vai uzticoties pārbaudei trešajai pusei.
ZeroSync tika dibināta, lai izstrādātu un uzturētu atvērtā pirmkoda programmatūru, lai nodrošinātu īsus ZK pierādījumus Bitcoin blokķēdē. Komanda izmantoja StarkWare patentēto Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) derīguma pierādījumu, lai ģenerētu ZK pierādījumus Bitcoin tīklam.
Šis rīks sola revolucionizēt Bitcoin blokķēdes apstiprināšanas procesu, kas joprojām prasa, lai mezglu operatori lejupielādētu lielu datu apjomu, lai sinhronizētu pareizo Bitcoin tīkla stāvokli.
ZeroSync izmanto ZK-proofs, lai galu galā ģenerētu derīgus pierādījumus un pārbaudītu jaunāko blokķēdes stāvokli gandrīz uzreiz.
ZK pierādījumi ir atklājums Ethereum ekosistēmai, izmantojot dažādas pārbaudes metodes, kas nodrošina vairāku 2. slāņu mērogošanas platformas, tostarp Polygon, Arbitrum, Optimism un StarkNet.
ZeroSync asociācijas paziņojums uzsver ZK proofs apņemšanos nodrošināt blokķēdes mērogojamību un privātumu, nodrošinot "gandrīz fiksēta izmēra" pierādījumus, lai pārbaudītu lielus aprēķinus.
Projekta darbs bija aizsācējs ZK pierādījumu izmantošanai Bitcoin tīklā, un grupa apraksta Bitcoin relatīvo vienkāršību un neiztērēto darījumu izvades (UTXO) modeli kā unikālus vērtību piedāvājumus rekursīvo pierādījumu piemērošanai.
ZeroSync atzīmēja, ka ZK-Proof rīks neprasa vienprātības izmaiņas vai papildu uzticības pieņēmumus Bitcoin tīklā un tā lietotājiem. Organizācija veido programmatūras izstrādes komplektu, kas ļauj izstrādātājiem ģenerēt pielāgotus derīguma pierādījumus konkrētiem lietošanas gadījumiem, neprasot dziļas domēna zināšanas.
ZeroSync veido klientu ātrai sākotnējo bloku lejupielādei, kā arī ievieš pirmo pilnīgu Bitcoin vienprātības pierādījumu. Klients ļaus lietotājiem sinhronizēt pilnus mezglus, neveicot izmaiņas Bitcoin Core kodā.
ZeroSync izmanto Cairo programmēšanas valodu, ko ieviesa StarkWare, lai izveidotu STARK pierādāmas skaitļošanas programmas.
ZeroSync rīks pašlaik atrodas prototipa stāvoklī, taču tas spēj pierādīt viena it kā derīga bloka derīgumu, apstiprinot visus Bitcoin noteikumus, izņemot skriptus. Komandai ir arī pārlūkprogrammas demonstrācijas pārbaudītājs, kas pieejams STARK Bitcoin bloku pierādījumiem.
ZeroSync asociāciju sākotnēji finansē Geometry un StarkWare, taču tā tiek izveidota kā bezpeļņas organizācija, lai atbalstītu Bitcoin kopienas ieinteresēto personu pastāvīgu attīstību un uzturēšanu.
StarkWare prezidents un līdzdibinātājs Eli Ben-Sasson, kurš līdzizgudroja zk-STARKS, paziņojumā apkopoja ZK pierādījumu nozīmi, kas nonāk Bitcoin ekosistēmā:
"Pēc neapmierinātības ar lēnu sinhronizāciju lietotāji varēs sinhronizēt ar tīklu ātrāk un ar mazākiem aprēķiniem. Šis ir tehnoloģisks lēciens, kas līdzinās pārejai no lēnas iezvanes interneta uz ātrdarbīgu platjoslas savienojumu."
Lightning Labs, Bitcoin's Layer 2 Lightning Network maksājumu sistēmas komanda, ir projekta ZeroSync partneris.
Uzņēmums plāno izmantot ZeroSync, lai nodrošinātu saspiestu darījumu vēstures pierādījumu savam Taproot Asset Representation Overlay (Taro) protokolam, kas ir paredzēts, lai nodrošinātu digitālo aktīvu izsniegšanu Bitcoin blokķēdē.