ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
{dede:pagebreak/}
什么时候你发现和农村父母渐行渐远?
你捡过最大的漏是什么?
有人认识这个小姐姐吗,超爱她的照片?
正常人吃治疗抑郁症的药会变快乐吗?
哪些让你用了觉得相见恨晚的键盘?
iOS 26 的新设计被吐槽丑,苹果在设计更新时考虑了哪些因素?你对这一设计都有哪些评价?
台湾是中国领土,那台湾海峡算是内海,为什么不击沉那些无理通过海峡的军事力量?
美团优选被曝突发大面积关仓。如何评价?
吃爽了是怎样一种体验?
postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
用K8s的公司有多少人会部署K8s?
韩国作为发达国家,到底发达在哪?
为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm,或PC直接装macOS arm?
你们学校的校花都是怎么样的?
男子与妻子发生性关系被告***,此案会成为国内第一起在婚姻存续期间内未分居下的***案吗?
请问照片里这个人是谁呀?