ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
Centos为什么突然没人用了?
基因好是一种怎样的体验?
我因为我的Dev c++和vscode不能一起用所以把Dev c++卸载了,结果出现了这个问题怎么办?
你见过最无用的节俭行为是什么?
为什么只听过果粉、米粉、花粉没听说过 Windows 粉?
外网有哪些和中国有关的梗?
为什么老外泡中国妞那么容易?什么时候中国男人也能泡老外那么容易?
亲眼见到明星本人是什么体验?
有哪些让你目瞪口呆的 Bug ?
为什么买的小乌龟总是养不活呀?
一个非常漂亮的残疾女孩,会有人愿意娶吗?
你都见过什么样的电脑盲?
为什么早期穿越剧《穿越时空的爱恋》《寻秦记》没有觉得那么「雷」人?
如何在不重装系统和软件的情况下换系统盘?
女生第一次来大姨妈什么感受?
63 岁演员马景涛直播时突然晕倒、后脑勺磕地,合作方称其突发低血糖,为什么会这样?如何急救?