Autor: @aaaa

Coinbase a anunțat că va intra pe piață și va construi un L2 bazat pe OP Stack - @BuildOnBase Sentimentul „Bullish on Optimism” a fost din nou aprins. Profitând de această ocazie, acest tweet va vorbi despre perioada de provocare a Optimismului.

După cum știm cu toții, retragerea fondurilor din al doilea nivel ale Optimism către rețeaua principală Ethereum necesită o perioadă de provocare de 7 zile.

Deci de ce exact 7 zile? 3 zile? Nu 5 zile?

Înainte de a răspunde la această întrebare, să înțelegem mai întâi de ce este necesară o perioadă de provocare.

Rollup-urile îmbunătățesc performanța rețelei principale Ethereum prin decuplarea stratului de execuție de la Ethereum. Aceasta înseamnă că tranzacțiile sunt executate pe al doilea strat, dar pentru a moșteni securitatea rețelei principale Ethereum, tranzacțiile care au loc pe al doilea strat trebuie verificate pe rețeaua principală.

Mai simplu spus, rețeaua principală Ethereum trebuie să confirme că tranzacția transmisă de secvenționar a avut loc de fapt pe al doilea strat, adică validitatea tranzacției.

Rollup este împărțit în zk-Rollup și Optimistic Rollup datorită diferitelor metode de verificare a validității tranzacției.

Metodele de verificare sunt clasificate în principal în două categorii: dovada de zero cunoștințe și dovada de fraudă. În cadrul mecanismului de verificare a cunoștințelor zero, tranzacțiile au o finalitate aproape instantanee.

Pentru ORU-urile bazate pe dovada fraudei, finalitatea tranzacției depinde de durata perioadei de contestare, ceea ce explică de ce este nevoie de 7 zile pentru ca fondurile Optimism să fie retrase din al doilea strat în rețeaua principală.

În cadrul mecanismului ORU-urilor, este optimist că toate tranzacțiile Rollup trimise de secvenționar sunt valide. Apoi, în timpul perioadei de contestare, verificatorul poate iniția o dovadă a fraudei dacă găsește o tranzacție nevalidă.

Dacă nimeni nu contestă după perioada de contestare, tranzacția va fi considerată valabilă în mod implicit, iar tranzacția va fi definitivă în acest moment.

Dar perioada de provocare durează într-adevăr șapte zile? Să simplificăm mai întâi întregul proces de provocare: verificatorul descoperă o tranzacție nevalidă reconstruind rădăcina de stat și apoi emite o dovadă a fraudei. Această serie de acțiuni necesită timp, ceea ce înseamnă că perioada de provocare nu poate fi 0.

Presupunem că procesul de provocare de mai sus este foarte rapid, 10 blocuri de finalizat (aproximativ 2 minute).

Desigur, este imposibil să avem un răspuns atât de rapid, așa că dacă încetinim timpul de 10 ori, la 100 de blocuri (aproximativ 20 de minute), acest timp va fi mult mai scurt decât 50.400 de blocuri (7 zile).

Discuția de mai sus se bazează pe cea mai ideală situație dacă cineva face rău în rețea? Cât timp durează pentru a descoperi faptele rele?

Sau, altfel spus, cât timp trebuie prelungită perioada de provocare cel puțin pentru a preveni comportamentul rău? Comportamentul rău aici este de a preveni primirea de dovezi frauduloase de către validatori prin publicarea unui număr mare de tranzacții pentru a crește gazul într-o perioadă de timp.

Aici facem o altă ipoteză, presupunând că există o expunere la risc de 2 miliarde de dolari SUA pentru Optimism, iar făptuitorul este dispus să cheltuiască 1 milion de dolari SUA în bacșișuri (taxe prioritare) pe bloc pentru tranzacții „front-run” care conțin dovezi de fraudă.

Apoi, timpul maxim în care rețeaua poate fi „deturnată” este de 2000 de blocuri (6,67 ore). Desigur, exemplele anterioare se bazează pe câteva ipoteze foarte simple și brute.

Se pare că, indiferent de cum ai privi, perioada de provocare nu trebuie să fie de 7 zile. Este dificil de înțeles relația neliniară dintre durata perioadei de provocare și securitate.

Poate că 7 este un număr foarte semnificativ pentru fondatorul Optimism, la fel cum toată lumea a ghicit că Satoshi Nakamoto a fost un pasionat de fotbal în timpul ciclului de înjumătățire al Bitcoin de 4 ani.

Deci, perioada de provocare pentru ORU poate fi scurtată la 3-5 zile fără a compromite securitatea? Da, dar nu este foarte optimizat pentru experiența utilizatorului.

Ce zici de scurtarea perioadei de provocare la 1-2 zile? Se pare că poate avea sens să optimizam eficient experiența utilizatorului.

@0xMantle, un ORU incubat de BitDAO, poate scurta perioada de provocare la 1-2 zile. Logica de optimizare a perioadei de provocare se bazează pe schema MPC.

Pentru a spune simplu, secvențiatorul nu trimite direct lotul de tranzacții la Ethereum, ci îl trimite mai întâi la rețeaua MPC, care este semnată în comun de nodurile MPC După confirmarea că tranzacția este valabilă, este transmisă la Ethereum.

Deci diferențele de bază sunt:

Optimism trimite lotul care conține rădăcina de stat către Ethereum ca rezultat al execuției;

Mantle trimite către Ethereum loturi care conțin rădăcini de stat semnate în comun de nodurile MPC ca rezultate de execuție.

Scopul este de a reduce riscul de încredere al rezultatelor execuției Rollup-ului.

Dar, în final, verificarea MPC este încă o soluție de verificare în afara lanțului, care este mai bună decât nimic și oferă un plus de confort psihologic utilizatorilor.

Pentru a folosi o metaforă inadecvată, schema de verificare MPC este ca o schemă zk descentralizată. Securitatea primei se bazează pe ipoteze economice, în timp ce cea din urmă se bazează pe verificarea criptografică.

Cele de mai sus sunt câteva gânduri și discuții despre perioada de provocare a ORU. Acestea nu sunt foarte logice și ar trebui folosite ca sugestii. BTW, încă aștept cu nerăbdare să văd ORU (niveluri de partajare a timpului) cu perioade de provocare semnificativ scurtate în viitor.