为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
更新时间:2025-06-24 18:30:16
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
案例推荐
case recommendation-
人工智能相关专业里有什么「坑」吗?
查看案例
-
曹玉磊冒充「清华院长」频繁参加活动遭官方打***,他为何能堂而皇之以***身份开展活动?其将受到哪些处罚?
查看案例
-
如果看待林丹这句话 “网球的强度远远没有羽毛球大”?
查看案例
-
苹果 macOS Tahoe 26 新 Finder 图标引争议,其争议点主要集中在哪些方面?
查看案例
-
腾讯开源的 libco 号称千万级协程支持,那个共享栈模式原理是什么?
查看案例
-
作为一个服务器,node.js 是性能最高的吗?
查看案例
-
金山办公继续聘任雷军为“名誉董事长”,但不享权利、不担义务、不领薪酬,这个头衔的实际意义是什么?
查看案例
-
如何评价前端组件库shadcn/ui?
查看案例