为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
来源：
编辑：
时间：2025-06-22 12:00:17
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
-
{dede:pagebreak/}
网友评论：
{dede:include file='ajaxfeedback.htm' /}
栏目分类
最新文章
热门文章
- 为什么中国主机带宽比美国贵5倍（原来错误的10000倍），比如阿里云？
- 媒体称以色列防空成本一晚近 3 亿美元，最多再撑 12 天，美方会支援吗？若无美补给结果会如何？
- 一名女子在杭州万象城遭挟持被捅 20 多刀，隆胸***体救了一命，这反映出哪些公安系统的问题？
- 央行行长潘功胜首次在公开场合谈及稳定币，稳定币是什么？有何深意？
- 新疆维吾尔自治区，经济发展的真实前景如何？
- PHP初学者，我能不能使用PHP来开发桌面应用？
- 象棋里的车是不是过强级了？是否应该削弱一下?
- PHP现在真的已经过时了吗？
- 理论上flutter性能应该非常高才对，为什么好些flutter应用性能一般？
- 乡下的土鸡真的值100块钱吗？