ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
降维打击是什么?
为什么某些人说中国现在全球军事实力第一,但包括中国人在内很多人不认可?
为什么很多公司都不招大龄码农?
怎么看待三十而已里说的养鱼让人玩物丧志,养鱼是魔鬼,是黑洞,养鱼毁三代鱼缸毁一生的话?
如何看待现在的前端?
你见过最有远见的人是什么样的?
如何评价***伊内斯·特洛奇亚的身材?
养乌龟生态缸到底可行吗?
为什么苹果手机杀后台现象频繁?是内存不够、后台管理严格还是其他原因呢?
手头有四十个微信,二十台手机,实名,可以做什么行业?
中国与敌国发生战争,哪些国家会帮中国?
女明星做了什么医美项目保持童颜?
软路由怎么没有人玩了?
大冰为什么突然风评反转了?
如何解决Cursor等Agent编码开发轮次多了过后代码库变成屎山的问题?
想做流量卡代理,有哪些靠谱的流量卡代理平台?