ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
为什么同样是输球，常州和国足的风评却差那么多呢？ 
女生有男朋友之后才知道的事情有哪些？ 
你会从mac转向Windows吗？ 
为何有人说三亚景色不输泰国，中国游客却更爱去泰国？ 
朝鲜算是一个现代文明的国家吗？ 
你在你男/女朋友的手机里发现过什么秘密？ 
伊朗距离以色列上千公里，发射的导弹靠什么来导航定位呢？美国的GPS不会让他们用的。? 
为什么b2天下无敌？ 
为什么好多人不承认大众审美就是喜欢白皮？ 
react 前端项目框架怎么搭建？ 
为什么现在这么多人以为不生孩子就可以过得好？ 
有没有免费图片大小压缩软件？ 
海贼王为什么现在被全网黑? 
做引体向上可能会诱发腰肌劳损吗？ 
女生第一次来大姨妈什么感受？ 
PHP初学者，我能不能使用PHP来开发桌面应用？
