去中心化錢包WeToken正式通過Certik安全審計_TOK

這是一個重要的時刻，智能合約技術代碼的審計對于一個去中心化錢包來說十分關鍵且重要！2021年12月30日WeToken已經通過美國知名安全審計公司Certik代碼審計，WeToken發布了智能合約技術代碼由世界領先的區塊鏈安全審計機構Certik全程參與本次代碼審計工作。Certik依靠動態分析、靜態分析、人工復核從中尋找潛在的安全隱患，以及可能生產的漏洞，對去中心化錢包WeToken進行全方位的安全審核。

Compass因涉嫌未能歸還客戶比特幣礦機而被起訴:1月20日消息，比特幣礦企Compass Mining被客戶起訴并索賠200萬美元。客戶指控Compass在與BitRiver結束合作關系后存在欺詐、違約和疏忽行為。

據悉，BitRiver是一家總部位于瑞士的公司，但其大部分業務都在俄羅斯。 BitRiver在西伯利亞的礦場中托管Compass的礦機。該訴訟稱，在美國財政部外國資產辦公室對BitRiver實施制裁后，Compass沒有試圖收回并歸還這些礦機。所涉及的挖礦設備和服務總額超過175萬美元。

美國地區法官Raal Singhal在周三駁回了該申請，稱原告的起訴有“幾個缺陷，阻礙了法院向前推進。”他列舉了幾項必要的補救措施，并將2月3日定為提交第二次修訂訴訟的最后期限。“不遵守這一命令將導致案件被駁回，不再另行通知。”（Decrypt）[2023/1/20 11:22:41]

審計結果

Genesis Global Capital確認聘請投資銀行Moelis與潛在投資者會談:金色財經報道，Genesis Global Capital證實已聘請投資銀行Moelis&Co在停止提款數日后探索如何提高其加密借貸業務的流動性并滿足客戶的需求。Genesis此前還披露，其衍生品部門在其FTX交易賬戶中鎖定了約1.75億美元的資金。因此，母公司DCG選擇通過注資 1.4 億美元的股權來加強 Genesis 的資產負債表。

周二，DCG 創始人兼首席執行官 Barry Silbert 透露，DCG對Genesis Global Capital 負有大約 5.75 億美元的債務，該債務將于 2023 年 5 月到期。[2022/11/24 8:02:59]

在審計后，Certik再次確認了WeToken錢包交付的技術代碼處于開源去中心化的基礎上并具有非常高的安全水準，肯定了WeToken錢包執行安全測試的主動性。WeToken錢包團隊已收到Certik的優化建議，這些建議已全部應用于代碼庫的完善過程中。

元宇宙基礎設施平臺Element Black與好萊塢公司Real Hype達成戰略合作:7月9日消息，元宇宙基礎設施平臺 Element Black 宣布與好萊塢公司 Real Hype 達成戰略合作，Real Hype 旗下明星和網紅將入駐 Music-infinity 音樂創作生態，發布獨家音樂內容。

Real Hype 是一家好萊塢創意媒體公司，通過創意短視頻內容、明星創意商務代理、網紅營銷等內容矩陣，與數百個世界著名的好萊塢明星及網紅達成深度合作，并參與 Web 3 及 NFT 品牌營銷。旗下合作明星藝人包括 Maggie Q, Steve Aoki, Cheat Codes, TIJN 等。[2022/7/9 2:02:25]

????

????

審計過程

Certik針對WeToken錢包的智能合約技術代碼的結構、實現情況和整體最佳實踐進行了測試、分析和推論。Certik團隊以系統為基礎對整個代碼庫進行分析，進而啟動整體審計過程，并在整個過程中嚴格遵循了高標準化要求。

審計過程中，Certik充分利用了動態分析，靜態分析和人工復核等技術，對項目協議進行了全面檢查。審計過程中特別注意了以下事項：

測試所有針對智能合約的常見與罕見的攻擊向量；

評估代碼庫是否達到當前的最佳實踐與行業標準；

保證合約的邏輯符合設計規范和設計目的；

參照并對比行業制定的相似結構；

對整個代碼庫進行逐行的人工復核；

WeToken簡介

WeToken是一款專業的多鏈數字錢包，依托團隊在區塊鏈領域的技術積累和安全經驗，從多重維度保障全球數字貨幣用戶的資產安全，提供簡單便捷、安全可靠的數字資產管理服務。Wetoken錢包現已支持以太坊、波場、BSC、HECO等多條主鏈，同時具備理財增值、幣幣交易、閃電兌換、抵押借貸、行情追蹤、多簽共管等豐富功能，已為全球超150個國家和地區千萬用戶提供可以信賴的數字貨幣資產管理服務，Wetoken——你的數字資產增值保值的保險箱。

Certik簡介

美國區塊鏈安全審計公司Certik已獲BinanceLabs數百萬美金投資。由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立，通過“深度規范”的形式化驗證技術為區塊鏈應用和智能合約提供代碼安全審計服務。并以形式化驗證技術為智能合約和區塊鏈應用及協議提供最高等級的代碼安全解決方案，曾為幣安等知名項目做過安全審計。

來源：金色財經

Tags：TOKERTWeTokenWETAngel TokencertikWETA幣

USDC