为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
- 发表时间：2025-06-22 12:00:17
- 来源：
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
推荐资讯
- 2025-06-20 21:45:15维护一个大型开源项目是怎样的体验？
- 2025-06-20 21:10:182025年，歼16与美军机50分钟缠斗，为什么知乎上没有任何消息？
- 2025-06-20 21:10:18你们认为一个40多岁的女人老吗？
- 2025-06-20 21:05:15被称为「人间尤物」的女主，有多绝？
- 2025-06-20 22:10:15如何评价鸿蒙电脑无法编写其自身运行的程序？
- 2025-06-20 22:10:15如何判断鱼缸中的硝化系统是否已经成功建立？
- 2025-06-20 21:20:15如何评价沙鲁？
- 2025-06-20 21:00:15springboot框架中一个controller类可以调用多个service类吗？
- 2025-06-20 21:25:16鱼缸能不能做到一直不换水还很清澈？
- 2025-06-20 21:35:16相亲男越来越不主动了，正常吗？
推荐产品
-
以色列为什么要打伊朗？
我来一次性说清楚，请相信我，n年前作为专业的文科生，我特别研 -
日本AV对中国人的毒害有多大？
我搜到的日本AV基本都是免费的 ***，分类，有剧情，时长都 -
switch2好用吗朋友们?
好用。 只说缺点： 1，电视模式，switch本机发烫严重 -
如何评价中国电科研发的JY-10防空指挥控制系统成为伊朗防空指挥系统核心？
就一指挥系统而已 伊朗主力用的还是俄制雷达，没有从国内进口产
新闻动态
最新资讯