ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
代码:
四十万车和十万的车有什么区别?
iOS 26 的新设计被吐槽丑,苹果在设计更新时考虑了哪些因素?你对这一设计都有哪些评价?
是什么原因让你一定要用 iPhone?
为什么说Go语言的设计是工程先进但学术落后?
为什么海军要单舰满世界溜达呢?
电脑有64G的物理内存(DDR5 5200),完全够用了,可以关闭系统的虚拟内存吗?
使用 JetBrains 的产品时,你是倾向于为每个语言分别安装 IDE,还是安装语言的插件?
如何评价仓颉编程语言7月30日开源?
小鹏G7发布,对标小米YU7有优势吗?
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
如果你是《一帘幽梦》里的绿萍,你会不会最后原谅紫菱?
《流浪地球 2》中有哪些细思极恐的细节?
广东怀集遇历史最大洪水,约 30 万人受灾,积水最深处达 3 米,目前当地情况如何?
在韩国生活有什么体验?
***拍大尺度片子时摄影师不会看光吗?
一个练过功夫的姑娘能打过一个没练过的男人吗?
如何使Windows上安装的Macos虚拟机流畅运行?
李小璐老了以后,会后悔么?
为什么武林中的女侠不但武功奇高,还没有练出来麒麟臂大粗腿和老茧?
华为是真的遥遥领先吗?
为什么抖音上的姑娘都那么好看,现实中我怎么一个也见不着?
Rust 的设计缺陷是什么?
有一个***约你出去,你会去吗?
用J***a写Android的时代是不是要结束了?
我的世界怎么租一个四个人的服务器?
如何看待周继红被聘为国家跳水队总教练?
三亚女游客毒蛇咬伤致死***暴露了我国什么问题?
你自己觉得自己的身材好吗?
哪张照片让你觉得刘亦菲美得不可方物?