形式化驗證

鏈聞消息，以太坊基金會公開了正在支持的研發團隊的項目和領域，其中涉及「應用零知識證明」的團隊和技術最多，近 14 個項目。除了零知識證明之外，以太坊基金會還支持了關於 ETH2 研究、以太坊基金會官網、Ewasm、形式化驗證、Geth 客戶端、Javascript…

鏈聞消息，PlatON 宣佈與安全審計公司 Runtime Verification 合作，合作內容包括針對 PlatON 的並行拜占庭容錯（CBFT）協議進行形式化建模，並對兩個關鍵任務屬性——安全性和活性進行驗證，以確保未來主網共識機制的安全穩定。Runtime Verification 對…

鏈聞消息，受 ConsenSys 資助的區塊鏈開發團隊推出一款 EVM 形式化驗證編譯器「Elle」，旨在確保更高級別的智能合約代碼與執行它的以太坊虛擬機字節碼之間的安全連接。Elle-Core 捕獲結構化編程抽象，並通過經過驗證的編譯器將其轉換爲以太坊 EVM 字節碼。該項目由 ConsenSys…