ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
夫妻开饭店双双确诊乳腺癌，职业性暴露于烹饪油烟是乳腺癌独立风险因素，日常应做好哪些防护？ 
大家猜猜伊朗的结局如何？ 
中年夫妻有多少是生活和谐的？ 
各位历史发烧友，介绍一下你知道的冷门史实或逆天史实？ 
超小团队选择Django还是Flask？ 
PHP现在真的已经过时了吗？ 
大家猜猜伊朗的结局如何？ 
如何看待多地开展查摆年轻干部玩心重、混日子、说话随意、口大气粗等问题的行动？ 歼-20 在国际上到底是什么地位？ 
韩寒现在为什么不写书了呢？ 
为何一讨论Wi-Fi 7阉割6GHz+320MHz，很多人都说用不上所以根本不在意？ 
中国预警机世界领先吗？ 
有没有GUI框架开发难度小，***消耗又不多，而且又跨平台？ 
为什么微信不向telegram学习？ 
电影《阿诺拉》中大量的***镜头是否必要？ 
为什么 Windows 没有比较成熟的第三方桌面环境（explorer.exe）？ 
