作者:AptosLabsandOtterSec
AptosNetwork使用Move智能合约语言作为底层编程模型。虽然Move是为安全智能合约的生态系统而设计的,但Move本身的错误实施可能会危及这些属性。在AptosLabs,我们致力于与社区一起使Move尽可能安全。
我们都在投资于编写正确智能合约的工具,以及Move虚拟机等运行时核心组件的正确性。在本文中,我们描述了我们如何与我们的合作伙伴一起通过审计、错误赏金、模糊测试和底层实现的安全强化来实现后者。
我们要保护什么?
Move的安全性基于一些基本属性。这些属性是根据Move执行引擎使用的字节码定义的,并且独立于源语言:
Vitalik Buterin:并不认为zkPorter具有比Optimistic Rollup更强的安全保证,且没有紧密耦合性:以太坊联合创始人Vitalik Buterin针对Matter Labs披露的zkPorter扩容方案表示:并不认为zkPorter具有比Optimistic Rollup更强的安全保证,宁愿将资产放在Optimistic Rollup中,而不是链下数据可用性系统中。zkPorter链下数据可用性的安全级别要低于基础链,且没有紧密耦合性(Tight coupling)。另一方面,分片中的数据可用性层将受到整个以太坊网络的保护,并兼具紧密耦合性。如果某些应用程序同时使用链下数据可用性也是可以的,但前提是链下数据在基于分片的数据可用性可用之前明确为临时措施,但是我认为这没有必要。[2021/4/14 20:17:45]
类型安全:每个值都有一个唯一且不可伪造的类型。例如,不可能获取类型为“address”的某些值并将其转换为类型为“signer”的安全相关令牌。
观点:委内瑞拉人希望通过加密货币保障金融安全:非营利研究组织“开放式货币计划”(Open Money Initiative)的联合创始人Alejandro Machado在CoinDesk刊文称,委内瑞拉人希望用加密货币来保障金融安全。委内瑞拉目前约有64%的交易以美元进行。其中大多数是现金交易,因为当地银行不为大众提供美元的支票或储蓄帐户。因此,委内瑞拉人不得不同时处理两种次优货币,即迅速失去价值的数字玻利瓦尔,以及美元。从理论上讲,加密货币应该可以填补这一空间。[2020/9/1]
模块化封装:存储中的资源只能通过声明这些资源的模块内的代码进行操作。只有具有匹配可见性的函数才能称为跨模块。
所有权和生命周期:Move的能力系统强制不复制、删除、存储或用作键,除非为值类型声明了相应的能力。
东信和平:公司在数字货币安全管理方面有技术储备:金色财经报道,东信和平(SZ002017)在互动平台上表示:该公司有数字货币钱包硬钱包应用专利和数字货币密钥数据查询获取方法及装置专利,这两项专利为公司对数字货币安全管理方面所做的技术储备。[2020/4/11]
引用安全:引用不会比它们指向的值长寿。可变引用是专有的,因此不可能使用别名。
Move虚拟机的传统架构将上述属性的验证委托给验证器,如下图所示:
以下是我们感兴趣的问题:字节码验证器是否完整,是否保证每个程序都满足上述所有属性?这很重要,因为违反上述任何属性都可能导致资产损失。给定的Move字节码程序会使执行引擎崩溃吗?因为在复制状态机中,所有节点都执行相同的程序,这可以用来停止网络。给定的程序是否会导致执行引擎耗尽资源?这可以被用来进行DoS攻击,从而减慢或暂停网络。
天津市人民政府与三六零合作,将利用区块链等技术,打造智慧城市安全保障体系:5月15日,天津市人民政府与三六零科技有限公司签署战略合作协议,这是三六零首次与省级地方政府签署城市安全战略合作协议。三六零表示,将会在保护国家、企业、用户网络安全的基础上,发挥自己在网络安全、人工智能、大数据、区块链等技术领域的核心优势,为天津市智慧城市安全保障体系建设提供系统化的解决方案。[2018/5/19]
我们是怎么做到的?
开发无错误代码的核心是严格的软件工程实践与正确的工具相结合。在Aptos,我们遵循严格的强制代码审查和持续测试与集成流程,并结合Rust生态系统的最佳实践。除了这些传统方面之外,我们还采用以下措施来确保Move的安全性符合其设计要求。
审计和咨询
业内最受推崇的衡量区块链网络信心的措施之一是审计。在AptosLabs,我们与Certik和Halborn签订了审计Move虚拟机的合同。发现了多个关键问题,其中之一属于类型安全类别。
除了外部审计外,AptosLabs还领导并组织了社区审计工作,重点是字节码验证器。来自MystenLabs、Starcoin以及MoveBit和OtterSec等审计公司的工程师与Aptos工程师合作完成这项工作,投入了大约6人周的审计时间。此电子表格中捕获了此结果,参考了在此审计期间创建的数十个文档。在Aptos进入主网之前,这项审计工作发现并解决了多个问题。
最后但同样重要的是,我们与OtterSec有着密切的合作。OtterSec团队执行了手动代码审查并为各种目标开发了模糊测试技术,确定了MoveVM和Aptos框架代码中的多个关键问题。他们还带头努力向MoveVM添加冗余的纵深防御逻辑,影响我们正在进行的设计工作,以减轻进一步的资金损失漏洞。
BugBounty
AptosLabs运行一个漏洞赏金计划。对于可能导致资产损失的严重错误,提供高达1,000,000美元的赏金。同样,崩溃错误最高可获得100,000美元的奖励。
通过赏金计划,我们与一群才华横溢的安全研究人员密切合作,以查找和修复漏洞。其中一些错误属于严重类别,而其他错误是通过使用模糊器发现的崩溃。
AptosLabs履行了其在漏洞赏金方面的承诺,并支付了可观的赏金。此外,AptosLabs继续利用我们通过赏金计划遇到的白帽专家的专业知识,并打算继续与这个社区合作。
模糊测试
赏金计划促使我们自己投资AptosLabs的模糊测试。MoveVM代码已被修改以在相关点实现“Arbitrary”Rust模糊测试特性,从而允许使用“cargofuzz”来动态生成和验证字节码模块。我们有一些连续的工作在运行这些模糊测试目标。
冗余
实现额外安全保证的一种方法是通过冗余。我们向MoveVM添加了一种所谓的偏执模式,它在执行时强制执行类型安全和上述其他规则。虽然字节码验证器在代码进入系统时已经检查了这些属性,但偏执狂模式会在字节码执行期间再次验证相同的检查。偏执模式在Move社区内得到了广泛讨论,Aptos工程师领导了设计。有关更多信息,请参阅此PR和此PR。下一步是什么?
在AptosLabs,我们致力于使Move尽可能安全,并在该领域投入了大量资金。在这里,我们描述了我们和我们的合作伙伴围绕审计、漏洞赏金、模糊测试和强化所做的持续努力。展望未来,我们计划继续投资这个领域。我们将继续提供漏洞赏金计划,与信誉良好的安全审计师合作,并推动安全强化工具的开发,例如模糊测试技术。
标签:MOVMOVEAPTAptosmovez币项目方Movey TokenyounkertcaptialsTortuga Staked Aptos
Gemini发布公告称,截至5月19日,DigitalCurrencyGroup未支付5月11日到期的约6.3亿美元欠款.
1900/1/1 0:00:00作者:Xinyue,IOBCCapital 从DeFi到ReFi Web3的主流叙事似乎从来没有涉及过我们居住的这个行星本身。相较于萎缩的亚马逊雨林,加密原生居民更关注臃肿昂贵的以太坊网络.
1900/1/1 0:00:00中国顶尖XR广告屏制造商互视达与香港元圆缘科技有限公司签约,确认首批300张5米*5米的XR广告屏,将通过香港向全球推广落地,并制定了2025年内完成2万张以上的投放战略目标.
1900/1/1 0:00:00商务部在今年8月14日印发的《全面深化服务贸易创新发展试点总体方案》中提到:在京津冀、长三角、粤港澳大湾区及中西部具备条件的试点地区开展数字人民币试点.
1900/1/1 0:00:00作者:INTO 全球的加密货币热潮正在燃烧,每天都有新的项目、新的机会。然而,INTO这款全新的Web3应用,似乎打破了常规,一经上线便引发了币圈的巨大关注.
1900/1/1 0:00:00采访:ChainCatcher嘉宾:OneKey核心贡献者王一石连续暴雷事件后,硬件钱包销量陡增,其中OneKey?的销量一度暴涨近10倍.
1900/1/1 0:00:00