全球首個Move智能合約安全審計報告發布_Aptos:NFT幣

10月11日，專注Move生態的安全公司MoveBit(莫比安全)團隊發布了全球首個Move智能合約安全審計報告——《StarcoinFrameworkAuditReport》。

這份審計報告是全球Move生態上的首個智能合約安全審計報告，并最早總結了基于Move構建DApp應用的安全經驗，標志著Move生態安全體系建設的開始。

Move語言介紹

Move語言最早是為Meta的Diem區塊鏈項目而開發的，現在Move語言由開源社區維護。Move語言的愿景是幫助開發人員安全、輕松、快速地構建區塊鏈應用程序的框架，Move是為區塊鏈而生的智能合約編程語言。

根據MystenLabs的Move語言的文檔介紹，目前有4條公鏈已經使用Move語言，分別是Aptos、Sui、Starcoin、0LNetwork。目前Starcoin和0LNetwork已經上線主網，而Aptos、Sui還處在測試網階段。

全球首個K-12 Web3線上學院JetLearn完成120萬歐元種子輪融資:金色財經報道，全球首個面向K-12教育的Web3線上學院JetLearn宣布完成120萬歐元種子輪融資，由歐洲工商管理學院天使集團（INSEAD Angel Group）領投，一些著名天使投資人參投，包括 Soho House 首席財務官、Backed VC 前任首席財務官 Humera Afzal，以及由紅杉和軟銀支持的硅谷新興獨角獸 Zum 創始人 Ritu Narayan。JetLearn總部位于阿姆斯特丹，幫助兒童學習包括 Web 3.0、AI（人工智能）和機器人技術在內的新時代技術技能，據悉 JetLearn 的 STEM.org 認證計劃是世界上第一個也是唯一一個針對 K-12 教育的 Web 3.0 課程。（globalbankingandfinance）[2022/7/13 2:09:36]

Starcoin是一個2021年6月主網上線的以PoW為核心共識機制的Move區塊鏈，使用增強的工作證明共識和Move語言。它通過分層和靈活的互操作性來優化DeFi、NFT、游戲等不同生態系統的構建。

幣安與The Weeknd將舉辦全球首個Web3巡演活動:據官方消息，6月2日，幣安宣布成為The Weeknd全球巡演“After Hours Till Dawn”的官方贊助商，這也是世界上首個融合Web 3.0技術的全球巡回演唱會活動。幣安與面向創業者的智庫、創客孵化器HXOUSE合作，為The Weeknd本次巡演發行獨家NFT系列以及聯名巡演周邊產品。觀眾還可以用虛擬門票的票根兌換紀念版NFT，享受獨特粉絲體驗。

部分NFT販售收入，連同本次巡演部分門票收入會捐向世界糧食計劃署美國分部管理的XO人道主義基金。此外，幣安還將追加捐贈200萬美元，用以支持世界糧食計劃署為全球食物緊缺的地區提供緊急援助。The Weeknd的 “After Hours Til Dawn”巡演將于2022年7月8日拉開帷幕。[2022/6/3 3:59:24]

我國區塊鏈專利申請數量已位居全球首位:12月25日消息，我國區塊鏈專利申請數量已位居全球首位。目前我國已發布33項區塊鏈團體標準，正牽頭制定的首個金融區塊鏈國際標準也已在國際電信聯盟立項。中國通信標準化協會理事長奚國華解釋，該會正組織中國信通院等單位，共同加快制定《區塊鏈總體技術要求》等十余項行業標準以及團體標準。

由我國牽頭制定的首個金融區塊鏈國際標準《金融分布式賬本技術應用指南》，目前也已經在國際電信聯盟成功立項。這為制定區塊鏈國際標準和國際規則，貢獻了中國方案和智慧。會上發布的《區塊鏈創新與知識產權發展白皮書（2020）》還顯示，我國不僅已發布了33項區塊鏈團體標準，還在通信和金融領域出臺了2項行業標準。

當日在會上發布的《區塊鏈溯源應用指南》則提出，現階段從應用層面看，區塊鏈溯源是其重要應用場景。（央廣網）[2020/12/25 16:28:17]

StarcoinFramework是Starcoin鏈上的通用Move庫，包括了賬戶、NFT、Token等通用標準，是生態建設的重要基礎設施。StarcoinFramework的安全性是Starcoin上開發各種Move項目應用安全的基礎。

IoTeX 啟動全球首個物聯網開放金融基礎設施 DeFIoT:去中心化物聯網平臺 IoTeX 宣布啟動全球首個物聯網開放金融基礎設施DeFIoT。9 月 1 日起，IoTeX 將逐步上線創新協議和組件，包括物聯網邊緣預言機、跨鏈多資產超級管道協議、去中心化交易協議等一系列基礎設施產品和組件，釋放萬億級物聯網數據和機器金融市場。[2020/8/29]

Move智能合約的重要概念

MoveProver:Move中內置用于智能合約的形式化驗證工具叫做MoveProver，通過這個工具，你能夠斷言所寫智能合約的特性和規范，為智能合約運行提供額外安全保障。它的基本思想是通過形式驗證領域的自動定理證明求解器來驗證程序是否符合某種規范(specification)。

MoveSpecification:Move自己定義了一套規范語言，它通過前提條件、后置條件、不變式等來描述程序怎么樣才算正確運行。MoveSpecification可以直接在程序中插入，或者單獨寫成一個MoveSpecification文件。MoveSpecification常被縮寫成MoveSpec。

MoveFramework：Move語言的關鍵設計是能夠將特定于區塊鏈的框架邏輯與Move語言的通用功能分離。MoveFramework是鏈的創世狀態中的內置的一組Move模塊。這些模塊通常實現諸如賬戶、Token等關鍵組件，一般是用于實現特定區塊鏈的通用框架邏輯，是DApp開發的基礎。

構建MoveDApp應用的安全經驗

在過去的幾周中，專注于Move安全生態的安全公司MoveBit與Starcoin團隊進行了深入交流合作，對StarcoinFramework的每個細節進行了審計。

MoveBit深入研究了StarcoinFramework的代碼結構，作為最早上線的MoveFramework，其中Account、Token、STC、Config、DAO、NFT、Oracle、Genesis和Block等代碼功能全面，覆蓋了大部分開發者的通用場景需求。基于此，MoveBit最早總結了基于Move構建DApp應用的安全經驗，對以下14類風險進行了分析。

MoveBit的發現

StarcoinFramework作為Starcoin的Move標準庫，包含69個Move源文件和70多個模塊。在此審計工作之前，我們提前閱讀了StarcoinSIP和其他開發資源。我們首先回顧了框架架構，然后主要進行了人工代碼審查、測試和使用MoveProver的形式化驗證。

我們一直與Starcoin團隊保持密切聯系，在v11版本中一共發現了21個Issue(其中Major1個，Medium4個，Minor16個)，已匯總成審計報告并對外公開。在與Starcoin團隊的會議期間，我們對所有問題進行了廣泛討論。一些問題已經在后續迭代中得到修復，其他問題講很快得到解決。除了原生函數和一些包含無法推理的特殊元素的函數外，我們為大多數函數和文件添加了形式化驗證代碼MoveSpecification。所有的形式化驗證代碼都會作為PR提交到代碼倉庫，最終由Starcoin團隊在以后的升級和修訂中合并。

關于Starcoin

Starcoin,主網已在2021年5月上線，是Move生態第一個無許可公鏈，基于最成熟的去中心化共識增強版PoW以及智能合約語言Move提供來自原力的安全，通過分層的靈活互操作性，為參與Web.3.0生態搭建的人們提供價值賦能的數字資產服務的分布式金融網絡。

關于MoveBit

MoveBit(莫比安全)團隊是一家服務于Move生態的安全公司，其愿景是讓Move生態成為最安全的Web3生態系統。MoveBit團隊由學術界安全大牛和企業界安全領軍人物組成，具有10年的安全經驗，在NDSS、CCS等頂級國際安全學術會議上發表安全研究成果。團隊是Move生態最早期的貢獻者，與Move開發者共同制定安全Move應用的標準。MoveBit已經陸續與全球多家知名交易所、公鏈項目合作，為合作伙伴提供安全審計服務。

Tags：區塊鏈NFTAptos區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢NFT價格NFT幣Aptos幣是什么幣

瑞波幣