Začátkem tohoto roku se Weikeng Chen a jeho partneři z rizikové firmy L2 Iterative rozhodli přesunout svou pozornost na bublající bitcoinový ekosystém. Chen, čínský rodák, si všiml rostoucího zájmu o vývoj bitcoinů ze strany několika velkých hráčů v těžebním prostoru, kteří začali podporovat různé projekty v prostoru Ordinals a vrstvy 2.
„Nikdy jsem si opravdu neuvědomil, že Bitcoin má vývojářskou komunitu,“ říká napůl žertem.
Rychle vpřed do minulého týdne dosáhla iniciativa s otevřeným zdrojovým kódem, kterou sám vedl, se sponzorstvím od infrastrukturní společnosti Starkware, první implementace ověřovače s nulovými znalostmi pomocí bitcoinového skriptu.
V odvětví, kde je k významným průlomům jen málo a jsou daleko od sebe, ti, kdo se na tomto úsilí podílejí, překypují významem tohoto milníku. Důkazy s nulovými znalostmi, tvrdí, jsou klíčem k odemknutí programovatelnosti bitcoinu a globálnímu rozšíření jeho využití.
Za tímto úspěchem stojí pozoruhodná cesta outsidera, který před pouhými šesti měsíci zvedl vývoj bitcoinů a nyní nakódoval pravděpodobně svůj nejpokročilejší software. Vyzpovídal jsem Weikeng Chena, abych se ponořil do jeho motivací, jeho spolupráce se Starkware kolem OP_CAT a STARKs a jeho pohledů na tuto novou éru vývoje bitcoinů.
Počínaje od nuly
Chen, absolvent PHD na UC Berkeley se specializací na kryptografii, vysvětlil, že začal hledat příležitost, jak přispět svými technickými dovednostmi do tohoto odvětví, aby mohl svou firmu lépe umístit u potenciálních investorů a společností. Navzdory svým rozsáhlým inženýrským zkušenostem si rychle uvědomil, že zdroje jsou vzácné a křivka učení byla strmá. „Mnoho materiálů je zastaralých a neodráží současný stav vývoje,“ poznamenal. Jeho afinita k technologii s nulovými znalostmi ho nakonec přivedla k tomu, že svůj výzkum zaměřil na schopnost bitcoinu provádět výpočty potřebné pro ověření důkazů s nulovými znalostmi.
Když jedna králičí nora vedla k druhé, objevila se jeho práce Robina Linuse na novém počítačovém paradigmatu BitVM. Zajímal se o potenciál použití důkazů o podvodech k implementaci systémů s nulovými znalostmi kompatibilních s bitcoiny, začal se prohrabávat bílou knihou a všiml si některých problémů s některými koncepty zapojenými do systému. „Poslal jsem Robinovi zprávu s několika otázkami ohledně BitVM. Moje chápání BitVM z tohoto whitepaperu bylo skutečně smrtelně špatné. Pamatuji si, že Robinova první reakce byla, že se mě zeptal, kdo mi to řekl,“ vzpomíná se smíchem. Tato interakce vyvolala krátkou, ale produktivní spolupráci mezi Chenem, Linusem a dalšími výzkumníky, když opakovali původní myšlenku a hledali způsoby, jak ji optimalizovat.
"Bylo mi zřejmé, že tuto metodu lze použít k ověření důkazu s nulovými znalostmi, takže moje práce rychle směřovala k implementaci ověřovače SNARK."
Verifier je kryptografický nástroj, který umožňuje ověření důkazů o nulových znalostech v bitcoinové síti.
Příležitost OP_CAT
Přibližně ve stejnou dobu tým gigantu Starkware v oboru s nulovými znalostmi věnoval velkou pozornost vznikající aktivitě vycházející z bitcoinové komunity. Pro některé to byla dlouhá doba. Zakladatel Starkware Eli Ben-Sasson byl pravděpodobně první osobou, která diskutovala o technologii nulových znalostí v kontextu kryptoměn na rané bitcoinové konferenci. Téměř o deset let později výzkum Starkware a technologie ZK-STARK slouží jako základ rostoucího počtu aplikací ve vesmíru.
„Když jsem v roce 2013 navrhl použití důkazů platnosti ke škálování bitcoinu, doufal jsem, že Satoshi může být stále nablízku a urychlí to. Díky kryptografickým vizionářům, jako je Weikeng Chen a výzkumníkům bitcoinového OP_CAT, jako jsou Andrew Poelstra a Ethan Heilman, je můj jedenáctiletý sen nyní na dosah,“ komentoval Ben-Sasson.
Minulý měsíc společnost oznámila, že zahajuje zavádění mnoha iniciativ zaměřených na odstranění technologické mezery mezi bitcoiny a důkazy s nulovými znalostmi. Aplikační grant ve výši 1 000 000 USD byl nabídnut na výzkum a zkoumání potenciálu návrhu OP_CAT soft fork.
Oznámení bylo poznamenáno pozoruhodným nadšením, takže někteří přemýšleli, co vedlo k tomuto optimismu. Až donedávna byly vyhlídky na technologii s nulovými znalostmi o bitcoinu většinou dodatečným nápadem – dalším OP kódem, který možná nikdy nespatří světlo světa. Obtížnost dosáhnout konsensu ohledně menších změn v kódové základně bitcoinů způsobila, že se zdálo nepravděpodobné, že by se někdy stalo něco složitějšího.
Na základě rozhovorů s přispěvateli Starkware to bylo kolem května, když zachytili Weikengův pokrok na BitVM a nálada se dramaticky změnila. Jak se ukázalo, vývojář se již zaměřil na technologii společnosti Circle STARKs. V dokumentu vydaném před několika měsíci Chen již tento druhý identifikoval jako „důkazový systém vhodný pro bitcoiny“.
Po nějaké době tam a zpět se obě strany dohodly, že se sejdou a vypracují společné úsilí věnované open-source implementaci ověřovače STARK pomocí primitiva OP_CAT. „Věděl jsem, že se to dá. Potřebovali jsme jen poskládat všechny kousky dohromady,“ navrhuje Chen. Zrodila se „Bitcoin Wildlife Sanctuary“.
O dva měsíce později se zdá, že projekt dosáhl svého cíle díky spolupráci dalších vývojářů, jako je Pingzhou Yuan, další raný přispěvatel BitVM. Minulý pátek pozdě ráno Chen skočil do skupiny Telegram projektu, aby informoval ostatní účastníky: "Myslím, že jsem dokončil práci!"
Po úspěšných lokálních testech vývojář odvysílal sérii transakcí do testovací sítě Bitcoin's Signet, které by provedly celý skript. Pro optimalizaci využití v řetězci je důkaz STARK, založený na open-source implementaci Stwo společnosti Starkware, rozdělen na souběžné transakce zřetězené dohromady pomocí smlouvy založené na OP_CAT.
V 6:29 12. července 2024 byla konečná transakce potvrzena na síti Signet, což signalizovalo to, co zastánci věří, že by mohlo být začátkem nové éry vývoje bitcoinu.
"Bylo to ohromné úsilí a zabralo to značné množství času," řekl Chen. „Začali jsme s ničím. Neexistují žádné informace o důkazech ZK na bitcoinech. Neexistují žádné informace o matematických operacích, které je třeba následovat. Museli jsme vytvořit celý zásobník, což nakonec vedlo k implementaci ověřovače STARK.“
Inspiruje novou cestu rozvoje
Zatímco výsledky si zaslouží oslavu, Chen trvá na tom, že práce není hotová. Na otázku, zda je optimistický ohledně své práce na vytvoření základu pro nové škálovací protokoly, jako jsou souhrny pro bitcoiny, vývojář rychle zfalšoval očekávání.
„Nápad zhruba funguje, ale proof-of-concept není připraven na výrobu. Důkazy platnosti také zabírají spoustu místa v bloku, což se může v budoucnu ukázat jako drahé.“
Přispěvatelé ve Starkware uznávají výzvy, které nás čekají, ale jsou přesvědčeni, že úspěch projektu představuje „monumentální skok vpřed“ směrem k řešením pro škálování bitcoinů, která mohou využít jejich technologii ZK rollup.
Jedna věc je jistá, spolupráce pravděpodobně dále posílí argumenty ve prospěch potenciálního soft forku OP_CAT. Aby bylo možné dát dohromady implementaci ověřovače, Chen říká, že musel vyvinout spolehlivý rámec pro smlouvy využívající CAT, který může sloužit ke zdůraznění všestrannosti návrhu na vylepšení skriptu. Věří, že ostatní vývojáři v ekosystému si mohou hrát s jeho kódem a dospět ke stejnému závěru jako on, pokud jde o jeho výhody.
„Nemyslím si, že existuje velké riziko, jakmile jsme vyvinuli osvědčené postupy. Není tolik míst, kde se to pokazí. Nyní máme jasnou ukázku toho, že OP_CAT lze bezpečným způsobem přizpůsobit různým smluvním projektům.“
Když byl dotázán na jeho záměr přispět k budoucímu aktivačnímu procesu, vývojář ochotně přiznává, že ještě není dostatečně obeznámen s veškerou dynamikou kolem vývoje bitcoinů s otevřeným zdrojovým kódem. Dále má v úmyslu sdílet svůj pokrok se členy vývojářské konference a doufá, že ostatní budou moci přispět recenzí a poskytnout zpětnou vazbu k jeho práci.
Chen se zamýšlí nad svými dosavadními zkušenostmi a okamžitě poukazuje na důležitost vytvoření úrodného prostředí pro nové vývojáře vstupující do ekosystému. Věří, že mnoho talentovaných vývojářů předává příležitost stavět na bitcoinu kvůli nedostatku soudržné vize.
„Právě teď neexistuje jasný smysl pro směr, což nechává přispěvatele v rozpacích ohledně jejich schopnosti ovlivnit budoucnost. Doufejme, že vznik nových nástrojů a primitiv může tuto situaci zlepšit, takže bitcoináři budou moci znovu snít.“
Zdroj: Bitcoin Magazine
The post A Zero-Knowledge Důkaz je ověřen na bitcoinu poprvé v historii appeared first on Crypto Breaking News.