当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
文章出处:网络 人气:发表时间:2025-06-25 05:40:15
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 大家都喜欢用什么浏览器?
- JetBrains会成为下一个Borland吗?
- 42 公里的马拉松已经非常极限了,为什么还会有上百公里的越野跑?
- 为啥雄鹿一年后就不要易建联了?
- 如何评价睡前消息第917期《B2骗过全世界,给伊朗留下七个洞》,你怎么看?
- vue + tsx 的开发体验能追得上 react+tsx么?
- 2025年,为什么很多程序员都扔掉了Mac和Linux,开始拥抱Win11了?
- 乳胶床垫能治腰痛吗?
- 已经给了30万律师费了,律师说可以尝试找关系运转争取缓刑,但要60万奖励金,能不能信?
- 有没有什么路由器让你用过之后彻底惊艳了?
最新资讯文章
- 有什么当下最新的 Swift 从入门到放弃的书籍?
- 那些168cm才80来斤的女生,真的现实生活中好看吗?
- 为什么只有Linux内核中有KVM?
- 水浒传里潘金莲到底有多漂亮?
- 为什么 Bun 选择了 Zig 以及 JSCore?
- 为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
- 网传《碟中谍 8》亏损可能超 14 亿,是真的吗?这背后的原因是什么?
- 为什么女儿的反应这么强烈?
- 如何评价ThinkBook 16+ 2025的独显版?
- 朝鲜能在20年内赶上韩国的生活水平吗?
- 江苏一医院称负债 4400 多万全员解聘,具体是怎么回事?医院这么做合法吗?
- 孙宇晨为什么能这么成功?
- 为什么一定要设计世界模型、为什么说语言模型不是真正的人工智能?
- cursor编程工具能在国内正常使用吗?
- 吃爽了是怎样一种体验?
- 直接躺下更方便,为什么人会进化成需要枕头?
- 只是突然很好奇,已经造出了三艘航母,为何不能按照这样的模板,批量建造航母呢?
- Web 前端怎样入门?
- 42 公里的马拉松已经非常极限了,为什么还会有上百公里的越野跑?
- 隆基绿能创始人称「十年后光伏转换效率有望达到 35%」,这个数字说明了什么?中国光伏行业发展现状如何?