ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
你为什么在日常生活中不敢穿的太漂亮?
统一推送联盟为什么会失败?深层原因是什么?
数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
为什么没人提微软裁员?
网友小米悠悠因卵巢囊肿拖延治疗演变为卵巢子宫内膜样癌去世,有哪些警示?这是种什么病?前期有哪些症状?
electron可以用来写大型游戏吗?
韦东奕(北大韦神)要是去写游戏引擎代码,能不能把虚幻引擎按在地上摩擦?数学好真能‘降维打击吗?
为什么健身的女性普遍喜欢晒臀照?什么心理?
华为中年粉丝都是什么样子的?
为什么日本人室内光脚啊?他们屋子里有这么干净吗?
当年《诛仙》第一部的成功在于什么?
字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
男子与妻子发生性关系被告***,此案会成为国内第一起在婚姻存续期间内、感情未破裂、未分居下的***案吗?
手机的运行内存真的有必要上16GB吗?
快30岁还是处女的女生,中国男生是怎么看的呢?
为什么没有人在意iPad Pro 2024标准版仅搭载的8GB内存(RAM)?