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

安全審計文章 資訊 新聞 快訊 深度評論 介紹 解讀

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

Khala Network 智能合約橋已通過 CertiK 安全審計

鏈聞消息,Web3 雲計算項目 Phala Network 預備主網 Khala Network 的智能合約橋已通過區塊鏈安全公司 CertiK 的安全審計。據 CertiK 出具的審計報告顯示,Khala 智能合約橋沒有嚴重或任何重大漏洞,並能有效防止任何惡意攻擊,部分次要問題已得到解決。Khala 智能合約橋能幫助用戶實現 ERC20 PHA 與 K-PHA 的兌換,讓 Khala 網絡外的 PHA 資產得以轉入 Khala 賬戶。爲後續 Khala 網絡上線做準備。

THORChain 在 Immunefi 平臺推出漏洞賞金計劃,總獎勵金額爲 200 萬美元

鏈聞消息,去中心化跨鏈交易協議 THORChain 在智能合約漏洞賞金平臺 Immunefi 推出了漏洞賞金計劃,單個漏洞的最高獎勵爲 50 萬美元,該計劃的總資金爲 200 萬美元。該計劃涵蓋了智能合約和 THORChain 的核心功能,獎勵將按照 Immunefi 的漏洞嚴重程度分類系統,THORChain 的核心團隊成員以及 THORChain 的審計公司等貢獻者不允許參與該計劃。

安全審計機構 Runtime Verification 完成 530 萬美元融資,IOSG Ventures 領投

鏈聞消息,安全審計機構 Runtime Verification 完成 530 萬美元融資,IOSG Ventures 領投,Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation 參投。募集的資金將用於加速工具的開發,旨在提高不同區塊鏈和嵌入式系統的安全性、可靠性和正確性,以及推廣「運行中驗證」(Runtime Verification)的方式來審計虛擬機以及智能合約。

CertiK 和慢霧的安全審計結果已集成到 CoinMarketCap

鏈聞消息,加密市場信息平臺 CoinMarketCap 現已集成 CertiK 和慢霧的安全審計信息。在 CoinMarketCap 網站上搜索或點擊任意項目名稱,若其已被 CertiK 或慢霧審計,可直接查看安全審計信息。

DeFi 無險永續合約平臺 Shield 完成智能合約安全審計

鏈聞消息,DeFi 無險永續合約平臺 Shield 已完成其以太坊和 BSC 上智能合約安全審計,審計工作由安全機構 PeckShield 派盾進行。Shield 表示,PeckShield 對 Shield 經過系統、全面的漏洞靜態掃描,動態攻擊測試等代碼安全審計工作,並對其共識算法、激勵模型、交易模型、系統合約等各個模塊進行了專業、全面審計,最終版本經 PeckShield 安全人員鑑定其已經符合 PeckShield 四大類 37 項檢測要求,無已知安全風險。Shield 智能合約代碼此前已通過慢霧科技的安全審計。...

固定利率借貸協議 Element Finance 發佈安全審計結果,並開啓 Element 漏洞賞金計劃

鏈聞消息,固定利率借貸協議 Element Finance 發佈安全審計結果,並開啓 Element 漏洞賞金計劃。由安全審計機構 Runtime Verification 執行的安全審計中,發現了 3 個嚴重漏洞,2 箇中度漏洞,4 個低度漏洞以及信息發現和建議,所有問題都已修復或解決;由派盾 PeckShield 的審計發現了 1 箇中度漏洞,2 個低度漏洞和 2 條信息建議,PeckShield 在 Runtime Verification 之後開始審計,因此檢查了 Runtime Verificatio 審計後一部分修復的代碼,先前所有審計發現的問題都已修復或解決。另外,Element Protocol v1 智能合約已開源,並開啓漏洞賞金計劃,根據漏洞的嚴重程度支付獎勵,爲保障其安全性,漏洞賞金計劃將無限期運行。

Bonfida 爲 Solana 生態發佈代幣歸屬權智能合約,已通過安全審計

鏈聞消息,建立在 Solana 上的 Serum DEX 前端 Bonfida 宣佈在 Solana 生態中推出首個代幣歸屬權智能合約(token vesting contract),合約已通過 Kudelski 的安全審計。Bonfida 團隊表示,該合約可以爲 SPL 代幣設置解鎖時間、期限等規則,如果有任何 Solana 項目希望使用該智能合約發佈代幣,可以直接聯繫 Bonfida 團隊。

跨鏈協議 ChainSwap 將於今晚 9 點在 Uniswap 上進行代幣 TOKEN 的 LBP

鏈聞消息,跨鏈協議 ChainSwap 宣佈將於今日 21 點將代幣 TOKEN 在 Uniswap 上進行 LBP (流動性初始化),任何人均可通過 ChainSwap 原創開發的 Uniswap LBP 功能中獲取 TOKEN 代幣。ChainSwap 表示,Uniswap LBP 已經通過了靈蹤安全審計。

DeFi 借貸平臺 ForTube 推出 V3 版本,已上線資產分池功能

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

Alpha Finance 代幣經濟學組件 Staking 模塊將進行安全審計

鏈聞消息,跨鏈 DeFi 平臺 Alpha Finance Lab 宣佈其代幣經濟學中最重要的組成部分之一的 ALPHA staking 將開始由 Reviews DAO 和 DeFi 社區的安全研究人員進行安全審計,獨立於目前 Peckshield 進行的全面安全審計。團隊表示,通過 Alpha 的代幣經濟學,ALPHA 代幣持有者可以從所有 Alpha 產品中獲益,包括 Alpha Homora v1、Alpha Homora v2、AlphaX 以及其他更多的 Alpha 產品。Alpha 表示代幣經濟學的全部細節很快就會公開。

dForce 即將發佈借貸協議 V1 版本,現已通過 CertiK 和 Certora 安全審計

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

區塊鏈安全公司 CertiK 完成對 88mph 的 ERC-20 零息債券第二次安全審計

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

跨鏈 DeFi 協議 Kava 已通過 CertiK 審計,確認平臺代幣發行模塊代碼的安全

鏈聞消息,跨鏈 DeFi 協議 Kava 發推稱,「目前已通過區塊鏈安全公司 CertiK 的全面審計,確保了 Kava DeFi 平臺代幣發行模塊代碼的安全。火幣已將其生態資產 HBTC 接入 Kava DeFi 發行模塊,後續將在 Kava 上鑄造數百萬美元的資產。」

Terra 開發團隊啓動一項 1000 萬美元的 DeFi 安全審計基金,或將推進以太坊上 DeFi 項目的開發

鏈聞消息,穩定幣項目 Terra (LUNA)背後團隊 Terraform Labs 週四宣佈,已啓動一項 1000 萬美元的 DeFi 項目安全審計基金 Terraform Capital,該基金將被用於安全審計成本支出,以推進美元穩定幣 TerraUSD (UST)和治理代幣 LUNA 在以太坊上各 DeFi 協議棧的集成。目前該基金正在組建一組安全審計團隊,以開發新產品,以及針對早期採用者的安全保證。目前符合條件的團隊有 Sentnl、Quantstamp 和 Solidified。此舉的目標是推進 UST 和 LUNA 的用例,因此團隊樂意將資金用於 Tendermint 之外的其他區塊鏈,特別是以太坊上的 DeFi 項目。

Filecoin 首個分叉項目 Filecash 公鏈通過知道創宇安全審計

鏈聞消息,知道創宇宣佈已完成對 Filecoin 首個分叉項目 Filecash 公鏈的安全審計服務,最終達到五星安全等級。在審計過程中發現了 4 個低危漏洞和 2 箇中危漏洞,經過和 Filecash 社區溝通後,問題均已修復,並由知道創宇再次審查並通過。本次安全審計的範圍包括編碼安全、RPC 安全、P2P 安全、共識安全、賬戶系統安全、合約虛擬機安全以及業務邏輯設計安全等方面。
·

區塊鏈安全警鐘長鳴,聽安全專家分享審計工作指南

站在安全審計人員和客戶的角度,如何更好開展審計工作?
區塊鏈安全警鐘長鳴,聽安全專家分享審計工作指南

二層擴容方案 Hermez 智能合約已開源,已完成一次代碼審計

鏈聞消息,基於 ZK Rollup 概念的二層擴容網絡 Hermez 宣佈其智能合約已開源至 Github。另外 Hermez 還表示正在對代碼進行幾項審計,第一次審計來自於 Solidified,10 月已經有 3 名審計人員對 Hermez 的智能合約及其相關組件進行三週的審計,未發現任何嚴重或重大問題。Hermez 還在和獨立審計人員 Adrià Massanet 合作,進行額外的代碼審計,並與 Trail of Bits 團隊合作,進行另一項全面的審計。

Trail of Bits 認爲「鑽石標準」實現還不值得推薦,仍有改進空間

鏈聞消息,安全研究機構 Trail of Bits 發佈關於 EIP-2535「鑽石標準」(Diamond Standard)提案的審計研究報告,他們認爲「鑽石標準」作爲智能合約可升級性的實現之一,目前還不值得以目前的形式推薦它。「鑽石標準」是一種智能合約的可升級模式,但是 Trail of Bits 認爲目前的「鑽石標準」代碼設計過度,有很多不必要的複雜性。Trail of Bits 還同時表示,目前的提案只是一個草案,還有發展和改進空間。

Aave 生態 NFT 平臺 Aavegotchi 代幣質押將於 3 天內上線主網

鏈聞消息,Aave 生態 NFT 平臺 Aavegotchi 表示其代幣 GHST 的質押將於 3 天內上線以太坊主網,稍後會在另一篇文章中正式宣佈上線。另外 Aavegotchi 還公開了 GHST 質押合約的審計報告,表示沒有任何可利用的漏洞,目前官方還在準備完整的報告,之後會正式發表。

PeckShield 發佈 DeFi 聚合器 Bella Protocol 智能合約審計報告,未發現嚴重漏洞

鏈聞消息,區塊鏈安全公司 PeckShield 發佈 DeFi 聚合器及資管平臺 Bella Protocol (BEL) 中流動性激勵計劃相關的 YCurveStaking 智能合約審計報告。審計結果認爲該智能合約的設計和工程能力良好,未發現嚴重或高危漏洞,而發現的 3 個低危漏洞和 1 個信息建議也已經得到了及時的確認和修復。
返回頁面頂部