鏈聞消息，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 協議安全和正確運行的兩個基本要求。