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