鏈聞 ChainNews 誠邀讀者共同監督,堅決杜絕各類代幣發行、投資推薦及虛擬貨幣炒作信息。舉報

Runtime Verification文章 資訊 新聞 快訊 深度評論 介紹 解讀

Runtime Verification新聞快訊文章, Runtime Verification深度文章, Runtime Verification快訊, 區塊鏈Runtime Verification, Runtime Verification是什麼, Runtime Verification介紹, Runtime Verification解讀, Runtime Verification項目, 三分鐘瞭解Runtime Verification, 秒懂Runtime Verification, 如何評價Runtime Verification, Runtime Verification怎麼樣, Runtime Verification創始人, Runtime Verification招聘, Runtime Verification融資, Runtime Verification價格, Runtime Verification技術, Runtime Verification社區, Runtime Verification論壇, Runtime Verification瀏覽器, Runtime Verification排名, Runtime Verification白皮書, Runtime Verification本質, Runtime Verification意義, Runtime Verification代碼, Runtime Verification遊戲, Runtime Verification什麼意思, Runtime Verification學習, Runtime Verification培訓, Runtime Verification教程, Runtime Verification投資, Runtime Verification賺錢, Runtime Verification安全, Runtime Verification漏洞

PlatON 與 Runtime Verification 達成合作,確保網絡安全穩定

鏈聞消息,PlatON 宣佈與安全審計公司 Runtime Verification 合作,合作內容包括針對 PlatON 的並行拜占庭容錯(CBFT)協議進行形式化建模,並對兩個關鍵任務屬性——安全性和活性進行驗證,以確保未來主網共識機制的安全穩定。Runtime Verification 對 CBFT 共識協議的形式化建模以及對安全性和活性的驗證,爲 PlatON 協議設計的準確性提供了更高級別的保證,並且確保了雙方合作初衷得以滿意的落實。通過此項合作,PlatON 網絡的安全性和穩定性將得以接受嚴格的審計,從而爲主網上線進一步奠定堅實的基礎。Runtime Verification 擁有世界頂尖的形式化驗證團隊,在區塊鏈領域,Runtime Verification 目前主要爲各大公鏈和 DeFi 協議提供安全審計服務,目前的客戶包括 IOHK(Cardano 的開發公司)、以太坊、Algorand、Web3 基金會、Elrond、Casper Labs、Gnosis、MakerDAO 等。據 block123.com 消息,PlatON 是 LatticeX 基金會支持的隱私計算網絡和分佈式經濟體基礎設施,採用並行拜占庭容錯(CBFT)協議,極大地降低通訊複雜度並提高出塊效率。CBFT 協議是 PlatON 綜合了 PBFT、Tendermint、Hotstuff 等多種協議優點而覈定的共識協議。通過 pipeline 的方式,完成區塊生成和確認的並行。與其他共識協議一樣,安全性(不會產生雙重花費和分叉)和活性(共識持續進行不卡頓)的確認是保證 CBFT 協議安全和正確運行的兩個基本要求。

以太坊 2.0 又一里程碑,存款合約字節碼完成形式化驗證

鏈聞消息,以太坊基金會宣佈 ETH 2.0 存款合約(deposit contract)字節碼的審計和形式化驗證(formal verification)已經由技術團隊 Runtime Verification 完成。以太坊基金會表示,這是一個重要的里程碑,使得項目更接近 ETH 2.0 主網的第 0 階段(Phase 0),但以太坊基金會依舊希望其他專業人士或者社區可以對於形式化驗證提供更多反饋,可以在代碼庫提交相關問題。除此之外,以太坊基金會表示雖然 ETH 2.0 的第 2 階段核心原則已經被定義清楚,但其具體設計還是相對開放的,Quilt (ConsenSys 的研究團隊)和 eWASM (以太坊基金會的研究團隊)在最近一年裏已經花了非常多的精力研究,而新成立的 TXRX (ConsenSys 的研究團隊)會將一部分精力投入到第 2 階段的研發中,最初的重點將會放在更好地瞭解跨分片交易的複雜性,以及研究和原型化將 ETH 1.0 集成到 ETH 2.0 的方法。
·

五分鐘簡評爲以太坊等動態分析審計的 Runtime Verification

爲以太坊與 Algorand 等知名項目提供動態分析審計的 Runtime Verification 是何方神聖?
五分鐘簡評爲以太坊等動態分析審計的 Runtime Verification
返回頁面頂部