ZKP作为一个复杂的密码学应用，其底层还是建立在其他的building block/primitive上的，所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充，Golang实现的ZKP系统也不少，最广为使用的就是 gnark 。
用Rust实现密码学库，一个非常典型的好处就是类型安全 。
例如u32变量，其所有计算都是良好定义的，例如2个u32的加法，如果在某一处出现了溢出的可能性，编译期间就会被发现。
从而迫使你使用checked_add，overflow…。
{dede:pagebreak/}
编程语言 MoonBit 发布 Beta 版，正式进入企业场景应用，会带来哪些影响？ 
如果现在南京市整体穿越到1937年，能守住南京吗？ 
学生校服如何隐藏内衣痕迹? 
如何评价陈楚生在《歌手 2025》第六期演唱的《未来的主人翁》？ 
据说go和c#的开发者都说自己比较节省内存，你们认为呢？ 如何看待 Three.js / WebGL 等前端 3D 技术？ 
想深入学习网站后台技术，有哪些建议？ 
央视怎么又开始报道伊朗的防空能力了？是有神秘的力量开始介入了吗? 
韩国人在电影上非常凶猛能打，现实中韩国男人的战力如何? 
女人到中年越来越看不上自己的老公怎么办？ 
用J***a写Android的时代是不是要结束了？ 
北大「韦神」粉丝破 2000 万，评论区成高考许愿池，如何看待家长们纷纷从韦神这里「沾福气」的心理？ 
如何看待同事每天蹭你车？ 
据说Rust和WASM可以让J***ascript变得更强，有值得推荐的项目吗？ 
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗？ 
如何评价 Steam 新游《捞女游戏》（已改名《情感反诈模拟器》）？ 
