为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
- 发表时间:2025-06-22 00:05:16
- 来源:
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
推荐资讯
- 2025-06-24 21:25:16程序员空闲时间应该继续卷技术,还是找其他副业?
- 2025-06-24 21:20:16为什么软件公司很少用python开发web?
- 2025-06-24 21:35:16怎么看待北京大龄单身女突破80w?
- 2025-06-24 21:50:15目前中国男性有什么困境?
- 2025-06-24 22:50:16坚持使用 PHP 的你,如今有什么感悟?
- 2025-06-24 22:10:17PHP初学者,我能不能使用PHP来开发桌面应用?
- 2025-06-24 21:45:16万兆的网络速度有多大意义?
- 2025-06-24 22:15:18皮肤太白是种怎样的体验?
- 2025-06-24 21:40:16Rust开发Web后端效率如何?
- 2025-06-24 22:40:16周鸿祎为什么说他这辈子最鄙视李彦宏?
推荐产品
-
为什么我还是无法理解transformer?
不要想的太过复杂,就只有随机数生成的三个矩阵,原始输入已经通 -
为什么年轻的肉体让人沉迷?
我说个点。 年轻的女孩子的脚,你在本能上不会觉得是臭的。 很 -
各位前端大触们,一般怎么定颜色的?
请用 OKLCH,再不济用 HSL,用 rgb 和 hex -
华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
参加仓颉内测已三年有余,这三年以来用仓颉开发了一个服务器工具
新闻动态
最新资讯