Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

GOAT Network 🟡
Bitcoin Native ZK Rollup cu randament sustenabil BTC
Cedează https://t.co/VnKrDmHRif
TG https://t.co/NSgbSrJa3h
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.

GOAT Network 🟡12 ian., 20:09
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ă".
1,79K
Limită superioară
Clasament
Favorite
