I ricercatori di Ethereum affrontano un divario di sicurezza di 52,14 bit per zkEVM prima di dicembre

Punti chiave

Il contest better.codes di Ethereum mostra un certificato inferiore di 63,99 bit e un certificato superiore di 116,13 bit per koalaIRS12. I due certificati lasciano irrisolto un divario di 52,14 bit dopo nove submission promosse da sette solver. Il punteggio della sfida non misura la soundness dell'intero sistema né la sicurezza completa di zkEVM. La revisione di inizio dicembre dei ricercatori di Ethereum richiede inoltre una valutazione della soundness a livello di sistema, la conformità alle dimensioni delle prove, argomentazioni sulla ricorsione e prove dell'implementazione.

Sentiment di mercato

Neutrale, trainato dalla tecnologia.

Motivazione: I ricercatori di Ethereum stanno misurando un divario di sicurezza irrisolto del sistema di prove senza modificare il percorso di validazione critico per il consenso di Ethereum.

Casi storici simili

Questo tipo di ricerca sulla sicurezza formale tende in genere a rafforzare gradualmente la fiducia attraverso prove riproducibili, invece di provocare un'immediata rivalutazione del mercato. Il benchmark attuale dispone di un teorema e di un ambiente di verifica fissati, rendendo direttamente comparabili le variazioni successive dei certificati.

Effetto a catena

L'impatto immediato resta circoscritto alla ricerca sulla sicurezza di zkEVM, perché la riesecuzione da parte dei normali client di esecuzione continua a guidare l'attestazione di Ethereum. Se l'intervallo dei certificati si restringesse, il risultato potrebbe rafforzare il successivo lavoro sulla sicurezza a livello di sistema senza dimostrare autonomamente la sicurezza di zkEVM in produzione.

Opportunità e rischi

Opportunità: I lettori possono monitorare se il certificato inferiore si avvicina all'obiettivo codificato di 128 bit. Un intervallo più ristretto fornirebbe prove più solide a livello di componente per le future argomentazioni sulla sicurezza di zkEVM.

Rischi: I lettori dovrebbero monitorare se Ethereum pubblicherà la valutazione a livello di sistema e le prove dell'implementazione richieste per la revisione di inizio dicembre. Il solo risultato del benchmark non dimostra la sicurezza completa di zkEVM in produzione.