zkllvm

ChainCatcher 消息，ZK 技术开发商=nil; Foundation 宣布推出新型 Type-1 zkEVM，由 zkLLVM 驱动，旨在提升以太坊扩展的安全性。 zkEVM V1现已向公众开放，包含原型代码库、规范和相关博客文章。 =nil;利用 zkLLVM 将高级代码（如 C++或 Rust）自动编译为高效的 zk-SNARK 电路，这种自动化编译方式与传统手动定义电路的方法形成对比。=nil; zkEVM 的关键特性包括可审计性 (采用 C++编译的电路方式更为可行且经济实惠，更易审计) ；可升级性 (对 EVM 的更改能够轻松自动重新编译电路)；兼容性 (Type-1 字节码与以太坊基础执行环境的 C++版本 evmone 最为接近)。 根据加密数据平台 RootData 显示，ZK 技术开发商=nil; Foundation 曾于今年 1 月份以 2.2 亿美元的估值完成 2200 万美元融资。

ChainCatcher 消息，Lido 生态系统组织 Lido DAO 通过 LEGO (Lido Ecosystem Grants Organisation）将资助 =nil; Foundation 和 Metacraft Labs 探索使用 zkLLVM 技术对去信任 zk-proof TVL 预言机进行额外的健全性和正确性检查。本次资助旨在构建去信任的会计技术，如果实施，将起到额外的预言机检查的作用，且不会完全替代当前会计预言机；通过支持预言机会计流程中的去中心化和减少信任为重点的基本举措，对现有协议提供更好的去中心化支持。 Lido 还表示，如果事实证明 zk-proof 技术对于 Lido Protocol 预言机会计的运行是高效、安全和有益的，那么未来有可能在整个预言机体系中逐步推出更广泛的功能。

ChainCatcher 消息，ZK 技术开发商 Nil Foundation 发文表示，使用 zkLLVM 构建的 zkOracle 电路获得了 Lido 生态系统开发资助的批准。根据 Lido 要求定制的 zkOracle 电路可以自动执行对以太坊 EVM 内历史数据的无信任访问，为 Lido 的会计报告提供基于 zk 的无信任合理性检查，改进 stETH 奖励和发行机制。 根据介绍 Lido 质押用户的奖励根据常规会计报告分发给 stETH 持有者，据悉该报告包含抵押的总锁定价值、活跃/退出的验证人数量、提款和奖励余额等信息，如果会计报告（或其验证）受到损害，奖励过程也将受到损害。因此，该报告必须尽可能安全，而基于 zkLLVM 的 zkOracle 可实现以无信任的方式验证报告的关键部分。

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