安全審計

鏈聞消息，Web3 雲計算項目 Phala Network 預備主網 Khala Network 的智能合約橋已通過區塊鏈安全公司 CertiK 的安全審計。據 CertiK 出具的審計報告顯示，Khala…

鏈聞消息，安全審計機構 Runtime Verification 完成 530 萬美元融資，IOSG Ventures 領投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos…

鏈聞消息，DeFi 無險永續合約平臺 Shield 已完成其以太坊和 BSC 上智能合約安全審計，審計工作由安全機構 PeckShield 派盾進行。Shield 表示，PeckShield 對 Shield…

鏈聞消息，建立在 Solana 上的 Serum DEX 前端 Bonfida 宣佈在 Solana 生態中推出首個代幣歸屬權智能合約（token vesting contract），合約已通過 Kudelski 的安全審計。Bonfida 團隊表示，該合約可以爲 SPL…

鏈聞消息，DeFi 借貸平臺 ForTube 宣佈推出 ForTube V3 版本，目前，已上線資產分池功能。ForTube V3 以智能合約、風險市場風險和交易對手方風險三個維度爲基礎，完成了創新區和穩健區資金池的風險分級，提高了資金利用率，後續將推出新 DAO 治理模型、理財板塊、Vault…

鏈聞消息，跨鏈 DeFi 平臺 Alpha Finance Lab 宣佈其代幣經濟學中最重要的組成部分之一的 ALPHA staking 將開始由 Reviews DAO 和 DeFi 社區的安全研究人員進行安全審計，獨立於目前 Peckshield 進行的全面安全審計。團隊表示，通過 Alpha…

鏈聞消息，去中心化金融協議 dForce 即將發佈借貸協議 V1 版本，現已通過區塊鏈安全審計公司 CertiK、Certora 進行的安全審計和形式化驗證。同時，dForce 將再聘請兩家審計機構對 V2 進行安全審計。dForce…

鏈聞消息，DeFi 固定利率生成協議 88mph 宣佈已經完成區塊鏈安全公司 CertiK 對 ERC-20 零息債券第二次安全審計，根據該報告，該合約沒有發現重大安全隱患，僅有 2 個較小問題。目前審計報告可公開查看。88mph 的 ERC-20 零息債券將支持承兌 88mph 固定利率債券…

鏈聞消息，基於 ZK Rollup 概念的二層擴容網絡 Hermez 宣佈其智能合約已開源至 Github。另外 Hermez 還表示正在對代碼進行幾項審計，第一次審計來自於 Solidified，10 月已經有 3 名審計人員對 Hermez…

鏈聞消息，安全研究機構 Trail of Bits 發佈關於 EIP-2535「鑽石標準」（Diamond Standard）提案的審計研究報告，他們認爲「鑽石標準」作爲智能合約可升級性的實現之一，目前還不值得以目前的形式推薦它。「鑽石標準」是一種智能合約的可升級模式，但是 Trail of…