为什么零知识证明（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 10:55:18为什么感觉腾讯的风评越来越好了？
- 2025-06-21 10:15:18歼-20 在国际上到底是什么地位？
- 2025-06-21 09:55:18华为Pura 80首销遇冷，是否说明消费者已经开始对麒麟芯片性能有所觉醒？
- 2025-06-21 10:40:18为什么买了Switch后，却发现它并没有那么好玩？
- 2025-06-21 10:40:18如何看待汤姆张对山东的言论？
- 2025-06-21 10:10:17华为自研的仓颉编程语言将于 7 月 30 日开源，这款语言将如何影响未来的开发趋势？
- 2025-06-21 09:20:18为什么程序员独爱用Mac进行编程？
- 2025-06-21 09:20:18为什么 macOS 并不差，可市场总敌不过 Windows？
- 2025-06-21 11:00:18胸大的女孩子有什么烦恼？
- 2025-06-21 10:30:18golang总体上有什么缺陷？
推荐产品
-
老公加班过多，是逃避家庭责任吗？
程序员一枚，过来吐槽下 老婆希望买学区房，350w左右 我收 -
华为 HDC 发布 HarmonyOS 6 开发者 beta 版对应用开发者和鸿蒙生态有哪些影响？
HarmonyOS 6开发者beta版今天发布了，整场发布会 -
被称为「人间尤物」的女主，有多绝？
先保存，先保存，先保存，重要的事情说三遍！部分链接容易失效， -
福特级航母的电磁弹射到底出了什么问题？
电磁弹射，被加速的舰载机总重，30吨，即3万公斤；加速长度1
最新资讯