为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
- 发表时间：2025-06-22 00:05:16
- 来源：
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
推荐资讯
- 2025-06-21 03:40:16如何评价鸿蒙电脑无法编写其自身运行的程序？
- 2025-06-21 03:40:16为什么女生要做大部分家务？
- 2025-06-21 03:00:17为什么后端老是觉得前端简单?
- 2025-06-21 03:45:16如何编写让别人看不懂的代码？
- 2025-06-21 02:30:16想知道德普怎么看上艾梅柏·希尔德的？
- 2025-06-21 02:30:16世界上哪款战斗机最好看？
- 2025-06-21 03:55:16电脑C盘爆满，如何彻底清理垃圾又不误删系统文件？
- 2025-06-21 03:30:16女主播和榜一大哥现实碰面会做什么？
- 2025-06-21 03:30:16你的低成本爱好是什么？
- 2025-06-21 03:20:16语雀后端从Node迁移到J***a说明了什么？
推荐产品
-
你的低成本爱好是什么？
单身未婚 周五下班了，结束一周的工作，开车回一个人住的小家。 -
老公想要买2万左右的相机，我该同意吗？
买啊，结婚前我说我要买相机，老婆不答应，我就自己买了一个二手 -
京东刘强东近期小范围分享怎么看？
文 | 佘宗明时间点，正确——不是寻常时点，是6·18收官日 -
年纪轻轻为什么会得腰肌劳损？
知道什么是腰肌劳损吗？不要随便给自己按病！ 腰肌劳损这个词大
最新资讯