Inženýrství nešťastné cesty: Porozumění architektuře BitVM2 Druhá část: Praktické blokátory BitVM2 BitVM2 je silný mostní framework, ale "funguje teoreticky" není laťkou pro Bitcoin. Měřítkem je, zda je nešťastná cesta levná, jednoznačná a kompatibilní s motivací. V nasazení BitVM2 ve stylu zkRollup se rychle objevují tři praktické blokátory: 1. Prokázání nesprávného stavu Během zpochybněného peg-outu se operátor může pokusit použít platný důkaz nad nesprávnou nebo rozvetvenou historií L2. Pokud "nejnovější stav" není objektivně určen, může být důkaz interně správný, ale ekonomicky podvodný. 2. Uživatelé nemohou vybírat libovolné částky Klasické výstupy v BitVM2 jsou vázány na pevné množství L1 připinů a toky ve stylu operátora. Od koncových uživatelů nelze očekávat, že spustí pracovní postup operátora jen proto, aby vybrali "x BTC". 3. Pobídky spolehlivě nevyplatí poctivému aktérovi Pokud vyzyvatelé nedostávají pravidelně zaplaceno, přestanou sledovat. Jeden konkrétní způsob selhání: entita, která financuje nebo zahajuje výzvu, nemusí být nutně tou, která provede poslední krok vyvrácení, takže odměny mohou získat i ostatní. Návrh GOAT BitVM2 se zaměřuje přímo na tyto oblasti třemi architektonickými kroky: • Commitovat sekvencer nastavený na Bitcoinu tak, aby "kanonický L2 stav" byl externě ukotvený. • Přesunout kolaterál operátora/vyzyvatele na L2 + použít tok výběru atomic swap, aby uživatelé čistě vybíhali libovolné částky, zatímco operátoři si proplácejí náklady pomocí L2 proofů. • Snížit režii sporu pomocí zkreslených obvodů + DV-SNARK, aby byla cesta výzvy operačně proveditelná. Následuje v části třetí: co znamená ukotvit kanonický L2 pohled na Bitcoin commitováním sekvencerové sady a proč to uzavírá výstup "dokazovat špatný stav".