全球首个Move智能合约安全审计报告发布

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还处在测试网阶段。

德勤区块链全球首席技术官Antonio Senatore加入唯链基金会战略决策委员会:9月18日谢谢,德勤区块链全球首席技术官及德勤EMEA区块链实验室负责人Antonio Senatore加入唯链基金会战略决策委员会Antonio Senatore在领导德勤欧洲、中东和非洲区块链业务期间,负责德勤区块链的技术路线图与实验室技术架构等。Antonio表示,加入唯链基金会战略决策委员会后将致力于为唯链基金会引入更多资源。[2021/9/18 23:34:24]

Starcoin是一个2021年6月主网上线的以PoW为核心共识机制的Move区块链,使用增强的工作证明共识和Move语言。它通过分层和灵活的互操作性来优化DeFi、NFT、游戏等不同生态系统的构建。

巴西总统博索纳罗确诊成为全球首位感染新冠病国家首脑:据《镜报》报道,巴西总统博索纳罗的新冠病检测呈阳性,他成为全球首位被确诊患新冠肺炎的国家首脑。另据美国广播公司12日报道,巴西总统府当天宣布其媒体事务部门负责人法比奥·瓦恩加滕新冠病检测呈阳性。他曾随博索纳罗赴美,并和特朗普合影。(人民日报)[2020/3/13]

StarcoinFramework是Starcoin链上的通用Move库,包括了账户、NFT、Token等通用标准,是生态建设的重要基础设施。StarcoinFramework的安全性是Starcoin上开发各种Move项目应用安全的基础。

Move智能合约的重要概念

MoveProver:Move中内置用于智能合约的形式化验证工具叫做MoveProver,通过这个工具,你能够断言所写智能合约的特性和规范,为智能合约运行提供额外安全保障。它的基本思想是通过形式验证领域的自动定理证明求解器来验证程序是否符合某种规范(specification)。

动态 | 进博会全球首个区块链生态项目Bright Code落地:据汉网消息,进博会全球首个区块链生态项目Bright Code落地。Bright Code是一个基于区块链技术的信心指数生态平台,依托智能算法和大数据,标记生态圈内的每一个产品的生产流程与时间节点,进而实现企业与用户之间的信息透明化、公开化,为产品标记“信心指数”。

投资有风险,入市须谨慎。

本资讯不作为投资理财建议。[2018/11/13]

MoveSpecification:Move自己定义了一套规范语言,它通过前提条件、后置条件、不变式等来描述程序怎么样才算正确运行。MoveSpecification可以直接在程序中插入,或者单独写成一个MoveSpecification文件。MoveSpecification常被缩写成MoveSpec。

Engine推出全球首个区块链+汽车全生命周期数据共享平台:

近日,区块链初创企业Engine推出全球首个汽车全生命周期数据共享平台。Engine扎根于“区块链+汽车产业链”之中,为汽车产业链的区块链实体场景应用提供平台技术支撑,解决汽车行业现有的各种弊端,如违规加价、低价诱惑、隐瞒客户扣压汽车合格证贷款、渠道不透明、车贷失信、车险保等等。在此基础上,Engine将构建汽车数据实时查询系统、汽车估值系统、汽车金融服务系统、汽车跟踪系统、汽车交易撮合系统、数据反馈系统等产品全方位满足汽车行业各类主体的需求。[2018/1/29]

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已经陆续与全球多家知名交易所、公链项目合作,为合作伙伴提供安全审计服务。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

MEXC比特币中怎么构建模块的应用

大家好,这里是链客区块链技术问答社区。链客,专为区块链技术开发者而生,有问必答! 声音 | 比特币投资者:不要对比特币的波动性持负面看法:比特币投资者Riggs今日发推称,许多人试图对比特币的波.

ETHXRP 价格预测:未来 48 小时内的预期

截至发稿时,XRP价格在过去24小时内下跌0.61%,交易价格为0.4671美元。XRP的4小时图表上出现一条积极的趋势线,表明其价格可能在未来48小时内上涨.

[0:31ms0-1:551ms