Hráč SNARK skutečně oznámil, že sleduje STARKA? STARK éra s @zksync přichází tak brzy, @Starknet se třese!
Jaká je tedy nová verze Boojum upgradu zkSync? Proč zkSync oznámil svůj upgrade Stark tak rychle? Jaký je zásadní rozdíl mezi snarkem a starkem? Jaký dopad bude mít tento upgrade na trh L2?
Z hlediska technické diskuse pojďme rychle komentovat a diskutovat. 1/5
Jednoduše řečeno, Boojum je přechodová verze zkSync ze systému SNARK na STARK proof.
To znamená, že po dlouhou dobu bude mít certifikační systém Prover od zkSync rozhraní jako Stark. Většina běžných potřeb bude stále používat vyspělou certifikaci SNARK. Jednotlivé aplikace, zejména ty v multiřetězcovém prostředí zk Stack, musí používat zk Toho lze dosáhnout připojením k boojum. 2/5
Klíčovým bodem je, že Boojum je pro zkSync nevyhnutelnou volbou pro implementaci multichainové strategie zk Stack.
Ve srovnání se STARKem se důkaz SNARKem spoléhá na rekurzivní ověřování, které je vhodné pro důkaz zk dedukce založený na stejném veřejném klíči ve stejném systému, zatímco důkaz STARK může být založen na neinteraktivním ověřování, což umožňuje komplexní nerekurzivní ověřování v cross-chain stavu.
Toto je základní rozdíl mezi ochrannými systémy SNARK a STARK.
Ve srovnání s ověřovací metodou SNARK založenou na matematických předpokladech obsahuje proces dokazování STARK velké množství redundantních informací, takže vyžaduje relativně vysoké výpočetní algoritmické zdroje a poplatky jsou také relativně vysoké.
Hlavní řetězec zkSync proto bude i v budoucnu nadále používat SNARK jako svůj hlavní systém důkazů a STARK je pouze rozšířením jeho multiřetězcové strategie.
To je v souladu s duchem lehkého a efektivního vývoje zkSync.
Práce zkSync na Boojum a Starknet proto není ve stejné strategické dimenzi, ale bude představovat určitou hrozbu pro další, jako je Op Stark, Arbitrum Orbit a Polygon2.0.
Víte, přechod zkSyncu na STARK je ekvivalentem přiznání technických nedostatků SNARKu. Využívajíc smrtící zbraň konkurence k proražení vlastního stropu, tato vlna vizí a ambicí hráčů L2 jde opravdu jedna za druhou.