ZK-ZKVM 项目 Ola 发现隐私网络 Aleo Record 校验漏洞，现已修复

ChainCatcher 消息，Ola 团队开发人员 Payne 发推称，在 Aleo 中发现一个逻辑漏洞，并获得来自 Aleo 的漏洞赏金。Payne 在研究 Aleo 的代码时发现，针对用户花费的 record 的有效性校验存在逻辑错误。

当花费的 record 是同一笔交易前面的合约执行过程中产生时，本应使用 record 的 commitment 构造 transition tree 的叶子节点，而 Aleo 使用了 record 的 serial number 来构造叶子节点，这将导致该笔交易在电路中验证失败。经沟通确认，Aleo 团队已修复这一漏洞。

据悉，Ola 是由 Sin7y Labs 孵化的 Layer2 高性能 ZK-ZKVM 项目，主打可编程性隐私、可编程性扩容和多语言的兼容性。预计 2023 年第三季度上线内部测试网，年底上线公开测试网。