ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
三只羊是不是被人做局了？ 
以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的？ 
以色列为什么要打伊朗？ 
伊朗的军事实力是不是打不过以色列？ 
Unity收费***后，为何大家选择了Godot而不是Cocos？ 
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗？ 
MacOS真的比Windows流畅吗？ 
韦东奕在北大会面临非升即走吗？ 
评价一下Proxmox VE与ESXi的优劣？ 
编程问题哪里解决? 
「绝世美女」都有什么特点？ 
如何将docker目录挂载到宿主机上？ 我的世界怎么租一个四个人的服务器？ 
Postgres 和 MySQL 应该怎么选？ 
Electron 和当下其他的桌面开发方法相比如何？ 
哪个ai写代码最强？ 
