Autor: @yyy

Coinbase oznámila, že vstoupí na trh a postaví L2 založenou na OP Stack - @BuildOnBase. Při této příležitosti bude tento tweet hovořit o období výzvy optimismu.

Jak všichni víme, výběr prostředků druhé vrstvy společnosti Optimism na hlavní síť Ethereum vyžaduje 7denní zkušební období.

Tak proč zrovna 7 dní? 3 dny? Ne 5 dní?

Než odpovíme na tuto otázku, nejprve pochopíme, proč je vyžadováno období výzvy.

Souhrny zlepšují výkon hlavní sítě Ethereum oddělením prováděcí vrstvy od Etherea. To znamená, že transakce jsou prováděny na druhé vrstvě, ale aby bylo možné zdědit bezpečnost hlavní sítě Ethereum, transakce probíhající na druhé vrstvě musí být ověřeny na hlavní síti.

Jednoduše řečeno, Ethereum mainnet potřebuje potvrdit, že transakce zadaná sekvencerem skutečně proběhla na druhé vrstvě, tedy platnost transakce.

Rollup se dělí na zk-Rollup a Optimistic Rollup z důvodu různých metod ověřování platnosti transakce.

Metody ověřování se dělí hlavně do dvou kategorií: důkaz s nulovými znalostmi a důkaz proti podvodu. V rámci mechanismu důkazu nulových znalostí mají transakce téměř okamžitou konečnost.

U jednotek ORU založených na důkazu podvodu závisí konečnost transakce na délce období výzvy, což vysvětluje, proč trvá 7 dní, než jsou prostředky Optimism vybrány z druhé vrstvy do hlavní sítě.

V rámci mechanismu ORU je optimistické, že všechny kumulativní transakce odeslané sekvenátorem jsou platné. Poté během období výzvy může ověřovatel zahájit důkaz o podvodu, pokud najde neplatnou transakci.

Pokud po uplynutí lhůty pro výzvy nikdo nevznese námitku, transakce bude standardně považována za platnou a transakce bude v tuto chvíli konečná.

Ale trvá období výzvy opravdu sedm dní? Nejprve zjednodušíme celý proces výzvy: ověřovatel objeví neplatnou transakci rekonstrukcí kořene stavu a poté vydá důkaz o podvodu. Tato série akcí vyžaduje čas, což znamená, že období výzvy nemůže být 0.

Předpokládáme, že výše uvedený proces výzvy je velmi rychlý, 10 bloků k dokončení (asi 2 minuty).

Samozřejmě je nemožné mít tak rychlou odezvu, takže pokud zpomalíme čas 10x, na 100 bloků (asi 20 minut), bude tato doba mnohem kratší než 50 400 bloků (7 dní).

Výše uvedená diskuse vychází z nejideálnější situace Co když někdo dělá zlo na síti? Jak dlouho trvá odhalení pachatelů zla?

Nebo jinak řečeno, jak dlouho je třeba prodloužit období výzvy, aby se předešlo zlému chování? Špatným chováním je zabránit tomu, aby ověřovatelé obdrželi podvodné důkazy tím, že zveřejní velké množství transakcí za účelem zvýšení plynu za určité časové období.

Zde uděláme další předpoklad, za předpokladu, že optimismus je vystaven riziku ve výši 2 miliard USD a pachatel je ochoten utratit 1 milion USD za spropitné za plyn (prioritní poplatky) za blok na „předběžné“ transakce, které obsahují důkazy o podvodu.

Maximální doba, po kterou může být síť „unesena“, je 2000 bloků (6,67 hodiny). Předchozí příklady jsou samozřejmě založeny na několika velmi jednoduchých a hrubých předpokladech.

Zdá se, že bez ohledu na to, jak se na to díváte, období výzvy nemusí trvat až 7 dní. Je obtížné pochopit nelineární vztah mezi délkou období výzvy a bezpečností.

Možná je 7 pro zakladatele Optimismu velmi smysluplné číslo, stejně jako všichni hádali, že Satoshi Nakamoto byl fotbalový nadšenec během čtyřletého cyklu bitcoinu na polovinu.

Lze tedy zkušební období pro ORU zkrátit na 3–5 dní, aniž by byla ohrožena bezpečnost? Ano, ale není příliš optimalizován pro uživatelský dojem.

Co takhle zkrátit dobu výzvy na 1-2 dny? Zdá se, že může mít smysl efektivně optimalizovat uživatelskou zkušenost.

@0xMantle, ORU inkubovaný BitDAO, může zkrátit dobu trvání výzvy na 1-2 dny. Optimalizační logika období výzvy je založena na schématu MPC.

Zjednodušeně řečeno, sekvencer neodešle transakční dávku přímo do Etherea, ale nejprve ji odešle do sítě MPC, která je společně podepsána uzly MPC Po potvrzení platnosti transakce je odeslána do Etherea.

Takže základní rozdíly jsou:

Optimismus odešle dávku obsahující kořen stavu do Etherea jako výsledek provedení;

Mantle odesílá dávky obsahující kořeny stavu společně podepsané uzly MPC jako výsledky provádění do Etherea.

Účelem je snížit riziko důvěryhodnosti výsledků spouštění souhrnu.

Ale v konečné analýze je MPC verifikace stále řešením off-chain ověřování, které je lepší než nic a poskytuje uživatelům další psychologický komfort.

Abychom použili nevhodnou metaforu, schéma ověřování MPC je jako decentralizované schéma zk. Zabezpečení prvního je založeno na ekonomických předpokladech, zatímco druhé je založeno na kryptografickém ověření.

Výše uvedené jsou některé úvahy a diskuse o období výzvy ORU. Nejsou příliš logické a měly by být použity jako návrhy. BTW, stále se těším, až v budoucnu uvidím ORU (time-sharing levely) s výrazně zkrácenými obdobími výzev.