当前位置:当前位置: 首页 >
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
文章出处:网络 人气:发表时间:2025-06-25 18:55:16
ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
同类文章排行
- 旅游费钱费精力,为什么还有那么多人喜欢旅游呢?,?
- 如何看待中国民航局对必须携带具有3c强制认证的充电宝上机的规定?
- 数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
- 27寸显示器是否有必要到4K?
- 北部湾大学好吗?
- 二进制小数怎么转化为十进制的?
- 除了厚重,你拒绝折叠屏的理由还有哪些?什么样的折叠屏才能打动你?
- 四岁的女孩儿跳舞怕压腿,家长该坚持吗?
- 为什么macOS软件生态不敌Windows?
- 伊朗为什么会被中俄抛弃?
最新资讯文章
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 当初为什么不摧毁朝鲜的核设施,让朝鲜拥有了自己的核武器?
- 计算机专业明明非常难学,为什么35岁危机非常严重?
- 有哪些BI工具惊艳了你?
- 多益网络输了餐费官司,准备近几年搬离广州,你怎么看?
- 组nas一定要TDP低的cpu吗?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 如何看待暴露但很还原的cos?
- 照骗能骗到什么程度?
- 为什么美军B2实战以后认为一部分网友又没信心了?
- 原码、反码、补码跟编程语言有关吗?
- 为什么程序员独爱用Mac进行编程?
- 如何看待 Mac mini M4 支持可更换 SSD?
- 如何看待 Mac mini M4 支持可更换 SSD?
- 我听说Windows12微软就直接重头构建Windows了,就直接重构Win内核了,到底是不是真的?