=nil;Foundation已上线Devnet

金色财经报道，ZK 技术开发商Nil Foundation在社交媒体上称，已推出由zkLLVM编译的Type-1 zkEVM zkEVM1，并通过zkSharding扩容至以太坊。zkEVM1电路自动编译，兼容Type-1字节码，易于审核与升级。

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

7月23日消息，由 Paradigm 和 Lido 投资的再质押协议 Symbiotic 于 X 发文表示，其核心合约（core contracts）已上线 GitHub，标志着再质押协议中的首次罚没（slashing）代码部署。 该代码可能会发生变更，并将接受来自 Statemind、Chainsecurity、Zellic、Osec 和 Certora 的 5 项独立审计。 官方表示，开放代码库可以让任何人开始探索使用 Symbiotic 进行构建的可能性。此外，完全的 Devnet 即将发布。

3月14日消息，并行EVM网络Monad发文称，Devnet内部测试网已上线，在EVM上已实现10,000真实TPS。 开发者们将通过该网络第一次看到Monad的效果，但该网络不会向公众开放，也不会是Monad网络最终的状态。

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

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、欺诈证明等。