为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
- 发表时间：2025-06-21 16:20:17
- 来源：
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
推荐资讯
- 2025-06-20 05:25:14polars到底行不行？
- 2025-06-20 05:40:14大量消息在 MQ 里长时间积压，该如何解决？
- 2025-06-20 06:00:15男朋友说我穿衣服太开放，难道好身材不应该显示出来吗？
- 2025-06-20 05:45:15国家税务总局表示今年前 4 个月，民营经济收入提升明显，占全国营业收入比超 70%，如何看待这一数据？
- 2025-06-20 05:35:14你为什么放弃了wsl？
- 2025-06-20 05:00:14伊朗这次让以色列打惨了，这个国家还能挺过来吗？
- 2025-06-20 04:25:14鸿蒙电脑应用开发和鸿蒙手机是一样的吗？
- 2025-06-20 04:40:14你卡过最厉害的bug是什么？
- 2025-06-20 04:30:14你非常喜欢的人攻击你的长相，你会怎么办？
- 2025-06-20 04:45:14DF-41已经可以打击美国本土，这是否相当于古巴导弹危机常态化？
推荐产品
-
核武器真的有宣传中那么牛逼吗？
没有。 实际上核弹打击现代城市，特别是国内城市的效果非常差 -
核武器真的有宣传中那么牛逼吗？
没有。 实际上核弹打击现代城市，特别是国内城市的效果非常差 -
女生主动起来会有多主动?
约出去外地爬山，第一夜，要跟我喝红酒，我没有上当。 第二夜 -
骑公路车半路上突然有陌生人想跟你飙车，你会「应战」吗？
我们本地有个小孩哥，骑了个斯特拉93还是95 本来好好骑也没
新闻动态
最新资讯