当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?_山西省长治市武乡县节乌谈来啤酒有限公司
浏览次数:304发表时间:2025-06-21 21:55:16
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 如果我写个脚本,一直跌的股票一旦上涨就立刻(1s内)买,接着一旦下跌就立刻(1s内)卖,会怎样?
- 800V是什么技术,为什么特斯拉不跟进?
- LABUBU为啥这么火?
- 为什么我觉得自己的颜值身材比较出众,运气会不好呢?
- 蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
- 开发了一个App,上线之后一个用户也没有怎么办?
- 如果苹果真的下架了微信的话,会发生什么?
- 网传厦门某国企研发部门要求每日考察后端 400 行,前端 1000 行代码量,如属实,这个考核合理吗?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 匿名说一下自己最近的烦恼吧?
最新资讯文章
- 055驱逐舰 是个什么概念?
- 大量消息在 MQ 里长时间积压,该如何解决?
- PHP现在真的已经过时了吗?
- 颈椎生理曲度变直可以通过运动康复吗?
- 为什么说以色列这次干得漂亮?
- vue 框架开发的项目结构是如何搭建的?
- 为什么说微软 Win11,有苹果 macOS 的感觉?
- Rust开发Web后端效率如何?
- 鱼缸有没有简单的过滤配置搭配方式?
- 如何评价李健?
- 请问有没有什么工具能够生成局域网的网络拓扑结构图?
- 前端真的已经凉了么?
- 无性婚姻是一种怎样的体验?
- 象棋里的车是不是过强级了?是否应该削弱一下?
- 为什么LibreOffice的Windows版在国内火不起来?
- 谷歌云服务宕机导致 OpenAI、Shopify 等服务中断,此次宕机的具体技术原因是什么?
- 为什么好看的家一看就是国外的?
- 以总理称已控制伊朗首都领空,领空被控制意味着什么?伊朗还可以通过空袭反击吗?
- 如何看待“京东外卖停止补贴后,日单量跌至两万单”这件事?
- 如何看待 Rust 的应用前景?