Inginerie: Calea nefericită: Înțelegerea arhitecturii BitVM2 Partea a treia: Starea canonică necesită context de lanț O dovadă BitVM2 de tip peg-out este la fel de bună în funcție de starea pe care o dovedește. Dacă un operator poate alege intrările publice în timpul unei dispute, poate genera o demonstrație validă peste un istoric L2 incorect/bifurcat și totuși poate încerca să iasă. Criptografia este corectă; Contextul este greșit. Soluția GOAT Network este să ancoreze care istoric L2 este canonic prin commiterea setului de secvențiator activ pe Bitcoin. Cum funcționează (conceptual): • L2 rulează o rețea descentralizată de secvențiatoare, iar cheile publice ale secvențiatoarelor (sau un angajament față de ele) sunt ancorate pe Bitcoin. • Actualizările setului de secvențiere sunt executate printr-un flux de tranzacții pre-semnat, unde o actualizare este valabilă doar dacă este aprobată de un prag suficient (de exemplu 2/3) din setul curent. • Fluxul de actualizare confirmă hash-ul setului secvențiatorului din runda următoare pe Bitcoin (inclusiv un angajament OP_RETURN pentru o verificare mai ușoară). Apoi, în timpul verificării prin fixare, sistemul nu "are încredere în cea mai recentă stare a operatorului". Aceasta îl obligă pe operator să demonstreze că: • tranzacțiile relevante de actualizare a setului de secvențiere sunt confirmate pe cel mai lung lanț valid Bitcoin (context de lanț), și • starea L2 la care se face referire este derivată din acel set de secvențiatori cel mai recent angajat (canonicitate), și • arderea activului este inclusă în acea stare canonică L2. "Turnurile de veghe" există în mod special pentru a furniza și a atesta contextul lanțului Bitcoin folosit în provocări (antete/dovezi pentru cel mai lung lanț), astfel încât disputele pot lega "cel mai recent" de realitatea Bitcoin, mai degrabă decât de alegerea operatorului. Efectul net: un operator nu poate ieși în siguranță folosind o demonstrație prin un fork privat, deoarece demonstrația trebuie să fie consistentă cu istoricul setului secvențiatorului ancorat pe Bitcoin. Urmează: retragerile arbitrare ale utilizatorilor – separând fluxul "retragere x BTC" al utilizatorului de fluxul de dovadă de rambursare al operatorului.