ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
如何评价“寡姐”斯嘉丽·约翰逊的身材？ 
能够自己一个人创业的全栈web码农fullstack developer要会哪些技术？ 
韦东奕在北大任职，教课水平怎么样？ 
穿瑜伽裤爬山的女生会不会害羞？ 
为什么很多《红警》老玩家看不起《红警3》，且对于《红警3》存在大量误解？ 
为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm，或PC直接装macOS arm？ 
各位前端大触们，一般怎么定颜色的？ 
cursor编程工具能在国内正常使用吗？ 
为什么说linux操作系统要比windows稳定？ 
Flutter 为什么没有一款好用的UI框架？ 
Golang和J***a到底怎么选? 
如何评价微软的远程桌面？ 
J***a 除了 Spring 还有什么？ 
各位前端大触们，一般怎么定颜色的？ 
为什么老一辈的人没有那么消极，而年轻人很多有抑郁症？ 
***设我使用C++tcp编程写了一个服务端，该如何考虑它的网络安全问题？ 
