Curve事件反思:为什么我们需要Runtime Proctection和Aspect

作者:Shima capital 合伙人,CTO,曾就职于 Ripple,NASA,Celsius

在最近的 Curve 可重入漏洞利用之后,我回顾了我在 JPL NASA 的经历,在那里我学到了开发具备 reliable(可靠)和 resilient(弹性/韧性)软件的关键原则。对于加密行业,这些见解现在比以往任何时候都更加重要,理由如下:

归根结底,人们只真正关注两种类型的软件:可以杀死你的软件和可以让你赔钱的软件。

任何航天机器的关键软件里,大部分预算 (80%+) 并未分配给开发本身,而是分配给集成和测试。如果软件出现故障,飞行器就会从天而降——战斗机、无人机、航天器等。

航天软件中的大多数代码(如果被归类为关键模块)都遵守极其严格的测试/开发标准,例如 DO-178B A 级。不仅需要测试每一行代码,而且如果有嵌套逻辑,则每个逻辑条件都是也经过专门测试。

在 JPL NASA,编写先进的航天软件的理念不是写出最漂亮、干净的代码,而是编写出容易执行单元测试的代码。为什么?很简单:当你将一艘航天器送入太空时,你只有一次机会,没有人愿意在失败的概率较大的情况下冒险。这与区块链的逻辑相同,因为不可变的代码是它们的重要特性,我们也只有一次机会在每笔交易中正确使用我们的资金,所以我们为什么不更认真地对待开发 dApp 这个过程呢?

尽管有严格的开发、测试和代码审计流程,但这些手段的显然不足以缓解所有错误和攻击,因为事实上通过测试和审计消除所有运行时错误几乎是不可能的。那么我们如何保护我们的软件免遭失败呢?

运行时保护(Runtime Protection)

运行时保护是一种安全技术,可保护软件应用程序在运行时免受恶意攻击。它的原理是在代码实际运行时进行实时检测,分析程序的实际行为以保护程序免受恶意数据和攻击的影响。

高可靠性软件的运行时保护需要花费大量的投入和设计,因为它们是确保软件不会进入未知状态或故障的最后一道防线。这不仅仅是个论点,而是几十年来经过验证的实践。

今天在 web3 中,我认为 DeFi 应用程序需要同样的高可靠性,并且应该考虑同样的方法。然而,由于其潜在的限制,EVM 并不是为处理运行时保护等复杂任务而设计的。那么,我们如何提供运行时保护呢?

一种方式是通过 Aspect 编程,Aspects 由 Artela 区块链网络设计的,它能够在任何智能合约交易的生命周期内切换执行上下文,以对程序的实时状态进行高级检查。Artela 通过 Aspect 和兼容 EVM 的方式,提供运行时保护的独特设计,它有机会成为加密智能合约安全的未来基础。

Artela 在下面的文章中公布了 Aspects 在防止 Curve 重入攻击中的具体用法,希望一起交流!https://medium.com/@artela_chinese/彻底消除重入攻击-链上运行时保护-4808d8f335c9

原文链接

文章来源于互联网:Curve事件反思:为什么我们需要Runtime Proctection和Aspect

免责声明:

1.资讯内容不构成投资建议,投资者应独立决策井自行承担风险

2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场

上一篇 2023年8月22日 下午2:25
下一篇 2023年8月22日 下午3:54

相关推荐

  • 本周回顾|Binance Web3钱包推出铭文市场;Solana新代币标准Tiny SPL(DN)引发热议

    Bitbili 将在本文整理当周(1.29-2.04)行业重点新闻内容,并推荐深度佳文帮助读者更好了解市场,获悉行业趋势。   本周重要新闻回顾 OKX 及 Binance 在 Web3 钱包方向的更新及进展 Binance Web3 钱包正式推出铭文市场 2 月 1 日,Binance 宣布推出 Binance 铭文市场,该平台集成于 Binance Ap…

    2024年2月4日
  • 基于 zk 的三层区块链 Opside 将于第二季度启动 Pre-Alpha 测试网

    ChainCatcher 消息,基于 zk 的三层区块链 Opside 将于第二季度启动 Pre-Alpha 测试网,主要目的是完成一个基于“以太坊测试网 – Opside (PoW & PoS) – zkRollup (RaaS )” 三层网络,为早期应用提供测试环境。目前测试网初级版本目前已在官网开放,部分 D…

    2023年3月6日
  • 没有Token的链游经济模型能走的通吗?

    《没有 Token 的链游经济模型能走的通吗?》 来源:瓜田实验室 W Labs W Labs 最近接触的一些游戏团队在经济模型设计上提出了这样的要求:能不能在模型里不加入 token?一开始我们团队觉得这不就是把链游中最精彩也最刺激的部分给阉割了吗?但是实际深入的了解了一下这个需求的背景,觉得还是很有必要去提供一些解决方案的,在本文中我们就抛砖引玉,探讨下…

    2023年4月24日
  • 神鱼的新手建议:在Crypto市场,从1000到1亿美元你需要做对这些事

    作者:神鱼,Cobo 联合创始人兼 CEO 编者语:随着加密行业市值的膨胀,每位用户的财富规模都经历了不同程度的变动。在个人财富增长的旅程中,手握资金量不同,投资策略也不一样。本文整理了 Cobo 联合创始人兼 CEO 神鱼多年前在微博上写给新手的建议。 需要注意的是,当时正是 DeFi 热潮,因此在本文中,神鱼会多次提出关注 DeFi 项目空投。但今年 C…

    2024年1月29日
  • 如何判断一个X to Earn项目经济模型的好坏?

    《 如何判断一个 X to Earn 项目经济模型的好坏? 》 来源:veDAO研究院 经济模型对于一个 Web3 项目重不重要?可能 10 个人里,有 8 个人会回答重要。但某种程度而言,经济模型又不是那么重要,要么是大部分项目的经济模型范式具有高度的趋同性,要么,代币分配的比例数值往往并没有外界看起来的那么专业。事实上,大多数代币分配的数值,在参考市面上…

    2023年6月26日
返回顶部