[Vitalik：感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找]金色财经报道，以太坊联合创始人Vitalik Buterin在社交媒体上称，让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前，以太坊最大的技术风险可能就是代码中的错误，任何能够显著改变这一游戏规则的技术都将令人惊叹。
其它快讯：
制药巨头辉瑞正申请加入VitaDAO并将捐赠50万美元:金色财经报道，据医药生命研究去中心自治组织VitaDAO透露，制药巨头辉瑞（Pfizer）正在积极拥抱区块链技术并对延长生命的药物研究表达了强烈兴趣。为此，Pfizer Ventures执行董事兼合伙人Michael Baran和Early-Stage External Scientific Networks负责人Linda Lohr在VitaDAO社区发起了一项提案，旨在向VitaDAO捐款50万美元并加入VitaDAO治理，辉瑞计划支持VitaDAO的方式包括：访问交易流、支持知识产权孵化和IP商业化、以及发展社区。截至目前100%的选票支持辉瑞加入VitaDAO，如果一切顺利，这家制药巨头将在今年10月中旬加入。[2022/9/13 13:27:24]
哥伦比亚政府选择基于Algorand区块链的Vitalpass作为官方数字疫苗接种护照:9月11日消息，由Auna Ideas基金会和Koibanx共同创建并利用Algorand区块链开发的COVID-19数字疫苗接种护照Vitalpass，已被哥伦比亚政府选为其官方免疫接种证书。
据悉，哥伦比亚是拉丁美洲第一个采用这种技术的国家。此前，萨尔瓦多政府与拉丁美洲区块链资产代币化和金融基础设施公司Koibanx签署了一项协议，以在Algorand之上开发其区块链基础设施。（雅虎财经）[2021/9/11 23:17:57]
Vitalik：以太坊2.0或需多年才能解决扩容问题:以太坊联合创始人Vitalik Buterin表示，以太坊基础层可扩展性还有很长路要走，很可能在很多年之后都无法实现区块链基础层扩容。按照Vitalik说法，基于应用程序基础层扩容或许会在以太坊2.0最后一个主要阶段完成之后才会出现，所以可能需要等待几年。Vitalik表示，他鉴于当前情况建议将以太坊扩容工作全部放在二层Layer 2解决方案上，同时他建议一旦「以太坊1.5阶段」完全通过权益证明，那么基本上就不会关注扩容问题了。如果用户不确信「以太坊1.5阶段」能够解决容量问题，那么还可以采取折衷方法，即：拥有少量执行分片（比如4-8个）和更多数据分片。Vitalik建议在钱包中直接构建二层协议，比如MetaMask或Status，他也强调在「跨二层协议传输」方面需要做更多工作，二层解决方案可以某种方式成为协议本身一部分，而以太坊1.0则可以用作为Optimistic Rollup客户端。[2020/10/3]
郑重声明： Vitalik：感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。