哦!太棒了!形式化验证(在这种情况下使用 Lean)可以帮助防止一些漏洞,例如三天前在 Solana 的加密金额功能中披露的不可检测伪造漏洞。从长远来看,这是非常重要的工作:
我们从@ethereumfndn验证的zkEVM项目中获得了一笔资助,用于开发STIR和WHIR的精简蓝图——两种用于Reed-Solomon码的IOPP协议。我们正在推进形式化验证,以实现更安全的zkEVM未来。#zkEVM #FormalVerification @EF_ESP
查看原文
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。