=nil; Foundation Introduces Type-1 zkEVM to Enhance Security for Ethereum Scaling

Ethereum-focused research and development organization =nil; Foundation , has launched its innovative Type-1 zkEVM today, aimed at enhancing security measures effective for Ethereum scaling. Driven by zkLLVM, =nil; boasts that this zkEVM is distinctive in that it employs automatic construction of core components, thereby reducing risks associated with manual circuit setup.

The Type-1 zkEVM is essential to =nil;’s zkRollup and utilizes zkSharding to securely scale Ethereum. It promises top-tier security alongside full compatibility with the existing Ethereum ecosystem.

“Our zkEVM is on the verge of transforming Ethereum scalability by tackling the security and compatibility issues that have hindered the flow of liquidity to zkRollups. The Type-1 zkEVM, which is compiled via zkLLVM, ensures enhanced auditability and removes the possibility of human error during circuit implementation,” stated Misha Komarov, CEO and co-founder of =nil; Foundation.

Automated Security via zkLLVM Compiler

=nil; Foundation asserts that security is at the core of the Type-1 zkEVM, powered by its unique zkLLVM compiler.

This compiler is capable of swiftly and automatically converting high-level programming languages, such as C++ and Rust, into efficient zk-SNARK circuits. According to the Ethereum research and development company, this automated process contrasts sharply with the common industry approach of manually defining circuits, which is often time-consuming, leads to overly complicated designs, and introduces risks of human mistakes.

Notable Features of =nil;’s zkEVM include:

1. Enhanced Auditability: Traditional zkEVMs frequently depend on manual circuit definitions that demand extensive and often prohibitively expensive auditing processes. =nil; claims that its automated circuit compilation from C++ simplifies the auditing procedure, making it more accessible and budget-friendly. The use of a widely-recognized programming language improves auditors’ access and comprehension, making verification straightforward.

2. Future-Proof Upgradability: =nil; maintains that its zkEVM shows outstanding flexibility in responding to changes in the EVM, representing a forward-thinking solution for Ethereum scaling. Unlike existing zkEVMs which require manual tweaks and validations for every change, =nil;’s automated compilation is positioned to streamline and hasten the integration of new EIPs in accordance with Ethereum standards.

3. Seamless Compatibility: As a Type-1 bytecode-compatible zkEVM, =nil;’s new technology aligns closely with evmone, a C++ implementation of Ethereum’s fundamental execution environment. This compatibility approach is intended to boost security while also facilitating faster deployment, thus avoiding the burdensome need for auditing an entirely separate bytecode implementation. On the other hand, less compatible zkEVMs often demand significant resources to accurately mimic EVM behavior, which may inadvertently introduce unforeseen security risks.

Empowering Ethereum with 60,000+ TPS

The recently unveiled zkEVM powers =nil;’s newly announced zkRollup, aiming for Ethereum scalability of over 60,000 transactions per second through zkSharding. The Ethereum-focused research and development firm envisions that it will enable developers to create composable applications with transparent access to Ethereum’s data.

=nill; Foundation has celebrated an impressive year with the launch of its native Proof Market, the zero-knowledge Low-Level Machine (zkLLVM), and the Placeholder Proof System. =nill; emphasizes that the introduction of Type-1 zkEVM further solidifies its dedication to enhancing the security and scalability of the Ethereum ecosystem.