ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
如何判断一个游戏是用手柄玩更好还是用键鼠玩更好?
为什么感觉淘宝现在不如拼多多了?
直接远程到服务器上写代码有什么好处?
马景涛这些年到底经历了什么?
小米 YU7 发布会,有哪些大说特说的点其实是行业基操?
PHP现在真的已经过时了吗?
为什么部分人瞧不起深圳?
老公加班过多,是逃避家庭责任吗?
新手小白学画画现在还有出路吗?
GoLang不需要Rakefile/Makefile,是如何实现交叉编译的?如在X86上生成MIPS的可执行。
广西柳州的轻轨项目是否已经搁浅?
为什么大家不再提星链了(包括外网)?
现在个人博客不能备案了吗?
以前大力推广的沼气池,怎么现在越来越少了?
一个人能做出什么开源项目?
为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?