ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
SQL Server 真的比不上 MySQL 吗?
中国为什么要每隔10年搞一次大阅兵?
Centos为什么突然没人用了?
儿子抑郁四年左右了,他的未来该怎么办?
为什么web worker可以在前端开多线程,解决单线程卡死页面的问题,但是没有得到广泛使用?
为什么华为价值2.3W的鸿蒙电脑用的是美国西数的SN740固态硬盘?
养乌龟只养一只,它觉得会孤独吗?
Vue性能优于React,那为什么还不用Vue?
苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
现在已经有5K、6K、8K分辨率显示器,那么8K之后是什么?
如何评价漫威剧《钢铁之心》?
能分享一下你写过的rust项目吗?
广州的你,择偶标准怎样的?
从前端转后端,j***a和golang建议哪个?
为什么苹果的Mac不能啃下“游戏”和“软件支持”这2块硬骨头?
男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?