ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
代码:
歼-20 在国际上到底是什么地位?
有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
伊以的对轰证明伊朗似乎没那么菜!美国会下场吗?
前端如何设计网页?
为什么中国很少有人使用linux?
如何评价sketch 2025的改版?
为什么编程语言百花齐放,Web 标记语言 HTML 一家独大?
现在为什么没有黑客了?
以色列伊朗持续多日空对空轰炸,谁会先撑不住?双方的***还能支撑多久?还有哪些「杀手锏」没投入战场?
为何四川盆地文化影响力这么强?
深圳房价能跌到什么位置?
为什么老板仅凭一次聊天就判断某些人不堪大用?
为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
《西西里美丽传说》女主角,在当时打扮这么高调,不觉得带给自己很多不便吗?如何理解她的心态?
055一打一能不能打过阿利伯克?
不喜欢老婆找健身房男教练私教,是我太狭隘了吗?
如何评价黄磊?
30岁了,你在深圳过着什么样的生活?
苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
相对于 Linux,Windows Server 存在的意义是什么?
写业务的话,go是不是垃圾?
PHP现在真的已经过时了吗?
如何看待南京景枫中心把男厕改成女厕,并宣传「此处仅有女卫生间、家庭卫生间及无障碍卫生间」?
为什么有些老顾客吃着吃着就不再来照顾生意了?
你曾经开过最烂的车是哪款车?
想给家里换个静音节能的燃气热水器,哪个品牌比较好?
国产手机AI「好用」的背后,是技术差距还是文化差异?
Linux 内核的系统有没有类似macOS 那样漂亮流畅的桌面环境的发行版本?
为什么都说武器越怪,死的越快?
如何看待机器之心重测高考数学全卷,Gemini夺冠,豆包DeepSeek并列第二?