当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
人气:发表时间:2025-06-25 15:35:18
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 三只羊是不是被人做局了?
- 有没有人体验到被纪检委调查的经验?
- 组装2-4人后端服务团队,选择GO还是J***a?
- 参加知乎「第十一届新知青年大会」是种什么样的体验?
- Rust开发Web后端效率如何?
- 当量子计算机能预测人类选择,自由意志是否沦为算法的注脚?
- 国密加密算法有多安全呢?
- 奥迪暂停全面电动化***,不再设定停售燃油车时间表,此前沃尔沃、奔驰也调整全面电动化***,如何解读?
- j***a 使用 pgsql 好用吗?和 mysql 区别大吗?
- 穿瑜伽裤爬山的女生会不会害羞?
最新资讯文章
- 汉语是牺牲了什么,才成为世界最紧凑、最高效的语言?
- 为什么微信不向telegram学习?
- 销量爆炸的华为nova14是不是证实华为已经腾出精力来收复中端市场了?
- 瑜伽裤和牛仔裤哪个更显身材?
- 做客孩子临走时带走几只玩具,我的孩子抗拒并一直哭,要怎么开导?
- 能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- 异性同办公室久了会不会日久生情?
- 核武器真的有宣传中那么牛逼吗?
- 洲际导弹能打到任何地方,为什么还需要轰炸机?
- 写业务的话,go是不是垃圾?
- 不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
- 女朋友是体育生是一种什么体验?
- 你身边身材最好的女生是什么样?
- 越正经的女人越容易做出疯狂的事吗?
- 颈椎生理曲度变直可以通过运动康复吗?
- 鱼缸粪便解决方法和技巧有哪些?
- ***拍大尺度片子时摄影师不会看光吗?
- 如何客观评价李小冉的长相?
- 国家税务总局表示今年前 4 个月,民营经济收入提升明显,占全国营业收入比超 70%,如何看待这一数据?
- 老饭骨做的饭真的好吃吗 ?