Web3极客日报 #371
1. Cairo 测试版发布 https://www.cairo-lang.org/ @张晓@gbctech.cn:StarkWare公司终于发布了用于通用算法证明的零知识证明虚拟机项目Cairo的工具链。内容包括编译器、虚拟机、追踪器、IDE扩展,此外还提供了相应文档和教程。需要注意的是该项目使用了专门的版权许可证,并将于2021年6月底到期。许可证只赋予用户书写Cairo程序的权利,相关的Verifier和Prover程序并不在本次公开内容之内。 2. 关于密码学10个不可思议的事实 https://github.com/tearust/gluon-docs/blob/master/Blog_and_Vlog/10_unbelievable_facts.md @北美开吻:本文列出了 10 条惊悚的”信不信由你”. 简而言之, 如果我们可以把现有区块链的信任根从”算法”+”共识” 增加一个新的维度”硬件可信”. 这样就把以前很多的不可能问题变得可能了....