Nil Foundation推出由zkLLVM编译的zkEVM1

2月2日消息，ZK技术开发商Nil Foundation发布一项新技术zkLLVM，使开发人员能够使用流行的编码语言Rust和C++来构建零知识电路，从而显着减少工作负载。 LLVM代表“低级虚拟机”，指的是一组开源代码库，开发人员使用这些库将可读代码“编译”为计算机可以解释的格式。 zkLLVM项目还将自动插入Nil Foundation最近宣布的ZK证明市场，它创建该市场是为了帮助ZK团队分担他们的工作，并将某些类型的计算外包给第三方。

7月8日消息，ZK基础设施和以太坊可扩展性解决方案开发商=nil;Foundation发推表示已正式上线Devnet。此前路线图显示，=nil;Foundation还将于11月推出生态系统测试网V1，2025年二季度和三季度推出测试网V2和V3，2025年四季度推出主网Alpha版本。

7月28日消息，ZK 技术开发商 Nil Foundation 发文称，Proof Market 已集成以太坊 Sepolia 测试网，为所有 EVM 应用程序实现可证明计算的可组合性。Proof Market EVM 端点使可证明计算与 EVM 应用程序兼容，这些应用程序不仅可以使用 zkLLVM 与 Proof Market 简化 zkProof 生成，还可以将证明排序原生集成到 Solidity 语言的应用程序代码中。通过该 EVM 端点，以太坊资产可以参与可证明计算，并将 Proof Market 集成到处理以太坊流动性的任何应用程序管道中。Proof Market 允许开发者按需处理 zk，从根本上降低了构建 zk 应用程序的复杂性。 Proof Market 测试版于 2023 年 1 月发布，起初主要用于以太坊 L1 之外的协议，其未来用例包括 zkML、zkOracles、zkBridges、欺诈证明等。

金色财经报道，Fantom Foundation表示，随着验证者本周开始升级，新Opera即将到来，即将推出由Sonic技术提供支持的Opera。此次升级旨在提高网络的可扩展性，最大变化是Opera链的新存储系统，旨在通过基于文件的StateDB减少访问时间。对于验证节点来说，有可能将存储需求减少90%以上。此外，升级还包括对Lachesis共识机制的优化和微调改进。

金色财经报道，据Lido官方博客披露，Lido DAO旗下LEGO理事会已接受提案来资助=nil; Foundation和Metacraft Labs，帮助这两个项目探索使用 zkLLVM 技术对去信任zk-proof TVL预言机进行额外的健全性和正确性检查，本次资助旨在构建去信任的会计技术，如果实施，将起到额外的预言机检查的作用，且不会完全替代当前会计预言机，以预言机会计流程中的去中心化和减少信任为重点的基本举措，并且以对现有协议提供更好的去中心化支持。Lido还表示，如果事实证明zk-proof技术的使用对于Lido Protocol预言机会计的运行是高效、安全和有益的，那么未来有可能部署到整个预言机。

1月20日消息，ZZK技术开发商Nil Foundation发文称，即将推出实现Mina Protocol与以太坊之间桥接的zkBridge。在准备生产部署前，还需完成证明生成、优化证明生成器和验证器部署三个步骤。 据金色财经此前报道，Nil基金会于去年年底完成2200万美元融资，融资完成后估值达到2.2亿美元。本轮融资由Polychain Capital领投，IOSG Ventures、Blockchain Capital、Starkware、Mina Protocol等参投。