ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
如果你有300万存款,你还会继续辛苦上班吗?为什么?
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
伊朗这次让以色列打惨了,这个国家还能挺过来吗?
哪张照片让你觉得刘亦菲美得不可方物?
住在一个脏乱差的家里十几年是什么感受?
国产手机AI「好用」的背后,是技术差距还是文化差异?