精选安全团队：发现Circom验证库漏洞CVE-2023-33252
据报道，Beosin 发现Circom 验证库漏洞CVE-2023-33252，提醒zk项目方注意相关风险。Circom是基于Rust开发的零知识证明电路编译器，该团队同时开发了SnarkJS库用于实现证明系统，包括：可信设置、零知识证明的生成和验证等，支持Groth16、PLONK、FFLONK算法。
此前，Beosin 安全研究人员在 SnarkJS 0.6.11及之前的版本的库中发现了一个严重漏洞，当该库在验证证明时未对参数进行完整的合法性检查，使得攻击者可以伪造出多个证明通过校验，实现双花攻击。Beosin在提了这个漏洞以后，第一时间联系项目方并协助修复，目前该漏洞已修复完成。Beosin提醒所有使用了SnarkJS库的zk项目方可将SnarkJS更新到 0.7.0版本！以确保安全性。
同时针对此漏洞，Beosin安全团队提醒zk项目方，在进行proof验证时，应充分考虑算法设计在实际实现时，由于代码语言属性导致的安全风险。目前Beosin已将漏洞提交 CVE漏洞披露平台（Common Vulnerabilities and Exposures）并获取认可。
免责声明：比特网作为开放的信息发布平台，所有资讯仅代表作者个人观点，与我们无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论，请提供相关材料，发送到：2785592653@qq.com。
风险提示：本站所提供的资讯不代表任何投资暗示。投资有风险，入市须谨慎。
粉丝群：提供最新热点新闻，空投糖果、红包等福利，微信：juu3644。
风险提示：本站所提供的资讯不代表任何投资暗示。投资有风险，入市须谨慎。
粉丝群：提供最新热点新闻，空投糖果、红包等福利，微信：juu3644。
相关资讯