当前位置：当前位置： 首页 >
为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
文章出处：网络 人气：发表时间：2025-06-24 18:30:16
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
同类文章排行
- PHP现在真的已经过时了吗？
- 如何评价《灵笼 2》第六集？
- 以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的？
- NAS将来会被什么产品取代？
- 显示器选32还是27，2k还是4k?
- 为什么华为价值2.3W的鸿蒙电脑用的是美国西数的中低固态硬盘？？
- 伊朗距离以色列上千公里，发射的导弹靠什么来导航定位呢？美国的GPS不会让他们用的。?
- obsidian用一两年后会有多大？全文搜索还快吗？
- 如何看待rust编写的zed编辑器？
- 2025年，歼16与美军机50分钟缠斗，为什么知乎上没有任何消息？
关注公众微信号 
移动端，扫扫更精彩