ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm，或PC直接装macOS arm？ 
***《凡人修仙传》有哪些令人伤感的情节？ 
现在是2025年6月，现在的房价是阴跌还是暴跌？还会继续跌多久？是否已经开始分化? 
厦门机场是要搬迁到厦门翔安机场，还是厦门变成双机场城市呢？ 
Rust开发Web后端效率如何？ 
印度是真的烂还是咱们在信息茧房里面？ 
瑜伽体式的乐趣是什么？ 
俄如果真的投下了核弹，世界会如何？ 
网络小白如何建立一个网站，供别人下载文件（主要是PDF和MP3）? 
都知道腐败会被查，可为什么屡禁不止呢？ 
Redis 是个单线程的程序，每秒 10000，为什么会这么快？具体是快在哪里？EPOLL 还是内存？ 
巴基斯坦援助伊朗防空，大家怎么看？ 
为什么面对 Adobe 的版权要求下，vposy 大神还能从容不迫？ 
如何评价浙江这个省？ 
男朋友说我穿衣服太开放，难道好身材不应该显示出来吗？ 
为什么从事技术的人普遍都比较难沟通？ 
