ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
代码:
为什么说英制单位是人类文明的一颗毒瘤?
可以用duckdb在本地建立一个数据库对外服务吗?
网红都那么美,为什么当不了明星?
利用爬虫技术能做到哪些很酷很有趣很有用的事情?
有没有一个特别好用的Linux系统?
中办、国办发文,拟新建改扩建 1000 所以上优质普高,将带来哪些影响?可能面临哪些挑战?
媒体称以色列防空成本一晚近 3 亿美元,最多再撑 12 天,美方会支援吗?若无美补给结果会如何?
Rust、Go、Zig、Dart、C3、C++、C,仓颉、moonbit、凹语言哪个语言更有未来?
语雀后端从Node迁移到J***a说明了什么?
日本AV对中国人的毒害有多大?
有哪些是你用上了mac才知道的事?
如何评价鸿蒙电脑无法编写其自身运行的程序?
用玉米钓不到鱼是什么原因?
中国经营得最差的省级电视台是什么?
如何评价《一人之下》第721(764)话?
为何雷军天天健身,却无健身痕迹?
想学习游戏引擎架构用哪个开源引擎好?
穿内衣时,总往上跑,内衣是大了还是小了?
评价一下Proxmox VE与ESXi的优劣?
广西桂军真的很厉害吗?
广东怀集水灾后一家超市疑似被哄抢,这种行为在灾难面前的道德和法律问题如何看待?
汤姆·克鲁斯在国外算几线?
鸿蒙电脑应用开发和鸿蒙手机是一样的吗?
为什么有些前端一直用 div 当按钮,而不是用 button?
哪个ai写代码最强?
如何评价高圆圆的身材算是美女类型的吗?
国产手机AI「好用」的背后,是技术差距还是文化差异?
中国大陆的苹果手机被阉割了哪些部分?
字节大量使用新语言,包括go,rust等,为什么阿里一直都抱着j***a不松手?
能分享一下你写过的rust项目吗?