{"id":26522,"date":"2023-12-12T15:42:54","date_gmt":"2023-12-12T15:42:54","guid":{"rendered":"https:\/\/nftandcrypto-news.com\/crypto\/ethereum-scaling-firm-nil-foundation-introduces-security-focused-zkevm\/"},"modified":"2023-12-12T15:42:56","modified_gmt":"2023-12-12T15:42:56","slug":"ethereum-scaling-firm-nil-foundation-introduces-security-focused-zkevm","status":"publish","type":"post","link":"https:\/\/nftandcrypto-news.com\/crypto\/ethereum-scaling-firm-nil-foundation-introduces-security-focused-zkevm\/","title":{"rendered":"Ethereum scaling firm =nil; Foundation introduces security-focused zkEVM"},"content":{"rendered":"
<\/p>\n
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.<\/p>\n
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.<\/p>\n
The firm\u2019s zkEVM is designed to be compatible with evmone, which is a C++ version of Ethereum\u2019s 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. <\/p>\n
Related:\u00a0Ethereum L2 Starknet aims to decentralize core components of its scaling network<\/em><\/strong><\/p>\n 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.<\/p>\n 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\u00a0Matter Labs releasing ZK-rollup solutions to provide high throughput, low fee capabilities to decentralized applications, services and network users.<\/p>\n Related:\u00a0Matter Labs steps back as zkSync launches ecosystem portal managed by DappRadar<\/em><\/strong><\/p>\n As Komarov explains, =nil; Foundation\u2019s solution hinges on an automated compiler contrasting the design of other zkEVMs, which manually define circuits. He describes existing approaches as \u201ctime-intensive\u201d and \u201coverly complex,\u201d which also runs the risk of introducing human error.<\/p>\n These concerns were evident in discovering\u00a0a soundness bug in the ZK-circuits used in Matter Labs\u2019 zkSync Era mainnet. Security firm ChainLight received a 50,000 USD Coin (USDC) reward from the firm for identifying the vulnerability in Sept. 2023.<\/p>\n Related:\u00a0Polygon co-founder: $1B bet on ZK-rollups paying off<\/em><\/strong><\/p>\n The bug would have allowed an attacker to produce proofs for invalidly executed blocks, which the smart contract\u00a0verifier on Ethereum\u2019s mainnet would have accepted. Matter Labs deployed a fix and awarded ChainLight a bug bounty, the first claimed for a ZK-circuit bug in the zkSync Era.<\/p>\n \u201cVitalik Buterin started talking about security concerns, like what if a circuit gets broken,\u201d Komarov explains.<\/p>\n \u201cWe started digging into it. The problem became obvious that these circuits are written manually. People spent years building it, but it basically recreates the same logic that EVM does, manually in the circuit representation.\u201d<\/p><\/blockquote>\n Komarov adds that this method makes code auditing extremely hard. The zkSync bug is an example of the potential for error involved in manually defined circuits. =Nil; Foundation\u2019s approach is to automate the compiler from Ethereum\u2019s EVM using its circuit compiler developed over the past two years.<\/p>\n \u201cThat\u2019s as close as we can get for the circuit to have the same security as Ethereum’s original implementation. If that\u2019s broken, then the circuit is broken.\u201d<\/p><\/blockquote>\n The solution is also designed to be adaptable to EVM changes as Ethereum\u2019s roadmap continues, providing a \u201cfuture-proof\u201d zkEVM compiler that does not require significant resources and time to upgrade, given its automated design. This allows the zkEVM to integrate the latest Ethereum Improvement Proposals as they take effect.<\/p>\n The foundation\u00a0published its prototype code repository and specifications on Dec. 12.<\/p>\n Magazine:\u00a0Here\u2019s how Ethereum\u2019s ZK-rollups can become interoperable<\/em><\/strong><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":" 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 […]<\/p>\n","protected":false},"author":1,"featured_media":26523,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","om_disable_all_campaigns":false,"footnotes":""},"categories":[42],"tags":[],"class_list":["post-26522","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-crypto"],"yoast_head":"\n