当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?_浙江省温州市龙湾区挑阿率交通产品有限合伙企业
浏览次数:304发表时间:2025-06-21 11:25:11
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 娃哈哈被曝 2025 年已关停 18 家工厂,此前曾回应纯净水由今麦郎代工,娃哈哈到底在布局什么?
- 为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm,或PC直接装macOS arm?
- 华为云有没有实力挑战阿里云?
- 请问照片里这个人是谁呀?
- 如果意外挖出 10 吨黄金,有那些将它们洗白、正常使用的方法?
- 胸大的女孩子有什么烦恼?
- 能分享一下你写过的rust项目吗?
- docker有哪些有趣的用途?
- 你身边身材最好的女生是什么样?
- 前端,后端,全栈哪个好找工作?
最新资讯文章
- PHP初学者,我能不能使用PHP来开发桌面应用?
- 24-25 赛季 NBA 总决赛抢七,雷霆 103-91 步行者,夺得本赛季总冠军,如何评价这一结果?
- 如何评价「江南第一深情」童锦程?
- 编写单EXE小工具用什么框架比较好?
- postgres集群的选择?
- 有一个女儿是种怎样的体验?
- 世界上最大的坦克是什么?可以从长度,高度,体积方面谈?
- 你卡过最厉害的bug是什么?
- 如何制造一个高级的阳谋?
- 熊猫烧香技术含量高吗?高在哪里?
- 一个人能做出什么开源项目?
- Macmini m4扩容做家庭服务器,怎么比较合适?
- WebSocket 是什么原理?为什么可以实现持久连接?
- 有哪位大佬了解FBX文件格式?
- 为什么 macOS 并不差,可市场总敌不过 Windows?
- 伊朗这次会崩溃灭亡吗?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- C盘为什么无法扩容?
- 2025年成品NAS哪家外网访问做的最好?
- 程序员不租房住车里,称三年多省了差不多十万,被质疑占用公共***,怎样看他的选择?这算占用公共***吗?





