ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
可以分享你的一张背影照吗？ 
如何评价***伊内斯·特洛奇亚的身材？ 
为何 Linus 一个人就能写出这么强的系统，中国却做不出来？ 
如何看待b站出现有关小米的大量反向标题，号称“薅千亿补贴”的现象？ 
苹果在 WWDC 上发布的 Apple Games 平台能否成为进入游戏行业核心领域的关键转折点？ 
怎么委婉地告诉老婆「我老妈并不欠她」呢? 
同样是对标安卓系统，为什么谷歌的Fuchsia死了，而华为的鸿蒙却愈发壮大？ 
你们听过领导最没水平的一句话是什么？ 
如何评价辛芷蕾？ 
皮肤太白是种怎样的体验？ 
被人囚禁是什么体验？ 
为什么同样是输球，常州和国足的风评却差那么多呢？ 
我是新手想养鱼，预算不超过200。有什么好的建议或者禁忌吗。？ 自由泳是真的很累啊，怎么办？ 
普通人用得着4k分辨率的显示器吗？ 
如何看待 2026QS 世界大学排名？ 
