为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
- 发表时间:2025-06-22 07:20:14
- 来源:
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
推荐资讯
- 2025-06-21 01:50:17北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?
- 2025-06-21 01:35:16华为Pura 80首销遇冷,是否说明消费者已经开始对麒麟芯片性能有所觉醒?
- 2025-06-21 01:40:17如何评价中国电科研发的JY-10防空指挥控制系统成为伊朗防空指挥系统核心?
- 2025-06-21 00:40:17有人说x86是条必沉的船,苹果早就跳船了,微软也有弃船的意图,你怎么看?
- 2025-06-21 00:30:18SpaceX 星舰 36 号火箭静态点火测试爆炸,爆炸的原因是什么?会对星舰发展产生什么影响?
- 2025-06-21 02:10:17一名女子在杭州万象城遭挟持被捅 20 多刀,隆胸***体救了一命,这反映出哪些公安系统的问题?
- 2025-06-21 02:15:16snipaste怎么安装?
- 2025-06-21 01:00:17有没有追妻火葬场的***推荐?
- 2025-06-21 01:50:17你见过哪些智障的反人类的设计?
- 2025-06-21 01:45:18如何评价鸿蒙电脑无法编写其自身运行的程序?
推荐产品
-
要从vim切换到neovim吗?
时间是2025年6月,正好相反,我从用了一年多左右的neov -
Linux 内核的系统有没有类似macOS 那样漂亮流畅的桌面环境的发行版本?
macOS漂亮是漂亮,但是并没有GNU/Linux流畅啊。 -
陈楚生第一,马嘉祺淘汰,如何评价《歌手 2025》第六期所有歌手的演唱?
为什么沈梦辰不念这些热榜? 陈楚生第一米奇第二Grace -
什么样的女主才能叫做「人间尤物」?
重要的事情说三遍才先保存先保存先保存,都是个人整理的御姐、萝
最新资讯