原文作者：Carl Hua，Shima Capital 合伙人、CTO
在最近的 Curve 可重入漏洞利用之后，我回顾了我在 JPL NASA 的经历，在那里我学到了开发具备 reliable（可靠）和 resilient（弹性/韧性）软件的关键原则。对于加密行业，这些见解现在比以往任何时候都更加重要，理由如下：
归根结底，人们只真正关注两种类型的软件：可以杀死你的软件和可以让你赔钱的软件。
PeckShield：ElonMVP 代币发生 Rug Pull 并下跌 99%，:6月13日消息，PeckShield监测显示，ElonMVP 代币发生 Rug Pull，代币价格下跌 99%，超 622 枚 BNB 转入 Tornado.Cash。[2022/6/13 4:21:48]
任何航天机器的关键软件里，大部分预算 (80%+) 并未分配给开发本身，而是分配给集成和测试。如果软件出现故障，飞行器就会从天而降——战斗机、无人机、航天器等。
去年前20大加密资产中LTC涨幅19%垫底，SHIB以43851316%登顶:1月3日消息，据BITCAN数据统计显示，2021年，在Top20的加密资产中，BTC涨幅63%，ETH涨幅404%，BNB涨幅1285%，SOL涨幅11336%，ADA涨幅631%。部分资产表现尤其突出，比如LUNA涨幅13500%，AVAX涨幅3351%，SHIB涨幅43851316%，MATIC为14538%。但是，像LTC仅19%，LINK为77%，BCH为27%。[2022/1/3 8:21:49]
航天软件中的大多数代码（如果被归类为关键模块）都遵守极其严格的测试/开发标准，例如 DO-178B A 级。不仅需要测试每一行代码，而且如果有嵌套逻辑，则每个逻辑条件都是也经过专门测试。
动态 | ShapeShift报告了在2018年收到的60项执法请求:据btcwires消息，加密货币交易平台ShapeShift最近发布了“ShapeShift如何处理执法合规性” 的报告，内容包括它收到的来自世界各地的60个执法询问，展示了世界各国和监管机构是如何尽最大努力理解和保护这个新市场中买卖双方的利益的。该报告重点指出该公司正在积极采取措施，使执法部门的监察更加透明。[2019/1/18]
在 JPL NASA，编写先进的航天软件的理念不是写出最漂亮、干净的代码，而是编写出容易执行单元测试的代码。为什么？很简单：当你将一艘航天器送入太空时，你只有一次机会，没有人愿意在失败的概率较大的情况下冒险。这与区块链的逻辑相同，因为不可变的代码是它们的重要特性，我们也只有一次机会在每笔交易中正确使用我们的资金，所以我们为什么不更认真地对待开发 dApp 这个过程呢？
尽管有严格的开发、测试和代码审计流程，但这些手段的显然不足以缓解所有错误和攻击，因为事实上通过测试和审计消除所有运行时错误几乎是不可能的。那么我们如何保护我们的软件免遭失败呢？
运行时保护是一种安全技术，可保护软件应用程序在运行时免受恶意攻击。它的原理是在代码实际运行时进行实时检测，分析程序的实际行为以保护程序免受恶意数据和攻击的影响。
高可靠性软件的运行时保护需要花费大量的投入和设计，因为它们是确保软件不会进入未知状态或故障的最后一道防线。这不仅仅是个论点，而是几十年来经过验证的实践。
今天在 Web3 中，我认为 DeFi 应用程序需要同样的高可靠性，并且应该考虑同样的方法。然而，由于其潜在的限制，EVM 并不是为处理运行时保护等复杂任务而设计的。那么，我们如何提供运行时保护呢？
一种方式是通过 Aspect 编程，Aspects 由 Artela 区块链网络设计的，它能够在任何智能合约交易的生命周期内切换执行上下文，以对程序的实时状态进行高级检查。Artela 通过 Aspect 和兼容 EVM 的方式，提供运行时保护的独特设计，它有机会成为加密智能合约安全的未来基础。
金色财经
企业专栏
阅读更多
金色财经 善欧巴
web3中文
金色早8点
YBB Capital
吴说Real
元宇宙简史
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。