为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
- 发表时间:2025-06-22 04:35:14
- 来源:
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
推荐资讯
- 2025-06-20 14:25:19如何看待伊朗导弹打击以色列医院?
- 2025-06-20 14:15:19养乌龟是什么体会?
- 2025-06-20 14:40:18如何评价 B 站 UP 主酒酿 Lily 王?
- 2025-06-20 13:50:17张伟丽可以打败什么级别的普通男性?
- 2025-06-20 13:35:19为什么和婆婆在一起生活很压抑?
- 2025-06-20 14:30:18购买更快的 SSD 已经没有意义了吗?
- 2025-06-20 14:55:18媒体称以色列防空成本一晚近 3 亿美元,最多再撑 12 天,美方会支援吗?若无美补给结果会如何?
- 2025-06-20 15:25:18为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
- 2025-06-20 13:50:17Rust开发Web后端效率如何?
- 2025-06-20 13:45:16男子因眼睛小被小米汽车系统频繁误判疲劳驾驶,一路提醒20多次,这是智能汽车通病吗?怎么解决该 bug?
推荐产品
-
如何评价鸿蒙电脑无法编写其自身运行的程序?
一、纯血、又纯血、双纯血,叒纯血早期的鸿蒙就是安卓魔改,后来 -
如何看待伊朗发布10座美军基地地图?
我发布750座美军海外基地地图。 卷你~ 我再发布美军 -
女朋友送的switch被亲戚要求送小孩我该怎么办?
评论区很多朋友都在吐槽熊孩子和家长,我想讲讲我的反向操作。 -
为什么都说武器越怪,死的越快?
我高中好哥们有个富二代混子 他平时的随身武器是一把车钥匙 老
最新资讯