買以太坊 買以太坊
Ctrl+D 買以太坊
ads

Aptos:全球首個Move智能合約安全審計報告發布_Aptos幣是什么幣

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

金融科技公司Mogo Finance Technology推出全球首個氣候積極型比特幣:10月26日消息,金融科技公司Mogo Finance Technology(MOGO.O)盤前大漲逾30%,公司推出全球首個氣候積極型比特幣。 (金十)[2021/10/26 20:59:11]

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

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

動態 | Voice任命福布斯全球首席數字官為首席執行官:金色財經報道,據官方消息,Block.one的Voice已任命《福布斯》全球首席數字官Salah Zalatimo為首席執行官,自2020年1月20日起生效。此外,Voice預計將于2020年2月14日發布公開測試版。[2020/1/10]

Move智能合約的重要概念

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

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

全球首個EOS安全管家:區塊鏈形式化驗證平臺VaaS:電子科技大學信息與軟件工程學院楊霞副教授帶領一支區塊鏈形式化驗證團隊,經過近2年的研究和努力,研制出了一套高度自動化的區塊鏈形式化驗證平臺VaaS(Verification as a Service)。VaaS提供了針對智能合約的形式化驗證工具,極大提高了智能合約的安全性與可靠性。產品通過對合約代碼進行嚴格的安全驗證,杜絕邏輯漏洞,確保合約安全,在滿足實際應用效率需求的同時,達到有效控制漏洞風險的目的。近期,VaaS將重點專注于EOS區塊鏈平臺的形式化驗證工作,為EOS提供全面的形式化驗證服務。[2018/4/2]

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

泰國前副總理親自帶隊來華完成全球首例加密貨幣領域重大資產重組:泰國前副總理兼外交部長Prachuab Chaiyasan親自帶隊來華,于1月28日上午完成泰國WIN GC集團對已上線OKEX交易所的加密貨幣IPC的全資控股及重大資產重組,這是全球首例加密貨幣的重大資產重組案例,開創了區塊鏈領域全新的打法,泰國WIN GC集團由數位泰國政要及其家族創立。[2018/1/28]

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

狗狗幣最新價格
BLOCK:LBLOCK 價格預測:保持積極的一面_LBL價格BLOCK幣

幸運方塊:2022年10月18日在過去的24小時內,LBLOCK已經能夠向上突破#$0.0002180和$0.0002190的價格水平.

1900/1/1 0:00:00
數字貨幣:加密貨幣,分叉幣,虛擬貨幣,代幣的區別_比特幣區塊鏈工程專業學什么

區塊鏈分主鏈,側鏈,區塊鏈的主鏈有且只有一條,區塊鏈正常運行,就是每隔大約十分鐘,就會收集全網的數據進行驗證跟備份,然后進行打包形成一個個的區塊,然后這些區塊串聯在之前已有的區塊之上.

1900/1/1 0:00:00
ONT:搞懂事件的使用,詳細解讀Solidity事件Event_ONT幣是什么幣

什么是事件Evnet? 就是以EVM日志基礎設備提供一個接口,當被事件調用時,出發參數存儲到日志中,其與合約地址關聯,并記錄到區塊鏈中.

1900/1/1 0:00:00
SHI:Google Bard 向 Shiba Inu 分享現實見解,股價將達到 0.01 美元_加密貨幣SHIB價格

幾份報告預計ShibaInu可能會上漲至0.01美元,但GoogleBard最近分享了對這一雄心勃勃的價格目標的現實見解。ShibaInu(SHIB)有著飛速上漲的歷史,其投資回報率史無前例.

1900/1/1 0:00:00
HTM:HTML、CSS、PHP、MySQL、JavaScript這些中應該先學什么?_HTML幣

大家好,這里是鏈客區塊鏈技術問答社區,今天講一講HTML、CSS、JavaScript、PHP、MySQL這些中應該先學什么,畢竟在這個互聯網的時代,選好規劃路線是比較正覺的.

1900/1/1 0:00:00
加密貨幣:超過 30% 關于加密貨幣投資的 TikTok 視頻具有誤導性:研究_加密貨幣市場還有未來嗎知乎

帶有流行的加密相關標簽的TikTok視頻——例如crypto、cryptok、cryptoadvice、cryptocurrency、cryptotrading和cryptoinvesting—.

1900/1/1 0:00:00
ads