ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
上一篇 : 你在出租房屋发现过什么前租客留下的“宝藏”?
下一篇 : 生活中怎样的美女才能被称为「大」美女?
美国搞出个“稳定币”,到底是什么?其它国家是如何看待稳定币的?...
刘强东称「京东外卖很快就会出来一个跟美团完全不同的商业模式」,如何看待此回应?...
后端开发除了增删改查还有什么?...
女生真正的完美身材是什么样子?...