ZK技术开发公司=nil; Foundation正式推出由zkLLVM驱动的全新Type-1 zkEVM，旨在通过其独特的zkLLVM编译器提高以太坊扩展的安全性。zkEVM V1已经对公众开放，包含了原型代码库、规范和博客文章供社区查阅。

作为第一个通过自动构建核心组件的zkEVM，=nil; 利用zkLLVM快速自动编译高级代码(C++或Rust)为高效的zk-SNARK电路。这一自动化编译与当前行业标准形成鲜明对比，后者需要手动定义电路，耗时且容易引入人为错误。=nil; 的zkEVM关键特性包括可审计性(采用C++编译的电路方式更为可行且经济实惠，更易审计) ；可升级性(对EVM的更改能够轻松自动重新编译电路)；兼容性 (Type-1字节码与以太坊基础执行环境的C++版本evmone最为接近)。

=nil; 团队自成立以来一直处于以太坊可扩展性解决方案的前沿。今年上半年，他们以2.2亿美元的估值完成了2200万美元融资，由Polychain Capital领投，IOSG Ventures、Blockchain Capital、Starkware、Mina Protocol等参投。最近推出的 zkRollup 通过 zkSharding 将以太坊安全的扩展到 60,000+ TPS。在这一年里，结合密码学、零知识技术和数据库管理系统，=nil; Foundation成功推出了本地证明市场Proof Market、zkLLVM、Placeholder Proof System等先进产品。