ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
(网络图侵删哈) 根据内部消息:轰20正在加班加点的 修改。...
我现在面现场面试,允许候选人自己带电脑(也可以用公司提供的电...
某天在公园健身区,看到一个五十多岁的大妈身穿紧身瑜伽裤在拉伸...
有一年,公司搞HW行动(就是查网络安全)。 但是到我们这,...
你楼下两家面馆,都只卖红烧牛肉面。 你今天打游戏累了,想吃...
我先说结论,如果按照苏超的模式坚持下去,废掉的不仅是中超,还...