为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
- 发表时间：2025-06-22 07:20:14
- 来源：
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
推荐资讯
- 2025-06-21 23:00:17去羽毛球馆打羽毛球，如何才能不会显得太菜 ?
- 2025-06-21 22:25:15黑客为什么可以做到无需知道源码的情况下找出系统漏洞？
- 2025-06-21 23:25:16***拍大尺度片子时摄影师不会看光吗？
- 2025-06-21 22:25:15中医把脉是***吗？
- 2025-06-21 23:05:15为什么 mac mini 的 m4 版本价格这么低呢？
- 2025-06-21 23:40:18***如古代长城用的是C140混凝土，那千百年下来会完整的留存至今还是损坏的更加严重？
- 2025-06-21 23:15:16歼20速度接近3马赫是什么水平？
- 2025-06-21 22:50:16为何中国反复升级轰六轰炸机群？
- 2025-06-21 22:30:16为什么我感觉现代医学还是很落后？
- 2025-06-21 23:20:18Swift 和同时代的其他语言比起来怎么样？
推荐产品
-
到底是微软不给M1适配，还是苹果不让别家系统适配？
苹果的AArch64 CPU都是默认使用16KB页表, GP -
以色列为什么突然敢打伊朗了？不怕被报复？
唉，说真话，没人听， 以色列打哈马斯，或许大家都可以骂以色列 -
中国预警机世界领先吗？
就雷达工作体制而言，中国预警机的确领选全世界，但就元器件、处 -
歼-20 在国际上到底是什么地位？
J20有且只有一个对手，就是F22。 苏57和F35就别来碰
最新资讯