買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 瑞波幣 > Info

OIN:全球首個 Move 智能合約安全審計報告發布_MOVR價格

Author:

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

作者:MoveBit

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

德國加密初創公司Iconic推出全球首個EOS ETP:4月1日消息,德國加密初創公司Iconic推出全球首個EOS ETP:Iconic Physical EOS ETP (“IEOS”),將在未來幾周內在歐洲股市上市并開始交易。該ETP總費用率為0.95%,由Coinbase Germany GmbH的受監管的機構級托管解決方案中持有的代幣100%擔保,道富銀行國際有限公司將擔任管理人。[2022/4/1 14:30:36]

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

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

動態 | 全球首支體育大健康TokenFund成立 首期規模為10萬ETH:7月3日,北京大學中國體育產業研究中心執行主任何文義、中視亮中董事長洪平、信達融創董事長余錫強、亮中國聯合創始人李虹邑等在北京聯合發起成立全球首支體育大健康產業Token Fund,首期規模為10萬ETH。

據了解,此次成立的Token Fund是一家專注于體育大健康產業的投資公司,旨在探索基于“體育大健康+區塊鏈”的創新性機會,未來將構建體育大健康產業生態系統,推動全球體育智能化、創新化發展,促進全民運動、健康。[2018/7/3]

Move智能合約的重要概念

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

火幣礦池:全球首家數字貨幣開采與交易一體化的礦池平臺上線:火幣致力于打造安全可信賴的比特幣交易平臺,以用戶體驗為核心,提供專業、極致的數字貨幣基礎服務。為滿足廣大用戶對于礦池業務的需求,將于2018年3月30日正式上線火幣礦池。[2018/3/30]

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

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

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

構建MoveDApp應用的安全經驗

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

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

股評人認為 比特幣是全球首個非中央化龐氏騙局:比特幣(Bitcoin)價格近期飆升,惹起全球瘋炒,有“股壇長毛”之稱的獨立股評人David Webb則質疑比特幣的升勢,更形容比特幣是全球首個分布式、非中央化龐氏騙局(Ponzi scheme)。[2017/12/14]

Transaction-orderingdependence

Timestampdependence

Integeroverflow/underflow

Numberofroundingerrors

Denialofservice/logicaloversights

Accesscontrol

Centralizationofpower

logiccontradictingthespecification

Codeclones,functionalityduplication

Gasusage

Arbitrarytokenminting

UncheckedCALLReturnValues

Theflowofcapability

WitnessType

MoveBit的發現

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

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

審計報告鏈接:https://www.movebit.xyz/file/Starcoin-Framework-Audit-Report.pdf

這份審計報告是全球Move生態的第一個智能合約安全審計報告,標志著Move生態安全體系建設的開始。MoveBit將與Move社區同行,專注為Move生態的安全保駕護航。

關于Starcoin

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

關于MoveBit

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

Tags:MOVMOVEOINCOINMOVR價格movez幣天天跌point幣如何獲取fatcoin

瑞波幣
USD:晚報 | 孫宇晨加入火幣全球顧問委員會;孫宇晨回應稱并非火幣買家_藝術幣區塊鏈

整理:念青,鏈捕手 “過去24小時都發生了哪些重要事件”?1、HuobiGlobal成立全球顧問委員會.

1900/1/1 0:00:00
BLOC:創業公司警示錄:BlockFi是如何從科技獨角獸走向衰落的?_blocplatform

原文來源:Blockworks原文編譯:比推MaryLiu“眼看他起高樓,眼看他宴賓客,眼看他樓塌了”。就在12個月前,BlockFi?正在如火如荼的開展業務.

1900/1/1 0:00:00
AND:Pantera Capital 合伙人解讀 Arkive:去中心化實體博物館_ARK

原標題:《DecentralizedMuseum》撰文:PaulVeradittakit,PanteraCapital合伙人編譯:Amber.

1900/1/1 0:00:00
INK:如何查看自己是否有資格優先參與 Chainlink v0.1 版權益質押_HAI

作者:ChainlinkChainlink權益質押是實現加密經濟安全機制的關鍵要素,質押者可以將LINK通證放入智能合約中,為預言機服務質量進行質押擔保.

1900/1/1 0:00:00
ASI:AMA精彩回顧:兼容、競爭、突破:隱私賽道破局新敘事_web3域名.tid

作者:Oasis中文頻道2022年8月30日19:30,Oasis網絡舉辦了一場主題為「2022年下半場:兼容、競爭、突破|隱私賽道破局新敘事」的推特Space活動.

1900/1/1 0:00:00
STOR:火幣被香港百域并購基金收購始末_OBI

作者:ColinWu,吳說吳說獨家獲悉,10月8日凌晨,火幣正式完成財務對賬、交割簽字,被香港百域資本旗下并購基金收購,百域資本成為第一大股東與實控人。收購的主要是火幣創始人李林的股份.

1900/1/1 0:00:00
ads