ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
如何解读穷则独善其身，达则兼济天下？ 
大厂后端开发需要掌握docker和k8s吗? 
国产手机AI「好用」的背后，是技术差距还是文化差异？ 小米发布了 REDMI 首款旗舰小平板 K Pad，仅 8.8 英寸，小巧便携，如何评价这一设计？ 为什么越来越多的国内男孩，要娶国外女孩? 
fm里为什么会出现球员属性跟表现不匹配的现象？ 
我的设计作品很烂嘛？ 
在NAS上安装了什么应用，让你的生活体验有了巨大的提升？ 
为什么面对 Adobe 的版权要求下，vposy 大神还能从容不迫？ 大厂后端开发需要掌握docker和k8s吗? 
为什么西安市突然不禁摩了？ 
有哪些新工具可以切实提高办公效率？ 
为什么人类不把垃圾倾倒在活火山里？ 
使用Linux系统有什么优势，亮点在哪里？ 
超小团队选择Django还是Flask？ 
女生腰肌劳损了还能健身吗？ 
