這是一個重要的時刻,智能合約技術代碼的審計對于一個去中心化錢包來說十分關鍵且重要!2021年12月30日WeToken已經通過美國知名安全審計公司Certik代碼審計,WeToken發布了智能合約技術代碼由世界領先的區塊鏈安全審計機構Certik全程參與本次代碼審計工作。Certik依靠動態分析、靜態分析、人工復核從中尋找潛在的安全隱患,以及可能生產的漏洞,對去中心化錢包WeToken進行全方位的安全審核。
PeckShield:約900萬美元Nomad被盜資金已被歸還:8月3日消息,PeckShield在其社交平臺表示,已檢測到約 900 萬美元 Nomad 被盜資金已被歸還至 Nomad 提供的資金回收地址。[2022/8/3 2:56:16]
審計結果
在審計后,Certik再次確認了WeToken錢包交付的技術代碼處于開源去中心化的基礎上并具有非常高的安全水準,肯定了WeToken錢包執行安全測試的主動性。WeToken錢包團隊已收到Certik的優化建議,這些建議已全部應用于代碼庫的完善過程中。
韓國檢察官突擊搜查加密貨幣交易所以調查Terraform崩盤事件:7月20日消息,韓國檢察官周三突擊搜查了當地的加密貨幣交易所,作為調查與Terraform Labs的TerraUSD和Luna崩盤有關的欺詐案件的一部分。首爾南區檢察官辦公室的一組調查人員在下午5點左右開始從Upbit和其他當地交易所獲取交易記錄和其他材料。
TerraUSD和Luna的投資者于5月對Terraform Labs的首席執行官Do Kwon和聯合創始人Daniel Shin提出投訴,指控他們在當月早些時候兩枚代幣崩盤后損失了數十億韓元。(The Korea Kerald)[2022/7/20 2:26:46]
????
南非央行計劃監管加密貨幣:7月12日消息,市場消息:南非央行計劃監管加密貨幣。(金十)[2022/7/12 2:08:32]
????
審計過程
Certik針對WeToken錢包的智能合約技術代碼的結構、實現情況和整體最佳實踐進行了測試、分析和推論。Certik團隊以系統為基礎對整個代碼庫進行分析,進而啟動整體審計過程,并在整個過程中嚴格遵循了高標準化要求。
審計過程中,Certik充分利用了動態分析,靜態分析和人工復核等技術,對項目協議進行了全面檢查。審計過程中特別注意了以下事項:
測試所有針對智能合約的常見與罕見的攻擊向量;
評估代碼庫是否達到當前的最佳實踐與行業標準;
保證合約的邏輯符合設計規范和設計目的;
參照并對比行業制定的相似結構;
對整個代碼庫進行逐行的人工復核;
WeToken簡介
WeToken是一款專業的多鏈數字錢包,依托團隊在區塊鏈領域的技術積累和安全經驗,從多重維度保障全球數字貨幣用戶的資產安全,提供簡單便捷、安全可靠的數字資產管理服務。Wetoken錢包現已支持以太坊、波場、BSC、HECO等多條主鏈,同時具備理財增值、幣幣交易、閃電兌換、抵押借貸、行情追蹤、多簽共管等豐富功能,已為全球超150個國家和地區千萬用戶提供可以信賴的數字貨幣資產管理服務,Wetoken——你的數字資產增值保值的保險箱。
Certik簡介
美國區塊鏈安全審計公司Certik已獲BinanceLabs數百萬美金投資。由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立,通過“深度規范”的形式化驗證技術為區塊鏈應用和智能合約提供代碼安全審計服務。并以形式化驗證技術為智能合約和區塊鏈應用及協議提供最高等級的代碼安全解決方案,曾為幣安等知名項目做過安全審計。
來源:金色財經
1.2021是NFT元年誰贊成?誰反對?去年的這個時候,NFT還只是加密領域的一個細分市場,而如今卻已成為了一種潮流.
1900/1/1 0:00:00一只猴子到底值多少錢?如果它是來自BoredApesYachtClub的收藏品,那么它至少價值50ETH,在撰寫本文時相當于200,000美元.
1900/1/1 0:00:002021年,對區塊鏈行業來說,是跌宕起伏的一年,盡管如此,區塊鏈憑借其去中心化、開放透明的特性,在行業內外的努力下,仍取得了良好的成績.
1900/1/1 0:00:00今年,元宇宙等相關概念非常火熱。許多大公司都紛紛布局相關產業,截止12月30號,今年已超過1.2萬枚名稱中含“元宇宙”的商標申請.
1900/1/1 0:00:002022年的比特幣展望 薩爾瓦多總統納伊布·布克勒2日透露了加密資產比特幣的新年展望。去年9月,該國是世界上第一個將比特幣設置為布克爾總統領導下的法定貨幣的國家.
1900/1/1 0:00:00NFTb高興地宣布與DeMole合作,DeMole是在BSC上開發的首批具有全3D設計和動畫的可玩NFT游戲之一,可用于個人電腦和手機.
1900/1/1 0:00:00