Inżynieria Nieszczęśliwej Ścieżki: Zrozumienie Architektury BitVM2 Część Druga: Praktyczne Blokady BitVM2 BitVM2 to silny framework mostowy, ale "działa w teorii" to nie jest wystarczający próg dla Bitcoina. Kryterium to, czy nieszczęśliwa ścieżka jest tania, jednoznaczna i zgodna z zachętami. W wdrożeniu BitVM2 w stylu zkRollup szybko pojawiają się trzy praktyczne blokady: 1. Dowodzenie niewłaściwego stanu Podczas zakwestionowanego wypłacania, operator może próbować użyć ważnego dowodu na niepoprawnej/rozgałęzionej historii L2. Jeśli "najświeższy stan" nie jest obiektywnie określony, dowód może być wewnętrznie poprawny, ale ekonomicznie oszukańczy. 2. Użytkownicy nie mogą wypłacać dowolnych kwot Klasyczne wypłaty BitVM2 są związane z ustalonymi kwotami peg-in L1 i przepływami operatorów. Użytkownicy końcowi nie mogą być zobowiązani do uruchamiania przepływu operatora tylko po to, aby wypłacić "x BTC". 3. Zachęty nie płacą niezawodnie uczciwemu aktorowi Jeśli wyzywający nie są regularnie opłacani, przestają obserwować. Jeden konkretny tryb awarii: podmiot, który finansuje/inicjuje wyzwanie, niekoniecznie jest podmiotem, który przeprowadza ostateczny krok obalenia, więc nagrody mogą być przechwytywane przez innych. Projekt GOAT BitVM2 celuje w te problemy bezpośrednio trzema ruchami architektonicznymi: • Zatwierdzenie zestawu sekwencerów na Bitcoinie, aby "kanoniczny stan L2" był zewnętrznie zakotwiczony. • Przeniesienie zabezpieczenia operatora/wyzywającego do L2 + użycie przepływu wypłaty w atomic swap, aby użytkownicy mogli wypłacać dowolne kwoty w sposób czysty, podczas gdy operatorzy zwracają sobie koszty za pomocą dowodów L2. • Zmniejszenie kosztów sporów za pomocą zniekształconych obwodów + DV-SNARK, aby ścieżka wyzwania była operacyjnie wykonalna. W następnej części Trzeciej: co to znaczy zakotwiczyć kanon widoku L2 na Bitcoinie poprzez zatwierdzenie zestawu sekwencerów i dlaczego to zamyka wyjście "udowodnij niewłaściwy stan".