Tři němečtí počítačoví vědci vytvořili švýcarskou neziskovou organizaci s názvem ZeroSync Association, aby pomohla škálovat Bitcoin pomocí důkazů s nulovými znalostmi (zk-proofs), kryptografické techniky, která explodovala v popularitě u konkurenčního řetězce Ethereum.
Důkazy s nulovými znalostmi používají kryptografii k prokázání platnosti informací, aniž by byly odhaleny informace samotné. Použití zk-proof k ověření bitcoinového blockchainu znamená, že se uzly mohou synchronizovat téměř okamžitě, místo aby trvalo hodiny (a někdy i dny) stahování aktuálních 500 GB dat řetězce.
ZeroSync již vytvořil funkční prototyp, který uživatelům umožňuje ověřit stav (kdo co právě teď vlastní) a historii transakcí bitcoinového blockchainu, aniž by museli stahovat celý řetězec nebo důvěřovat třetí straně.
Prototyp může ověřit pravidla konsenzu bitcoinů, ale ne podpisy transakcí. Je také trochu neohrabaný a stále je třeba jej optimalizovat pro rychlost a zabezpečení, takže ještě není připraven na hlavní vysílací čas, ale důležité je – funguje.
"Je to hodně ve fázi prototypu," řekl CoinDesk spoluzakladatel ZeroSync Robin Linus. "Ale hlavní vizí je, že si stáhnete ten jeden megabajt důkazu a to je stejně dobré, jako kdybyste si stáhli těch 500 gigabajtů."
Na bitcoinovém blockchainu vždy existovali lehcí klienti nebo uzly pro jednoduché ověření plateb (SPV). Ve skutečnosti Satoshi Nakamoto zmínil tento koncept ve svém původním whitepaperu. Jsou kritické pro malá zařízení, jako jsou mobilní telefony, které nemohou stáhnout celý blockchain.
„Platby je možné ověřovat bez spuštění úplného síťového uzlu,“ napsal Satoshi. "Ověření je spolehlivé, pokud síť ovládají poctivé uzly, ale je zranitelnější, pokud je síť přemožena útočníkem."
ZeroSync jde o krok dále tím, že ověřuje transakce pomocí kryptografického důkazu, spíše než pouze důvěřuje poctivým uzlům, jak navrhuje Satoshi.
"Nemusíš věřit, to je hlavní," řekl Linus. "Důkaz vám to dokazuje, to je ten skvělý vynález."
Plně funkční zk-proof mechanismus lze použít k umožnění široké škály aplikací mimo příklad použití synchronizace uzlů. ZeroSync vytvořil sadu nástrojů pro vývojáře, která umožňuje aplikacím, jako je proof-of-Reserves na burzách a komprese historie transakcí na protokolech druhé vrstvy, jako je Taro od Lightning Labs.
Linus a jeho spoluzakladatel Lukas George loni v červenci spojili své síly, aby pracovali na implementaci úplného řetězového důkazu bitcoinového blockchainu poté, co Georgeova bakalářská práce o implementaci důkazu bitcoinových hlaviček upoutala pozornost Geometry Research.
Tým následně přidal do mixu Tino Steffens; všichni tři spoluzakladatelé mají vzdělání v informatice.
Linus žil v Santa Teresa, odlehlém plážovém městečku na kostarickém poloostrově Nicoya, které má jeden bankomat a zákaz vycházení ve 22 hodin. Linuse to dohnalo k šílenství a donutilo ho zkoumat alternativní platební metody. Narazil na Bitcoin, spřátelil se s uznávaným „bitcoinovým čarodějem“ Rubenem Somsenem (který vymyslel termín „ZeroSync“) a zbytek, jak se říká, je historie.
„Odtamtud jsem se začal o kryptografii učit víc a víc,“ řekl Linus. „Postupem času jsem si vypěstoval určité dovednosti a pak mě Ruben doporučil do Geometry Research. Nabídli mi příležitost vytvořit STARK důkazy pro bitcoiny a také jsem se dostal do kontaktu s Lucasem.“
