Inginerie: Calea nefericită: Înțelegerea arhitecturii BitVM2 Partea a doua: Blocatoarele practice ale BitVM2 BitVM2 este un framework de punte puternic, dar "funcționează în teorie" nu este bara pentru Bitcoin. Standardul este dacă calea nefericită este ieftină, fără echivoc și compatibilă cu stimulentele. Într-o implementare BitVM2 în stil zkRollup, trei blocatori practici apar rapid: 1. Demonstrarea stării greșite În timpul unui peg-out contestat, operatorul poate încerca să folosească o demonstrație validă peste un istoric L2 incorect/bifurcat. Dacă "ultima stare" nu este determinată obiectiv, dovada poate fi corectă intern, dar frauduloasă din punct de vedere economic. 2. Utilizatorii nu pot retrage sume arbitrare Clasicul BitVM2 este legat de cantități fixe de pin-in L1 și fluxuri de tip operator. Nu se poate aștepta ca utilizatorii finali să ruleze un flux de lucru al operatorului doar pentru a retrage "x BTC". 3. Stimulentele nu plătesc în mod constant actorul cinstit Dacă provocatorii nu sunt plătiți constant, încetează să mai urmărească. Un mod specific de eșec: entitatea care finanțează/inițiază o provocare nu este neapărat cea care încalcă pasul final de infirmare, așa că recompensele pot fi capturate de alții. Designul GOAT BitVM2 vizează direct aceste acțiuni prin trei mișcări arhitecturale: • Să commită setul secvențiatorului pe Bitcoin astfel încât "starea canonică L2" să fie ancorată extern. • Mutarea garanției operatorilor/challenger-ului în L2 + folosirea fluxului de retragere a swap-ului atomic astfel încât utilizatorii să retragă sume arbitrare curat, în timp ce operatorii se rambursează singuri prin demonstrații L2. • Reducerea costurilor de dispută cu circuite distorsionate + DV-SNARK, astfel încât calea provocării să fie operațional fezabilă. Urmează în Partea a Treia: ce înseamnă să ancorezi viziunea canonică L2 asupra Bitcoin prin commiterea setului secvențiatorului și de ce acest lucru închide ieșirea "dovedește starea greșită".