ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
为什么某些人说中国现在全球军事实力第一，但包括中国人在内很多人不认可？ 你身边身材最好的女生是什么样？ 
J***aScript 这种语言特性十分糟糕的语言流行起来是不是一场灾难？ 
为什么这个pygame安装不了？ 
为什么王楚钦之前被喷三大赛挂0，世乒赛夺冠之后依然被黑？ 
在韩国生活有什么体验？ 
四岁的女孩儿跳舞怕压腿，家长该坚持吗？ 
如何看待湖北一医院婚检查出艾滋医生未告知伴侣致感染，医生被停职？反映出哪些问题？ 
PHP现在真的已经过时了吗？ 
Go 编译器为什么重视编译速度，而不太重视译后代码性能？ 
40岁财务自由想找个25左右的媳妇儿有可能吗？ 
凡人修仙传#为啥只有韩立学各家技能，其他人为啥不去学? 
全面禁掉游戏是否能让学生成绩变得更好? 
我的世界怎么租一个四个人的服务器？ 
如何评价仓颉编程语言7月30日开源? 
postgresql也很强大，为何在中国大陆，mysql成为主流，postgresql屈居二线呢？ 
