ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
代码:
各位历史发烧友,介绍一下你知道的冷门史实或逆天史实?
MacOS真的比Windows流畅吗?
牛市来了吗???
J***a 除了 Spring 还有什么?
为什么感觉德国在中国的名声比英法美日好一点?
1GB的***每一帧都截图下来,照片有多少GB?
为什么有的女生喜欢穿紧身牛仔裤?
如果我写个脚本,一直跌的股票一旦上涨就立刻(1s内)买,接着一旦下跌就立刻(1s内)卖,会怎样?
有人说24GB和48GB内存容量是新一代电脑平台最均衡的方案,真的是这样吗?电脑内存应该如何选?
机械硬盘会不会被固态盘彻底取代?
黑客为什么可以做到无需知道源码的情况下找出系统漏洞?
伊朗这次会崩溃灭亡吗?
坚持使用 PHP 的你,如今有什么感悟?
有没有什么路由器让你用过之后彻底惊艳了?
如何电脑下载Adobe audition?
055驱逐舰 是个什么概念?
一台主机上只能保持最多 65535 个 TCP 连接吗?
如何评价刘涛这名演员?
全球每年约500万匹马被屠宰,为什么却见不到中国人吃马肉?
重庆现在到什么地步了?
如何评价首个女性友好的编程语言HerCode?
鱼缸能不能做到一直不换水还很清澈?
为什么国内 IT 公司 leader 以上就不怎么写代码,而据说 Google 的 Jeff Dean 还写代码?到底哪种情况好呢?
为什么Dreamwe***er,FrontPage会被淘汰?
利用爬虫技术能做到哪些很酷很有趣很有用的事情?
中国军队有多强,在世界能排第几?
亚克力鱼缸这么容易模糊吗?
有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
为何 Linus 一个人就能写出这么强的系统,中国却做不出来?