= zero; Foundation svela il compilatore zkEVM automatizzato per rafforzare la sicurezza di scaling di Ethereum
Summary:
= zero; Foundation ha creato un compilatore a conoscenza zero di tipo 1 per la Ethereum Virtual Machine (zkEVM) per affrontare i problemi di sicurezza identificati in soluzioni di scalabilità Ethereum simili. In un'intervista, il CEO Misha Komarov ha sottolineato che la tecnologia consente la compilazione automatica di codice di programmazione di alto livello nei circuiti zk-SNARKS. Questo metodo offre la compatibilità diretta con Ethereum Virtual Machine per le transazioni e gli smart contract. L'approccio della Fondazione automatizza il compilatore zkEVM dall'EVM di Ethereum utilizzando il suo compilatore di circuiti vecchio di due anni. Ciò garantisce una migliore sicurezza, un'implementazione efficiente e l'adattabilità agli aggiornamenti EVM. Il 12 dicembre la Fondazione ha condiviso il suo repository di codice prototipo e le specifiche.
= zero; Foundation, un'azienda specializzata in tecnologia a conoscenza zero, ha presentato un nuovo compilatore a conoscenza zero di tipo 1 per la Ethereum Virtual Machine (zkEVM). Questo sviluppo arriva in risposta alle sfide di sicurezza identificate in simili soluzioni di scalabilità di Ethereum basate sulla conoscenza zero. In un'intervista esclusiva con Cointelegraph, Misha Komarov, CEO e co-fondatore di =nil; Foundation, ha sottolineato che questa tecnologia di nuova concezione enfatizza la sicurezza e facilita la compilazione automatica di codici di programmazione di alto livello in circuiti Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS). Lo zkEVM dell'organizzazione ha lo scopo di sincronizzarsi con evmone, una versione C++ dell'ambiente di esecuzione root di Ethereum.
La caratteristica degna di nota è che la codifica dell'applicazione viene elaborata e raggruppata in prove che vengono presentate a Ethereum in un formato simile al suo EVM. Questa compatibilità garantisce una maggiore sicurezza e un'esecuzione più vivace in quanto utilizza bytecode identici, eliminando così la necessità di verifiche del codice lunghe e costose. Inoltre, questo metodo offre la compatibilità diretta con Ethereum Virtual Machine per le transazioni e gli smart contract.
Nel 2023 sono stati lanciati diversi zkEVM di spicco nel settore. Questi protocolli layer-2 mirano a gestire grandi volumi di transazioni e ad assistere le operazioni degli smart contract di Ethereum. Grandi aziende come Consensys, Polygon, StarkWare e Matter Labs hanno presentato soluzioni ZK-rollup per facilitare un throughput elevato e tariffe convenienti per applicazioni, servizi e utenti di rete decentralizzati.
Komarov ha spiegato che = zero; L'approccio di Foundation si basa su un compilatore automatico, distinguendolo da altri zkEVM che delineano manualmente i circuiti. Ha criticato le strategie esistenti come laboriose, eccessivamente intricate e suscettibili di errori umani. Questo problema si è manifestato quando è stato scoperto un bug di solidità nei circuiti ZK utilizzati nella mainnet zkSync Era di Matter Labs. ChainLight, una società di sicurezza, ha identificato il bug e ha ricevuto una ricompensa di 50.000 dollari US Coin (USDC) da Matter Labs nel settembre 2023. La falla avrebbe potuto consentire a un utente malintenzionato di inventare prove per blocchi eseguiti in modo improprio che sarebbero stati accettati dal verificatore di smart contract della mainnet di Ethereum.
Riflettendo sulla recente scoperta, Komarov ha rivelato: "Vitalik Buterin ha iniziato a discutere le preoccupazioni sulla sicurezza del circuito, come la possibilità di un circuito rotto". Ha continuato: "Dopo ulteriori indagini, è diventato chiaro che questi circuiti sono scritti manualmente. Le persone impiegano anni a svilupparli, ma essenzialmente replicano manualmente ciò che l'EVM fa nelle loro rappresentazioni circuitali".
Secondo Komarov, questo approccio manuale complica gli audit del codice. Il bug rilevato in zkSync funge da esempio di tali potenziali errori. La soluzione ideata da =nil; Foundation automatizza il compilatore dall'EVM di Ethereum utilizzando il suo compilatore di circuiti vecchio di due anni. Komarov ha sostenuto che questo metodo assicura che "la sicurezza del circuito corrisponda a quella dell'implementazione originale di Ethereum".
La soluzione sviluppata è anche pensata per essere flessibile agli aggiornamenti EVM in linea con i futuri sviluppi di Ethereum, fornendo un compilatore resiliente per zkEVM che, grazie al suo design automatizzato, non richiede grandi investimenti in tempo e risorse per gli aggiornamenti. Di conseguenza, consente allo zkEVM di adottare le ultime proposte di miglioramento di Ethereum man mano che vengono implementate. La fondazione ha condiviso il suo repository di codice prototipo e le specifiche il 12 dicembre.
Published At
12/12/2023 6:00:00 PM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.