Użytkownicy Bitcoina wkrótce będą mogli korzystać z dowodów z wiedzą zerową (ZK-proofs), aby przyspieszyć proces walidacji poszczególnych bloków, a ostatecznie całego blockchainu.​

Szwajcarska organizacja non-profit ZeroSync Association opracowuje narzędzie, które pozwoli użytkownikom zweryfikować stan sieci Bitcoin bez konieczności pobierania łańcucha bloków lub ufania stronie trzeciej w celu weryfikacji.

Firma ZeroSync została założona w celu opracowywania i utrzymywania oprogramowania typu open source, aby umożliwić zwięzłe dowody ZK na łańcuchu bloków Bitcoin. Zespół wykorzystał zastrzeżony przez StarkWare dowód ważności Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) do wygenerowania dowodów ZK dla sieci Bitcoin.

Narzędzie to obiecuje gruntowną przebudowę procesu walidacji łańcucha bloków bitcoina, który nadal wymaga od operatorów węzłów pobierania dużych ilości danych w celu synchronizacji prawidłowego stanu sieci bitcoin.

ZeroSync wykorzystuje dowody ZK, aby ostatecznie generować prawidłowe dowody i niemal natychmiast weryfikować najnowszy stan łańcucha bloków.

Dowody ZK okazały się odkryciem dla ekosystemu Ethereum, a różne metody dowodowe stanowią podstawę wielu platform skalowania warstwy 2, w tym Polygon, Arbitrum, Optimism i StarkNet.

W oświadczeniu ZeroSync Association podkreślono obietnicę dowodów ZK dla skalowalności i prywatności blockchain, poprzez dostarczanie dowodów o „praktycznie stałym rozmiarze” w celu weryfikacji dużych obliczeń.

Prace projektu zapoczątkowały zastosowanie dowodów ZK w sieci Bitcoin, a organizacja opisuje względną prostotę Bitcoina i model niewydanych wyników transakcji (UTXO) jako unikalną propozycję wartości dla stosowania dowodów rekurencyjnych.

ZeroSync zaznacza, że ​​narzędzie ZK-Proof nie wymaga zmian konsensusu ani dodatkowych założeń dotyczących zaufania w sieci Bitcoin i jej użytkownikach. Organizacja opracowuje zestaw narzędzi do tworzenia oprogramowania, który umożliwi programistom generowanie niestandardowych dowodów ważności dla konkretnych przypadków użycia, bez konieczności posiadania dogłębnej wiedzy specjalistycznej.

ZeroSync tworzy klienta umożliwiającego szybkie pobieranie bloków początkowych oraz wdraża pierwszy pełny dowód konsensusu Bitcoin. Klient umożliwi użytkownikom synchronizację całego węzła bez konieczności wprowadzania zmian w kodzie Bitcoin Core.

ZeroSync korzysta z języka programowania Cairo opracowanego przez StarkWare w celu tworzenia programów obliczeniowych, które można udowodnić za pomocą STARK-a.

Narzędzie ZeroSync znajduje się obecnie w fazie prototypu, ale jest w stanie udowodnić poprawność pojedynczego bloku uznawanego za poprawny, weryfikując wszystkie reguły Bitcoina z wyjątkiem skryptów. Zespół dysponuje również działającą w przeglądarce wersją demonstracyjną walidatora dowodów STARK bloków Bitcoin.

Stowarzyszenie ZeroSync było początkowo finansowane przez Geometry i StarkWare, ale obecnie pracuje nad utworzeniem organizacji non-profit, która będzie wspierać dalszy rozwój i utrzymanie sieci przez interesariuszy ze społeczności Bitcoin.

Eli Ben-Sasson, prezes i współzałożyciel StarkWare, który współtworzył zk-STARKS, podsumował w oświadczeniu znaczenie dowodów ZK wprowadzanych do ekosystemu Bitcoin:

„Po frustracji związanej z powolną synchronizacją użytkownicy będą mogli synchronizować się z siecią znacznie szybciej i przy mniejszej liczbie obliczeń. To skok technologiczny podobny do przejścia z wolnego internetu dial-up na szybki szerokopasmowy internet”.

Lightning Labs, zespół stojący za systemem płatności Bitcoin Layer 2 Lightning Network, jest partnerem wspierającym projekt ZeroSync.

Firma zamierza wykorzystać ZeroSync do dostarczania skompresowanych dowodów historii transakcji na potrzeby protokołu Taproot Asset Representation Overlay (Taro), który ma umożliwić emisję aktywów cyfrowych w blockchainie Bitcoin.