Shima Capital CTO:反思 Curve 事件,为何我们需要 Runtime Proctection?
在最近的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 重入攻击中的具体用法,希望一起交流!
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
90天后比特币重回十万美元,牛市来了吗?
自 2 月 4 日比特币短时突破 10,200 美元以来,比特币经历了长达三个月的拉锯震荡,价格始终未能有效站稳十万美元大关。而就在刚刚,市场终于见证了关键性的突破,比特币突破 10,100 美元,2
-
RWA周报|民主党阻挠立法致稳定币立法出现分裂;报告预测2025年RWA板块市值达500亿美元(4.30-5.8)
原创 | Odaily星球日报(@OdailyChina)作者 | Ethan(@ethanzhang_web3)RWA板块市场表现根据 RWA.xyz 数据,截至 2025 年 5 月 8 日,RW
-
29 亿美元刷新加密史上最大收购:Deribit 为何激流勇退?
作者:flowie、Fairy,ChainCatcher 编辑:TB,ChainCatcher刚刚,Coinbase宣布将以29亿美元收购加密期权交易所Deribit,这笔交易包括7亿美元现金和 11
-
29亿美元收购Deribit,Coinbase赚了
今夜,Coinbase 本要公布 2025 年一季度财报,但市场却率先等来了其收购最大的加密期权平台 Deribit 的消息。5 月 8 日,美国头部加密货币交易平台 Coinbase 正式宣布将收购
-
链上智能引擎:Space and Time如何重塑数据信任机制
原文作者 | @SpaceandTimeDB编译 | Odaily星球日报(@OdailyChina)译者 | 叮当(@XiaMiPP)专注于零知识(ZK)数据验证的区块链平台 Space and T
-
Space and Time 主网上线,推动新一代数据驱动的加密应用
Space and Time是用于ZK证明数据的区块链,使智能合约能够无信任地访问和计算来自任何链或来源的数据。Space and Time,作为微软支持的零知识证明数据区块链,现已上线主网,Spac
-
Space and Time 主网上线:开启 ZK 验证数据驱动的新一代加密应用时代
由微软支持的ZK验证数据区块链项目Space and Time今日正式宣布其主网已上线。作为首个为智能合约提供零知识证明(ZK)验证数据的去中心化数据库网络,Space a
-
如何理解投资中的“时机”
经常有读者在留言区特别强调投资市场的优势是要“早”。 似乎现在参与太“晚”了,有没有什么办法能“早”些。 那什么是“早”,怎么才算“早”呢? 如果说“早”是想先于市场猜测下一步的趋势,找到下一个暴富机
- 成交量排行
- 币种热搜榜

