中危 gnark 在变量比较/非唯一二进制分解中容易受到不健全的影响 (CVE-2023-44378)
CVE编号
CVE-2023-44378利用情况
暂无补丁情况
官方补丁披露时间
2023-10-09漏洞描述
gnark是一个zk-SNARK库，提供一个高层次的API来设计电路。版本0.9.0之前，对于一些电路内的值，可以构造两种有效的位分解。除了`a`的规范分解外，对于小的值，`a+r`（其中`r`是值被减少的模数）存在第二种分解。第二种分解是由于溢出定义值的字段而产生的。升级到版本0.9.0应该修复该问题，而不需要改变对值比较方法的调用。解决建议
"将组件 github.com/consensys/gnark 升级至 0.9.0 及以上版本"受影响软件情况
| # | 类型 | 厂商 | 产品 | 版本 | 影响面 | ||||
| 1 | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 运行在以下环境 | |||||||||
| 应用 | consensys | gnark | * | Up to (excluding) 0.9.0 | |||||
- 攻击路径 本地
- 攻击复杂度 困难
- 权限要求 管控权限
- 影响范围 有限影响
- EXP成熟度 未验证
- 补丁情况 官方补丁
- 数据保密性 无影响
- 数据完整性 无影响
- 服务器危害 无影响
- 全网数量 N/A
| CWE-ID | 漏洞类型 |
| CWE-191 | 整数下溢（超界折返） |
| CWE-697 | 不充分的比较 |
Exp相关链接
版权声明
本站原创文章转载请注明文章出处及链接，谢谢合作！
评论