Autore: @yyy
Coinbase ha annunciato che entrerà nel mercato e costruirà un L2 basato su OP Stack - @BuildOnBase Il sentimento di "Bullish on Optimism" si è acceso ancora una volta. Cogliendo l'occasione, questo tweet parlerà del periodo di sfida dell'ottimismo.
Come tutti sappiamo, il ritiro dei fondi di secondo livello di Optimism sulla rete principale di Ethereum richiede un periodo di sfida di 7 giorni.
Allora perché esattamente 7 giorni? 3 giorni? Non 5 giorni?
Prima di rispondere a questa domanda, capiamo innanzitutto perché è necessario un periodo di sfida.
I rollup migliorano le prestazioni della rete principale di Ethereum disaccoppiando il livello di esecuzione da Ethereum. Ciò significa che le transazioni vengono eseguite sul secondo livello, ma per ereditare la sicurezza della rete principale di Ethereum, le transazioni che si verificano sul secondo livello devono essere verificate sulla rete principale.
Per dirla semplicemente, la rete principale di Ethereum deve confermare che la transazione inviata dal sequenziatore sia effettivamente avvenuta sul secondo livello, ovvero la validità della transazione.
Il rollup è diviso in zk-Rollup e Rollup ottimistico a causa dei diversi metodi di verifica della validità della transazione.
I metodi di verifica sono principalmente classificati in due categorie: a prova di conoscenza zero e a prova di frode. Con il meccanismo di prova a conoscenza zero, le transazioni hanno una finalità quasi istantanea.
Per le ORU basate sulla prova di frode, la definitività della transazione dipende dalla durata del periodo di sfida, il che spiega perché sono necessari 7 giorni affinché i fondi Optimism vengano ritirati dal secondo livello alla rete principale.
Secondo il meccanismo ORU, è ottimistico che tutte le transazioni di rollup inviate dal sequenziatore siano valide. Quindi, durante il periodo di sfida, il verificatore può avviare una prova di frode se rileva una transazione non valida.
Se nessuno contesta dopo il periodo di sfida, la transazione sarà considerata valida per impostazione predefinita e a questo punto la transazione sarà definitiva.
Ma il periodo di sfida dura davvero sette giorni? Semplifichiamo innanzitutto l'intero processo di contestazione: il verificatore scopre una transazione non valida ricostruendo la radice dello stato e quindi emette una prova di frode. Questa serie di azioni richiede tempo, il che significa che il periodo di sfida non può essere 0.
Partiamo dal presupposto che il processo di sfida di cui sopra sia molto veloce, 10 blocchi da completare (circa 2 minuti).
Naturalmente è impossibile avere una risposta così veloce, quindi se rallentiamo il tempo di 10 volte, fino a 100 blocchi (circa 20 minuti), questo tempo sarà molto inferiore a 50.400 blocchi (7 giorni).
La discussione di cui sopra si basa sulla situazione più ideale. Cosa succede se qualcuno fa del male sulla rete? Quanto tempo ci vuole per scoprire i malfattori?
O per dirla in altro modo, per quanto tempo deve essere esteso almeno il periodo di sfida per prevenire comportamenti malvagi? Il cattivo comportamento qui è quello di impedire che le prove fraudolente vengano ricevute dai validatori pubblicando un gran numero di transazioni per aumentare il gas per un periodo di tempo.
Qui facciamo un'altra ipotesi, supponendo che vi sia un'esposizione al rischio di 2 miliardi di dollari USA su Optimism, e che l'autore del reato sia disposto a spendere 1 milione di dollari USA in suggerimenti per il gas (commissioni prioritarie) per blocco per transazioni "front-run" che contengono prove di frode.
Quindi, il tempo massimo in cui la rete può essere "dirottata" è di 2000 blocchi (6,67 ore). Naturalmente, gli esempi precedenti si basano su presupposti molto semplici e grossolani.
Sembra che, indipendentemente da come lo guardi, il periodo di sfida non deve necessariamente durare fino a 7 giorni. È difficile comprendere la relazione non lineare tra la durata del periodo di sfida e la sicurezza.
Forse 7 è un numero molto significativo per il fondatore di Optimism, proprio come tutti intuivano che Satoshi Nakamoto fosse un appassionato di calcio durante il ciclo di dimezzamento quadriennale di Bitcoin.
Quindi, è possibile ridurre il periodo di verifica delle ORU a 3-5 giorni senza compromettere la sicurezza? Sì, ma non è molto ottimizzato per l'esperienza dell'utente.
Che ne dici di ridurre il periodo della sfida a 1-2 giorni? Sembra che possa avere senso ottimizzare in modo efficace l'esperienza dell'utente.
@0xMantle, un ORU incubato da BitDAO, può ridurre il periodo di sfida a 1-2 giorni. La logica di ottimizzazione del periodo di sfida si basa sullo schema MPC.
Per dirla semplicemente, il sequenziatore non invia direttamente il batch di transazioni a Ethereum, ma lo invia prima alla rete MPC, che viene firmata congiuntamente dai nodi MPC. Dopo aver confermato che la transazione è valida, viene inviata a Ethereum.
Quindi le differenze fondamentali sono:
L'ottimismo invia il batch contenente la radice dello stato a Ethereum come risultato dell'esecuzione;
Mantle invia batch contenenti root di stato firmati congiuntamente dai nodi MPC come risultati di esecuzione a Ethereum.
Lo scopo è ridurre il rischio di attendibilità dei risultati dell'esecuzione del rollup.
Ma in ultima analisi, la verifica MPC è ancora una soluzione di verifica off-chain, che è meglio di niente e fornisce un ulteriore conforto psicologico agli utenti.
Per usare una metafora inappropriata, lo schema di verifica MPC è come uno schema zk decentralizzato. La sicurezza del primo si basa su presupposti economici, mentre il secondo si basa sulla verifica crittografica.
Quanto sopra sono alcuni pensieri e discussioni sul periodo di sfida delle ORU. Non sono molto logici e dovrebbero essere usati come suggerimenti. A proposito, non vedo l'ora di vedere in futuro gli ORU (livelli di time-sharing) con periodi di sfida significativamente ridotti.