ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
求大神解答，为什么大家都不喜欢用docker？ 
国内为什么那么多人黑 WordPress ？ 
为什么现在的年轻人更容易觉得疲惫？ 
会多门编程语言的你，最推荐哪3-5门语言？ 
新手想要打好篮球，主要练运球还是投篮？ 
网络小白如何建立一个网站，供别人下载文件（主要是PDF和MP3）? 
如何用好85mm定焦镜头？ 
如今的Intel为什么连AMD都打不过？ 
27寸显示器有必要上4K吗？ 
如何评价杨立昆认为大模型只是对海量文本的模式进行复杂拟合，根本不懂意义？ 
如何看待不超过1879元的Mac mini（M4+16/256GB+票），易用性吊打同级其他台式电脑？ 如何评价《一人之下》第722（765）话情报？ 
2025年，笔记软件又如何选择? 
Node.js是谁发明的? 
obsidian用一两年后会有多大？全文搜索还快吗？ 
家里想搞个服务器，有什么好的建议方案吗？ 
