为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
来源：
编辑：
时间：2025-06-22 04:35:14
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
-
{dede:pagebreak/}
网友评论：
{dede:include file='ajaxfeedback.htm' /}
栏目分类
最新文章
- 为什么中国现在全球军事实力第一，但包括中国人在内很多人不认可？
- 如何评价「尖叫」这种饮料？
- ddns，仅ipv6访问，***s 高位端口号，需要ICP备案么？会被运营商封锁么？
- 怎么才能有尤雨溪一半强，该怎么学习？
- 以色列伊朗持续多日空对空轰炸，谁会先撑不住？双方的***还能支撑多久？还有哪些「杀手锏」没投入战场？
- 如何客观评价李小冉的长相？
- 为什么《歌手》不请周杰伦、陈奕迅、王菲、张学友、孙燕姿、梁静茹、王力宏、林俊杰当节目嘉宾？
- 以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的？
- 你刚刚复制的内容是什么?
- 如何看待伊朗国家电视台发文称“今晚将会发生一件大事，让世界铭记几个世纪”？
热门文章