安全移动_BSV:BRC

作者:AptosLabsandOtterSec

AptosNetwork使用Move智能合约语言作为底层编程模型。虽然Move是为安全智能合约的生态系统而设计的,但Move本身的错误实施可能会危及这些属性。在AptosLabs,我们致力于与社区一起使Move尽可能安全。

我们都在投资于编写正确智能合约的工具,以及Move虚拟机等运行时核心组件的正确性。在本文中,我们描述了我们如何与我们的合作伙伴一起通过审计、错误赏金、模糊测试和底层实现的安全强化来实现后者。

我们要保护什么?

Move的安全性基于一些基本属性。这些属性是根据Move执行引擎使用的字节码定义的,并且独立于源语言:

安全团队:0xDc4d开头EOA地址上有可疑活动,请及时撤销代币访问权限:5月12日消息,据CertiK监测,EOA地址(0xDc4d51D732a7C8E90727eb3628c89Ef655a25EC5)上发生可疑活动。如果用户无意中授予EOA访问代币权限,请及时撤销。[2023/5/12 14:59:14]

类型安全:每个值都有一个唯一且不可伪造的类型。例如,不可能获取类型为“address”的某些值并将其转换为类型为“signer”的安全相关令牌。

模块化封装:存储中的资源只能通过声明这些资源的模块内的代码进行操作。只有具有匹配可见性的函数才能称为跨模块。

所有权和生命周期:Move的能力系统强制不复制、删除、存储或用作键,除非为值类型声明了相应的能力。

美参议员Pat Toomey:数字人民币对美国经济和国家安全利益造成不利影响:金色财经报道,美国参议院银行委员会高级成员 Pat Toomey (R-Pa.) 周五致信财政部长耶伦和国务卿Antony Blinken,称数字人民币eCNY对美国经济和国家安全利益造成不利影响。Toomey 写道:“分析人士认为 eCNY 具有颠覆美国制裁、促进非法资金流动、增强中国监控能力并为北京提供‘先行者’优势的潜力,例如制定跨境数字支付标准”。Toomey指出,中国正在利用北京冬奥会作为其数字人民币的国际测试,而中国对私人加密货币的打击为美国提供了潜在的机会。他写道:“中国的压制为美国提供了一个机会,使我们成为基于个人自由及其他民主原则的加密创新的先行者。”[2022/2/7 9:34:48]

引用安全:引用不会比它们指向的值长寿。可变引用是专有的,因此不可能使用别名。

Mythos Capital创始人:以太坊将超越比特币成为最安全的网络:Mythos Capital创始人、以太坊支持者Ryan Sean Adams发推表示:“以太坊的每日费用收入是比特币的3倍,但比特币是计划仅通过交易收入来保护自身的网络。显然,带有DeFi的区块更有价值,我预计以太坊将在未来几年内超越比特币成为最安全的网络。”[2021/1/13 16:01:13]

Move虚拟机的传统架构将上述属性的验证委托给验证器,如下图所示:

以下是我们感兴趣的问题:字节码验证器是否完整,是否保证每个程序都满足上述所有属性?这很重要,因为违反上述任何属性都可能导致资产损失。给定的Move字节码程序会使执行引擎崩溃吗?因为在复制状态机中,所有节点都执行相同的程序,这可以用来停止网络。给定的程序是否会导致执行引擎耗尽资源?这可以被用来进行DoS攻击,从而减慢或暂停网络。

动态 | Monero修复了第二次安全审计中发现的所有漏洞:据blokt消息,在对Bulletproof协议进行第二次审核期间,Monero修补了网络中检测到的所有八个关键漏洞和一系列其他不太严重的问题。委托审计Monero Bulletproof协议的安全研究公司QuarksLab,10月22日宣布发现其8个关键问题,2个中等影响的漏洞,20个低影响漏洞。[2018/10/24]

我们是怎么做到的?

开发无错误代码的核心是严格的软件工程实践与正确的工具相结合。在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尽可能安全,并在该领域投入了大量资金。在这里,我们描述了我们和我们的合作伙伴围绕审计、漏洞赏金、模糊测试和强化所做的持续努力。展望未来,我们计划继续投资这个领域。我们将继续提供漏洞赏金计划,与信誉良好的安全审计师合作,并推动安全强化工具的开发,例如模糊测试技术。

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

金宝趣谈

[0:15ms0-5:138ms