为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
来源：
编辑：
时间：2025-06-22 01:50:15
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
-
{dede:pagebreak/}
网友评论：
{dede:include file='ajaxfeedback.htm' /}
栏目分类
最新文章
- 为什么永中office也是国产且体验比wps好很多，用的人却不多呢？
- 中国 5 月 Swift 人民币在全球支付中占比下降至 2.89%，背后的原因和未来的发展趋势是什么？
- 被时代淘汰的水果有哪些？
- 为何 Linus 一个人就能写出这么强的系统，中国却做不出来？
- Node.js 性能为什么这么差？
- Apple 为什么不封杀 Flutter 呢？
- 一名女子在杭州万象城遭挟持被捅 20 多刀，隆胸***体救了一命，这反映出哪些公安系统的问题？
- 微软暂停专用 Xbox 掌机开发，转而优化 Windows 11 的掌机游戏体验，这背后原因有哪些？
- 各位都在用Docker跑些什么呢？
- 老婆生了孩子，我对她完全没有感觉怎么办？
热门文章