为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
更新时间：2025-06-23 16:10:13
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
案例推荐
case recommendation-
为什么一部分 Go 布道师的博客不更新了？
查看案例
-
PHP现在真的已经过时了吗？
查看案例
-
维吾尔族姑娘那么好看，为什么杨增新、金树仁、盛世才这些新疆皇帝不纳维族妾？
查看案例
-
蜂鸟音乐指控邓紫棋侵权，要求 48 小时内下架重录歌曲，邓紫棋回应「不会下架」，这一指控合理吗？
查看案例
-
为什么 macOS 并不差，可市场总敌不过 Windows？
查看案例
-
Gemini 2.5 Flash 和Pro稳定版上线，和之前版本相比，在性能和应用场景上有哪些提升？
查看案例
-
网传厦门某国企研发部门要求每日考察后端 400 行，前端 1000 行代码量，如属实，这个考核合理吗？
查看案例
-
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架？
查看案例