這是一個重要的時刻,智能合約技術代碼的審計對于一個去中心化錢包來說十分關鍵且重要!2021年12月30日WeToken已經通過美國知名安全審計公司Certik代碼審計,WeToken發布了智能合約技術代碼由世界領先的區塊鏈安全審計機構Certik全程參與本次代碼審計工作。Certik依靠動態分析、靜態分析、人工復核從中尋找潛在的安全隱患,以及可能生產的漏洞,對去中心化錢包WeToken進行全方位的安全審核。
非托管加密錢包MPCVault管理的資產已超過5億美元:金色財經報道,非托管、多簽的加密錢包MPCVault自1月份推出多重簽名錢包服務以來,這家初創公司管理的資產已超過 5 億美元,轉移的資產已超過 10 億美元。MPCVault 于 2022 年 3 月完成了 300 萬美元的種子融資,此前從未披露過這一輪融資。[2023/8/10 16:17:41]
審計結果
在審計后,Certik再次確認了WeToken錢包交付的技術代碼處于開源去中心化的基礎上并具有非常高的安全水準,肯定了WeToken錢包執行安全測試的主動性。WeToken錢包團隊已收到Certik的優化建議,這些建議已全部應用于代碼庫的完善過程中。
ENS將推出區塊鏈原生的、可通過域名解析系統路由的頂級域名.box:6月7日消息,ENS開發者nick.eth發推稱,ENS將推出區塊鏈原生的、可通過域名解析系統路由的頂級域名.box。該域名系統中所有注冊和轉移都將在鏈上進行,NFT的所有者將同時擁有DNS和ENS域名。
據悉,.box域名可用于DID配置文件和錢包、去中心化的網站和消息傳遞、Web2網站和電子郵件、收藏與交易等。[2023/6/7 21:21:43]
????
比特幣全網未確認交易數量為9144筆:金色財經報道,BTC.com數據顯示,目前比特幣全網未確認交易數量為9144筆,全網算力為257.07EH/s,24小時交易速率為3.14交易/s,目前全網難度為36.76 T,預測下次難度下調0.54%至36.96T,距離調整還剩1天。[2022/11/20 22:08:27]
????
審計過程
Certik針對WeToken錢包的智能合約技術代碼的結構、實現情況和整體最佳實踐進行了測試、分析和推論。Certik團隊以系統為基礎對整個代碼庫進行分析,進而啟動整體審計過程,并在整個過程中嚴格遵循了高標準化要求。
審計過程中,Certik充分利用了動態分析,靜態分析和人工復核等技術,對項目協議進行了全面檢查。審計過程中特別注意了以下事項:
測試所有針對智能合約的常見與罕見的攻擊向量;
評估代碼庫是否達到當前的最佳實踐與行業標準;
保證合約的邏輯符合設計規范和設計目的;
參照并對比行業制定的相似結構;
對整個代碼庫進行逐行的人工復核;
WeToken簡介
WeToken是一款專業的多鏈數字錢包,依托團隊在區塊鏈領域的技術積累和安全經驗,從多重維度保障全球數字貨幣用戶的資產安全,提供簡單便捷、安全可靠的數字資產管理服務。Wetoken錢包現已支持以太坊、波場、BSC、HECO等多條主鏈,同時具備理財增值、幣幣交易、閃電兌換、抵押借貸、行情追蹤、多簽共管等豐富功能,已為全球超150個國家和地區千萬用戶提供可以信賴的數字貨幣資產管理服務,Wetoken——你的數字資產增值保值的保險箱。
Certik簡介
美國區塊鏈安全審計公司Certik已獲BinanceLabs數百萬美金投資。由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立,通過“深度規范”的形式化驗證技術為區塊鏈應用和智能合約提供代碼安全審計服務。并以形式化驗證技術為智能合約和區塊鏈應用及協議提供最高等級的代碼安全解決方案,曾為幣安等知名項目做過安全審計。
來源:金色財經
頭條 ▌YFI創始人:SOS等新一代“空投”十分愚蠢,沒有對于OpenSea等的權限12月29日消息,YFI創始人AndreCronje發推表示,SOS等新一代“空投”十分愚蠢.
1900/1/1 0:00:00點擊上方“藍色字”可關注我們!暴走時評:備受矚目的音樂會即將登陸元宇宙,使藝術家們足不出戶就能獲得巡回演出的回報.
1900/1/1 0:00:00遠非游戲,遠非Zoom的VR變體,遠非商業。離其完全實現的愿景還很遠。但是絕對多金,并能夠使最需要的人收益。臉書改名為“元”,使許多投資者紛紛逐向元宇宙這一兔子洞.
1900/1/1 0:00:0012月28日,阿里巴巴達摩院發布了2022十大科技趨勢,其提出2022年的十大科技趨勢,覆蓋人工智能、芯片、計算和通信等領域,分別為:趨勢一,AIforScience;趨勢二.
1900/1/1 0:00:00轉載自:PANews 原文鏈接:https://www.panewslab.com/zh/articledetails/1640246403410899.html繼移動互聯網之后.
1900/1/1 0:00:00作者|?Wayne 什么是Web3.0呢?用一句話來說,Web3.0是更加以用戶為中心、專注于使事情更加人性化的、透明的、安全的互聯網.
1900/1/1 0:00:00