当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
人气:发表时间:2025-06-22 16:35:16
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 写业务的话,go是不是垃圾?
- 都是研制核武器,美国为何只敢动伊朗,对朝鲜却畏首畏尾?
- 已经给了30万律师费了,律师说可以尝试找关系运转争取缓刑,但要60万奖励金,能不能信?
- 可以随身携带一个Linux系统吗?
- 1MB其实是一个很大的存储单位,那么它的存储容量究竟有多大?
- 为什么新买的ThinkPad比不上几年前的旧型号?
- 所以现有技术是无法侦测和锁定击落 B-2 ***轰炸机的吗?
- 作为一个服务器,node.js 是性能最高的吗?
- 56 岁白岩松踢球摔倒久不能起,他目前情况如何?踢球时需要注意什么?
- 为什么中国开发不出流行的编程语言?
最新资讯文章
- 想学编程,该不该买MacBook?
- 为什么有的女生喜欢穿紧身牛仔裤?
- 有什么是你去了山西才知道的?
- 为什么台式 PC 还处在组装(DIY)阶段?
- 有哪些看似聪明,实则很傻的行为?
- 柔性PCB电路板的设计特点与注意事项有哪些有人知道不?
- 你生活中做过最自律的一件事是什么?
- 现在个人博客不能备案了吗?
- 为什么电脑厂商用了二十多年时间才发现电源应该放在机箱下部?电源下置这么显而易见的结构这么晚才出现?
- 为啥arm架构比x86 x64省电?
- 当年的东莞究竟有多疯狂?
- 如何评价董宇辉讲述“各地厅长甚至更大的领导来我们这,站在门口等,站一个多小时。”?
- 为何中文互联网相对英文互联网的内容质量较低?
- 蔡澜曾说「年轻人要存到 100 万以上,这是脱离牛马生活的第一步」,怎样看这一观点?
- 在广州,找个对象是不是真的很难?
- 2024年了,linux用户还用fuck Nvidia吗?
- 为什么很多人瞧不起中国的武术?
- 中国大陆的苹果手机被阉割了哪些部分?
- python与nodejs哪个性能高?
- SwiftUI 是不是一个败笔?