Inženýrství nešťastné cesty: Porozumění architektuře BitVM2 První část: Bezpečnost žije na cestě sporu Bitcoin L2 žije nebo umírá na své nešťastné cestě. U Bitcoinu nedostanete "spustit ověřovač na řetězu a jít dál". Dostanete omezené prostředí pro vykonávání, předepsané transakční grafy a časové zámky, které přesně určují, kdy může každá strana jednat. BitVM2 je optimistický vzorec vynucování Bitcoinu: spustit off-chain, poté udělat správnost vynucovatelnou pomocí on-chain protokolu pro spory postaveného na předem podepsaných transakcích. To vede k jednoduchému inženýrskému pravidlu: Pokud jsou spory drahé nebo lze je zastavit na základě poplatků, bezpečnostní model prostě nefunguje. Systémy založené na BitVM fungují tak, že umožňují operátorům vykonávat off-chain, poté dávají komukoliv možnost napadnout on-chain a donutit protokol k řešení sporu na základě předpokladu poctivosti 1 z n (alespoň jeden poctivý vyzyvatel pro platnost; alespoň jeden poctivý operátor pro živost). Tato cesta sporu je mechanismus. Předepsané transakce a jednorázové podpisy (výzvová okna, termíny odpovědí, finalizace) jsou "runtime" mostu a jeho výstupů. Když tedy mluvíme o stavbě na BitVM2, hlavní hvězdou nejsou marketingové termíny jako "bezdůvěra". Polárka je: • spory, které jsou dostatečně levné k vyřízení, • řetězový kontext, který je dostatečně objektivní, aby zabránil výjezdům typu "dokázat špatný stav" • transakční toky, které pokračují v reálném poplatku. Tato série rozebírá, jak jsme k těmto omezením v návrhu GOAT BitVM2 přistupovali, po jednotlivých částech. V části druhé přijdou: praktické překážky nasazení produkčně připraveného zkRollupu na Bitcoinu.