以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

全球首個Move智能合約安全審計報告發布_區塊鏈

Author:

Time:1900/1/1 0:00:00

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還處在測試網階段。

2018全球首屆區塊鏈+紡織服裝產業鏈高峰論壇隆重召開 :5月13日,由廣東省工商聯中大紡織產業商會、中國精英會、廣東省紡織協會、廣東省經編針織協會等聯合主辦,國和紡織鏈溯源科技(廣州)有限公司承辦的2018全球首屆區塊連+紡織服裝產業高峰論壇在長隆國際會展中心隆重召開。多位紡織服裝行業知名人士、區塊鏈專家從區塊鏈和紡織產業的發展出發,共同探討了紡織鏈的發展前景。[2018/5/14]

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

微軟宣布全球首個基于Azure技術的區塊鏈投資產品已經推出:本周三,微軟官方宣布,全球首個基于區塊鏈的投資產品已經推出。一家新成立的英國金融技術公司 Nivaura,在使用了微軟 Azure 云技術的基礎上創建了這款基于區塊鏈的投資產品。據微軟新聞中心所述,目前 Nivaura 已經獲得英國金融監管機構(FCA)的監管批準。該公司正在和 IBM 競爭和交付他們的產品。這項技術是由Nivaura的首席執行官、首席產品設計師、理論物理學家Avtar Sehra發明的。[2018/3/22]

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

布里斯班機場將推出全球首個數字貨幣航站樓:24日,澳大利亞布里斯班機場(BNE)官網宣布,與當地支付服務公司TravelbyBit合作在航站樓購物中引進分布式區塊鏈支付手段。旅客可通過TravelbyBit的加密貨幣支付系統(包括比特幣、以太幣、Dash等)在航站樓內完成用餐和購物。[2018/1/25]

Move智能合約的重要概念

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

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

MDT全球首發OKEx:據了解,Y Combinator孵化硅谷項目量數幣(MDT)今日全球首發OKEX,北京時間1月3日下午4時開始交易。量數幣(MDT)是一個去中心化的大數據價值經濟。作為用戶、數據使用者、數據供應商之間的交流單位,量數幣對大數據價值進行量化,對普通用戶進行匿名數據分享的激勵,并為購買數據方提供更有效率的消費方案。[2018/1/3]

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幣是什么幣

酷幣下載
迷因幣「仿盤」熱潮來襲:Pepe2.0單周暴漲1671%,造富神話再現?_PEPE

由PEPE重新點燃的「迷因幣熱潮」持續延燒,諸如Pepe2.0、Floki2.0和Bobo2.0等各類仿盤如雨后春筍不斷涌現,且大部分代幣都還發行不到兩周,就吸引了數十萬美元的流動性.

1900/1/1 0:00:00
CPI 數據發布后,比特幣從 1.7 萬美元反彈,你現在應該做多嗎?_BTC

較短時間框架的市場結構強烈看跌。多頭可以等待回調后再出價。美國CPI數據讓多頭松了一口氣,并表明通脹可能正在放緩。核心CPI環比上漲0.1%,低于預期的0.3%.

1900/1/1 0:00:00
2023年比特幣價格:BTC價格可能再次爆發_比特幣

去年,由于利率上升和幾個加密平臺崩潰,比特幣價格暴跌。到2023年,有幾種潛在的催化劑可能會使BTC價格飆升。 2022年對比特幣(BTC)和其他加密貨幣以及股市來說都不是好年頭.

1900/1/1 0:00:00
狗狗幣(DOGE)在 Twitter 上的使用,這就是它的發展方式?_狗狗幣

GokhshteinMedia的創始人DavidGokhshtein重申了他的聲明,即狗狗幣將成為Twitter的貨幣.

1900/1/1 0:00:00
比特幣(BTC)鯨魚“并沒有放棄——它們似乎仍在繼續擴大規模”_BTC

在幣安拒絕繼續擬議的FTX收購之后,比特幣的價格跌至2年低點。隨著價格繼續下跌,鯨魚增加了增持。目前交易價格處于2年低點,FTX的潛在崩盤對領先的比特幣比特幣的影響不容小覷.

1900/1/1 0:00:00
比特幣(BTC)價格預計到 2023 年 2 月 23 日將達到 27303 美元_比特幣

今天比特幣兌美元上漲4.39%比特幣目前的交易價格比我們在2023年2月23日的預測低10.00%比特幣上個月上漲18.46%,自1年前以來下跌-39.46% 根據我們的比特幣價格預測.

1900/1/1 0:00:00
ads