Uživatelé bitcoinů budou moci brzy používat důkazy o nulových znalostech (ZK-proofs) pro urychlení procesu ověřování jednotlivých bloků a nakonec i celého blockchainu.
Švýcarská nezisková organizace ZeroSync Association vyvíjí nástroj, který by uživatelům umožnil ověřit stav bitcoinové sítě, aniž by museli stahovat blockchain nebo důvěřovat třetí straně pro ověření.
Společnost ZeroSync byla založena za účelem vývoje a údržby softwaru s otevřeným zdrojovým kódem, který umožňuje stručné důkazy ZK na blockchainu bitcoinů. Tým použil proprietární důkaz platnosti Zero-Knowledge Scalable Transparent of Knowledge (zk-STARK) společnosti StarkWare ke generování důkazů ZK pro bitcoinovou síť.
Tento nástroj slibuje revoluci v procesu ověřování bitcoinového blockchainu, který stále vyžaduje, aby provozovatelé uzlů stahovali velké množství dat pro synchronizaci správného stavu bitcoinové sítě.
ZeroSync využívá ZK-proofs ke konečnému generování platných důkazů a ověření nejnovějšího stavu blockchainu téměř okamžitě.
Důkazy ZK byly zjevením pro ekosystém Ethereum s různými metodami důkazů, které pohánějí vícevrstvé škálovací platformy, včetně Polygon, Arbitrum, Optimism a StarkNet.
Oznámení sdružení ZeroSync podtrhuje závazek společnosti ZK proofs vůči škálovatelnosti a soukromí blockchainu tím, že poskytuje důkazy „téměř pevné velikosti“ pro ověření velkých výpočtů.
Práce na projektu byla průkopníkem v používání důkazů ZK v síti bitcoinů a skupina popisuje relativní jednoduchost bitcoinu a model nevyužitého transakčního výstupu (UTXO) jako jedinečné hodnotové návrhy pro použití rekurzivních důkazů.
ZeroSync poznamenal, že nástroj ZK-Proof nevyžaduje změny konsenzu ani další předpoklady důvěry v bitcoinové síti a jejích uživatelích. Organizace buduje sadu pro vývoj softwaru, která umožňuje vývojářům generovat vlastní důkazy platnosti pro konkrétní případy použití, aniž by vyžadovali hluboké znalosti domény.
ZeroSync buduje klienta pro rychlé počáteční stahování bloků a také implementuje první kompletní důkaz o shodě s bitcoiny. Klient umožní uživatelům synchronizovat celé uzly bez provádění změn v kódu bitcoinového jádra.
ZeroSync používá programovací jazyk Cairo propagovaný společností StarkWare k vytváření prokazatelných výpočetních programů STARK.
Nástroj ZeroSync je v současné době ve stavu prototypu, ale je schopen prokázat platnost jediného údajně platného bloku a ověřit všechna pravidla bitcoinu kromě skriptů. Tým má také k dispozici demo validátor v prohlížeči pro STARK důkazy bitcoinových bloků.
Asociace ZeroSync je zpočátku financována společnostmi Geometry a StarkWare, ale vzniká jako nezisková entita na podporu průběžného vývoje a údržby ze strany zainteresovaných stran v bitcoinové komunitě.
Prezident a spoluzakladatel StarkWare Eli Ben-Sasson, který spoluvynalezl zk-STARKS, shrnul důležitost důkazů ZK vstupujících do bitcoinového ekosystému v prohlášení:
"Po frustraci z pomalých synchronizací se uživatelé budou moci synchronizovat se sítí rychleji as menšími výpočty. Jde o technologický skok podobný přechodu od pomalého vytáčeného internetu k vysokorychlostnímu širokopásmovému připojení."
Lightning Labs, tým stojící za platebním systémem Layer 2 Lightning Network Bitcoin, je přispívajícím partnerem projektu ZeroSync.
Společnost má v úmyslu použít ZeroSync k poskytnutí komprimovaného důkazu o historii transakcí pro svůj protokol Taproot Asset Representation Overlay (Taro), který je navržen tak, aby podporoval vydávání digitálních aktiv na bitcoinovém blockchainu.