当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
人气:发表时间:2025-06-21 21:55:16
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 为何雷军天天健身,却无健身痕迹?
- 目前美军还有哪些领域是明显领先于解放军的?
- 陌生人晕倒了,帮他拨打120后,病人不支付120出车费,这个费用谁来承担?
- 前端如何设计网页?
- 印度是真的烂还是咱们在信息茧房里面?
- Flutter 为什么没有一款好用的UI框架?
- 苹果前首席设计师 Jony Ive 离职的原因是什么?
- 为什么 Windows 没有比较成熟的第三方桌面环境(explorer.exe)?
- 独立开发者都使用了哪些技术栈?
- 你被哪个后来知道很sb的BUG困扰过一周以上吗?
最新资讯文章
- 为什么网上那么多人说广州没落是因为城中村?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 印度为什么一定要和中国作对?
- 开车的人和不开车的人思维有什么区别?
- 王健林再卖 48 座万达广场,会对万达集团带来哪些影响?目前万达面临怎样的困境?
- 四口之家100M的宽带够用吗?
- 你为什么对kotlin失去好感?
- 如何看待B站一些粉丝数高的UP主更新频率下降,B站高质量***产出断崖式下跌?近期B站发生了什么事情?
- 字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 王虹教授在北大开讲座,韦东奕连续 3 天听讲座,韦东奕和王虹谁的数学天赋更强?
- 有邻居的追求者出价三万,让我连续半个月每天找个女朋友晚上弄点动静,我该答应吗?
- 王健林再卖 48 座万达广场,会对万达集团带来哪些影响?目前万达面临怎样的困境?
- Electron 和当下其他的桌面开发方法相比如何?
- 为什么越来越多的国内男孩,要娶国外女孩?
- 如何评价***伊内斯·特洛奇亚的身材?
- 为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
- 汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
- 如何看待 Git 的 Windows 安装程序称 Vim「很难用」?
- 伊朗为什么不买中国战机,却坚持四十年用老旧的苏联米格29、美国F14雄猫战斗机?
- 为何有人说三亚景色不输泰国,中国游客却更爱去泰国?