哦!匪夷所思!形式化驗證(在本例中使用 Lean)可以説明防止一些錯誤,例如三天前在 Solana 的加密金額功能中披露的無法檢測到的偽造漏洞。 從長遠來看,這是一項重要的工作:
我們獲得了 @ethereumfndn 驗證 zkEVM 計劃的資助,用於開發 STIR 和 WHIR(兩種用於 Reed-Solomon 代碼的 IOPP 協定)的精益藍圖。我們正在推進形式化驗證,以實現更安全的 zkEVM 未來。#zkEVM #FormalVerification @EF_ESP
查看原文
本頁面內容由第三方提供。除非另有說明,OKX 不是所引用文章的作者,也不對此類材料主張任何版權。該內容僅供參考,並不代表 OKX 觀點,不作為任何形式的認可,也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下,此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章,瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險,其價值可能會產生較大波動。請根據自身財務狀況,仔細考慮交易或持有數字資產是否適合您。