Zero-knowledge technology firm =nil; Foundation has developed a new type-1 zero-knowledge Ethereum Virtual Machine (zkEVM) compiler to address security concerns identified in similar ZK-powered Ethereum scaling solutions.
Speaking exclusively to Cointelegraph, =nil; Foundation CEO and co-founder Misha Komarov says the technology prioritizes security and allows high-level programming code to be compiled automatically into Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS) circuits.
The firm’s zkEVM is designed to be compatible with evmone, which is a C++ version of Ethereum’s base execution environment. The key takeaway is that the code of applications is processed and rolled up as proofs submitted to Ethereum in the same format as its EVM.
The compatibility is touted to ensure better security and quicker implementation, given that the bytecode is the same and removes the need for lengthy and expensive code audits. The approach also provides transactions and smart contracts directly compatible with the Ethereum Virtual Machine.
Several high-profile zkEVMs have come to market in 2023. These layer-2 protocols aim to help Ethereum process large transaction loads and smart contract functions. Cointelegraph has covered these at length, with companies like Consensys, Polygon, StarkWare and Matter Labs releasing ZK-rollup solutions to provide high throughput, low fee capabilities to decentralized applications, services and network users.
As Komarov explains, =nil; Foundation’s solution hinges on an automated compiler contrasting the design of other zkEVMs, which manually define circuits. He describes existing approaches as “time-intensive” and “overly complex,” which also runs the risk of introducing human error.
These concerns were evident in discovering a soundness bug in the ZK-circuits used in Matter Labs’ zkSync Era mainnet. Security firm ChainLight received a 50,000 USD Coin (USDC) reward from the firm for identifying the vulnerability in Sept. 2023.
The bug would have allowed an attacker to produce proofs for invalidly executed blocks, which the smart contract verifier on Ethereum’s mainnet would have accepted. Matter Labs deployed a fix and awarded ChainLight a bug bounty, the…