ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
有基于 C/C++ 的 Web 开发框架吗?
可控核聚变是否真的有传说中那么美好?
如何反驳“电脑普及15年,年轻人还要淘宝代装steam”?
学编程要不要买电脑?
印度是真的烂还是咱们在信息茧房里面?
胸大的女孩会自卑 吗?
我想不通,类似东方树叶这种毫无技术也没什么添加剂的茶叶水,是怎么敢卖5块的???
你的低成本爱好是什么?
如何建一个安全的个人nas?
如何看待苹果公司撤下“说服父母给你买一台 Mac”的广告***,上线仅一天?
为什么有的房东喜欢把房间租给女租户?
如何评价DuckDB?
为什么 CRT 画质这么好也被淘汰,液晶反而发展的很好?
有什么食物是你一直想吃,真吃到却很失望的?
2025年了 Rust前景如何?
日本AV对中国人的毒害有多大?