为什么零知识证明（ZKP）领域的开源项目几乎都用Rust实现？
来源：
编辑：
时间：2025-06-22 21:45:17
ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
-
{dede:pagebreak/}
网友评论：
{dede:include file='ajaxfeedback.htm' /}
栏目分类
最新文章
热门文章
- 美国***下令美使领馆暂停留学生新签证面谈，将带来哪些影响？美国大学在全球人才竞争中还有优势吗？
- 《甄嬛传》中祺贵人为什么和甄嬛反目？
- 小米发布了 REDMI 首款旗舰小平板 K Pad，仅 8.8 英寸，小巧便携，如何评价这一设计？
- 如何优雅地给妹子优化电脑（Windows）？
- 什么是最好的编程用显示器？
- 我听说Windows12微软就直接重头构建Windows了，就直接重构Win内核了，到底是不是真的?
- 是军舰上的大炮厉害还是陆军的大炮厉害？
- 华为Pura 80首销遇冷，是否说明消费者已经开始对麒麟芯片性能有所觉醒？
- 我是新手想养鱼，预算不超过200。有什么好的建议或者禁忌吗。？
- 为什么会有人喜欢跑马拉松，真的不会累吗?