這是一個重要的時刻,智能合約技術代碼的審計對于一個去中心化錢包來說十分關鍵且重要!2021年12月30日WeToken已經通過美國知名安全審計公司Certik代碼審計,WeToken發布了智能合約技術代碼由世界領先的區塊鏈安全審計機構Certik全程參與本次代碼審計工作。Certik依靠動態分析、靜態分析、人工復核從中尋找潛在的安全隱患,以及可能生產的漏洞,對去中心化錢包WeToken進行全方位的安全審核。
PROOF聯創:正在積極開發代幣,Pass持有者將會在2025年后轉換為Moonbirds Elders:3月3日消息,據NFT項目Moonbirds在社交媒體披露,PROOF聯合創始人Kevin Rose和Justin Mezzell在最新直播中稱,PROOF通行證將于2025年1月1日結束,屆時當前持有者將成為Moonbirds Elders(這是一個暫定名稱),他們將擁有“boosters(助推器)”,以在未來獲得獨家代幣投放等活動中獲得獨家權限。對于潛在的代幣發行,Kevin Rose表示目前正在積極開發中,他強調未來推出的代幣必須要能支持PROOF生態系統。[2023/3/3 12:40:24]
審計結果
黑客利用Profanity漏洞獲利330萬美元:9月18日消息,加密調查員ZachXBT表示,黑客利用Profanity漏洞獲利330萬美元。在ZachXBT發布警告后,幫助用戶免于120萬美元損失。(Cointelegraph)
此前9月15日消息,1inch報告:通過Profanity創建的某些以太坊地址存在嚴重漏洞。[2022/9/19 7:04:49]
在審計后,Certik再次確認了WeToken錢包交付的技術代碼處于開源去中心化的基礎上并具有非常高的安全水準,肯定了WeToken錢包執行安全測試的主動性。WeToken錢包團隊已收到Certik的優化建議,這些建議已全部應用于代碼庫的完善過程中。
Moonbeam:為調查智能合約的安全事件,網絡已進入維護模式:8月2日消息,據Moonbeam官方通知,為調查部署在網絡上的智能合約的安全事件,網絡已進入維護模式。在此期間,網絡功能將受到限制,用戶將無法執行常規交易和智能合約交互。民主、質押、取消暫停和升級的能力將繼續有效。[2022/8/2 2:52:44]
????
????
審計過程
Certik針對WeToken錢包的智能合約技術代碼的結構、實現情況和整體最佳實踐進行了測試、分析和推論。Certik團隊以系統為基礎對整個代碼庫進行分析,進而啟動整體審計過程,并在整個過程中嚴格遵循了高標準化要求。
審計過程中,Certik充分利用了動態分析,靜態分析和人工復核等技術,對項目協議進行了全面檢查。審計過程中特別注意了以下事項:
測試所有針對智能合約的常見與罕見的攻擊向量;
評估代碼庫是否達到當前的最佳實踐與行業標準;
保證合約的邏輯符合設計規范和設計目的;
參照并對比行業制定的相似結構;
對整個代碼庫進行逐行的人工復核;
WeToken簡介
WeToken是一款專業的多鏈數字錢包,依托團隊在區塊鏈領域的技術積累和安全經驗,從多重維度保障全球數字貨幣用戶的資產安全,提供簡單便捷、安全可靠的數字資產管理服務。Wetoken錢包現已支持以太坊、波場、BSC、HECO等多條主鏈,同時具備理財增值、幣幣交易、閃電兌換、抵押借貸、行情追蹤、多簽共管等豐富功能,已為全球超150個國家和地區千萬用戶提供可以信賴的數字貨幣資產管理服務,Wetoken——你的數字資產增值保值的保險箱。
Certik簡介
美國區塊鏈安全審計公司Certik已獲BinanceLabs數百萬美金投資。由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立,通過“深度規范”的形式化驗證技術為區塊鏈應用和智能合約提供代碼安全審計服務。并以形式化驗證技術為智能合約和區塊鏈應用及協議提供最高等級的代碼安全解決方案,曾為幣安等知名項目做過安全審計。
來源:金色財經
我們都聽說過數十億美元的期貨合約被清算導致比特幣和以太坊的日內價格暴跌25%的事情,但事實是,自2016年5月BitMEX推出永續期貨合約以來,該行業一直受到100倍杠桿工具的困擾.
1900/1/1 0:00:00“堅持數字人民幣M0的定位,不作計付息安排,降低與銀行存款的競爭”,已成為人民銀行發行與運行數字人民幣的既定政策.
1900/1/1 0:00:00原文標題:《 What’sComingtoCosmosin2022?》隨著又一個令人難以置信的一年過去,Cosmos生態系統中的創新實現了爆炸式增長.
1900/1/1 0:00:00圣誕節火爆全網的NFT空投項目OpenDAO,赤裸裸地站在OpenSea的流量基礎上進行了一次社區化運動,雖然熱度很快就降了下去,但是SOS開了一個示范意味極為強烈的頭,SOS可能會被忘記.
1900/1/1 0:00:00投資公司?JumpCapital?合伙人PeterJohnson表示,2022年將是加密的又一個重要年份,總體主題是廣泛采用,包括廣泛采用穩定幣、DAO、高速鏈、L2?和跨鏈應用.
1900/1/1 0:00:00ADAMoracle和IPFS其實有不少共同點。IPFS作為一種傳輸協議,旨在打造出一種點對點的分布式文件系統,在這個系統中,存儲提供者為用戶提供自己的存儲容量;ADAMoracle則是一種完備.
1900/1/1 0:00:00