Ola 发现隐私网络 Aleo Record 校验漏洞，漏洞已被修复

可编程性隐私和扩容方案 Ola 团队开发人员 Payne 发推称，在 Aleo 中发现一个逻辑漏洞，并获得来自 Aleo 的漏洞赏金。Payne 在研究 Aleo 的代码时发现，针对用户花费的 Record 的有效性校验存在逻辑错误。当花费的 Record 是同一笔交易前面的合约执行过程中产生时，本应使用 Record 的 commitment 构造 transition tree 的叶子节点，而 Aleo 使用了 Record 的 serial number 来构造叶子节点，这将导致该笔交易在电路中验证失败。经沟通确认，Aleo 团队已修复这一漏洞。Ola 是由 Sin7y Labs 孵化的二层高性能 ZK-ZKVM 项目，主打可编程性隐私、可编程性扩容和多语言的兼容性。Ola 预计将于 2023 年第三季度上线内部测试网，年底上线公开测试网。