为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?

  新闻资讯     |       2025-06-23 16:50:14

ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。

当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。

用Rust实现密码学库,一个非常典型的好处就是类型安全 。

例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。

从而迫使你使用checked_add,overflow…。

为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?

刘强东称「京东外卖很快就会出来一个跟美团完全不同的商业模式」,如何看待此回应?

做个web服务器,gin框架和go-zero怎么选?