ZKP作为一个复杂的密码学应用,其底层还是建立在其他的building block/primitive上的,所谓问题还是为什么很多密码学得库都逐渐改成了Rust实现。
当然作为补充,Golang实现的ZKP系统也不少,最广为使用的就是 gnark 。
用Rust实现密码学库,一个非常典型的好处就是类型安全 。
例如u32变量,其所有计算都是良好定义的,例如2个u32的加法,如果在某一处出现了溢出的可能性,编译期间就会被发现。
从而迫使你使用checked_add,overflow…。
代码:
php这个岗位在未来几年会消失吗,因为刚从事php有点焦虑?
慈禧为什么要反对戊戌变法?
如何评价《三角洲行动》***作者「三角洲经济学教父」?
空战的时候可不可以先击落预警机?
为什么中国红十字会腐败这么严重?
刘强东称「京东外卖很快就会出来一个跟美团完全不同的商业模式」,如何看待此回应?
为什么 WebStorm 这么好用还会有人去用 VSCode?
为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
为何同是象棋,国际象棋的棋子可以做的那么有设计感,而中国象棋的棋子形式似乎比较单一?
为什么中国农村房子那么丑?
JetBrains 的核心技术是什么?
能分享一下你写过的rust项目吗?
如果你是《一帘幽梦》里的绿萍,你会不会最后原谅紫菱?
ant-design-vue 社区为什么不维护了?
消息称三大运营商将于今年下半年全面重启eSIM,eSIM有哪些好处?为何此前暂停这一业务?
猫那么爱干净,却为什么不喜欢洗澡?
微信头像会影响第一印象吗?
你见过的最舒适的办公环境是什么?
***拍大尺度片子时摄影师不会看光吗?
学生校服如何隐藏内衣痕迹?
Golang web项目求推荐?
如何电脑下载Adobe audition?
J***aScript 已经强大到什么程度了?
如何看待 Rust 写的 PNG 解码器比 C 实现更快?
男人为什么到了一定年纪就喜欢喝酒?
为什么一部分 Go 布道师的博客不更新了?
歼20速度接近3马赫是什么水平?
如何看待三峡集团总部搬迁至武汉?
曾经的班花,现在还多少人惦记?
你们的腰突是怎么突然好的?