ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
韦东奕（北大韦神）要是去写游戏引擎代码，能不能把虚幻引擎按在地上摩擦？数学好真能‘降维打击吗？ 
如何评价苹果 3 月 5 日发布的 MacBook Air M4，相比前代有哪些提升？ 
小米发布了 REDMI 首款旗舰小平板 K Pad，仅 8.8 英寸，小巧便携，如何评价这一设计？ 
女生真正的完美身材是什么样子？ 
如何看待 Rust 写的 PNG 解码器比 C 实现更快？ 
万兆的网络速度有多大意义？ 
有哪些开源或免费软件吊打商业收费软件的例子? 
哪一句话让你沉默了很久？ 
有哪些角色让你意想不到居然是同一位演员饰演？ 
后端真的比前端累吗? 
你被爸妈打得最惨的那一次，是因为什么？ 
印度为什么一定要和中国作对？ 北京语言大学张爱玲教授被清华树木砸中逝世，清华回应系绿化养护人员违规作业所致，事故责任该如何划分？ 
如何评价苹果 3 月 5 日发布的 MacBook Air M4，相比前代有哪些提升？ 
为什么都说 Finder 难用？ 
Rust 未来会成为主流的编程语言吗？ 
