为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
- 发表时间：2025-06-22 14:00:11
- 来源：
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
推荐资讯
- 2025-06-23 04:40:10Rust 未来会成为主流的编程语言吗？
- 2025-06-23 03:50:09新手想要打好篮球，主要练运球还是投篮？
- 2025-06-23 04:40:10小米澎湃OS真的很不行吗？
- 2025-06-23 04:35:09被人囚禁是什么体验？
- 2025-06-23 03:15:09学计算机的要把这些书都全部看完吗？
- 2025-06-23 03:20:09如何评价白宇帆、辛柏青主演的电视剧《护宝寻踪》？
- 2025-06-23 03:55:10以色列为什么突然敢打伊朗了？不怕被报复？
- 2025-06-23 03:50:09软路由是否被过度神化？
- 2025-06-23 03:30:10伊朗这次会崩溃灭亡吗？
- 2025-06-23 03:20:09什么语言最适合做 GUI？
推荐产品
-
Rust 的设计缺陷是什么？
刚看上一个大佬回答的评论区，我认为其实Rust最核心的设计缺 -
周杰伦为什么不告粥饼伦黑伦侵犯他的名誉权?
关于粥饼伦、黑伦等模仿者，周杰伦本人去年曾经公开回应过，他的 -
为什么有的女生喜欢穿紧身牛仔裤？
个人觉得，女生穿牛仔裤的形式意义还是大于内容 说白了，就是审 -
Manus会不会开源？
Manus是否开源已经没有那么重要了。 。 。 。 。 。
新闻动态
最新资讯