Shima Capital CTO的Curve反思:为什么我们需要Runtime Proctection和Aspect_SHI:USHI

原文作者:Carl Hua,Shima Capital 合伙人、CTO

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

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

Coinshift完成1700万美元A轮融资,Tiger Global领投:5月17日消息,Web3基础设施初创公司Coinshift完成1700万美元A轮融资,本轮融资由Tiger Global领投,红杉资本印度、Alameda Ventures、Spartan Group、Ethereal Ventures、Polygon Studios 等参投。天使投资人包括 Product Hunt 和 Weekend Fund 的创始人 Ryan Hoover、OpenSea 运营副总裁 Shiva Rajaraman,以及 FalconX 创始人 Prabhakar Reddy。Coinshift 创始人兼首席执行官 Tarun Gupta 表示,尽管该公司计划推出自己的原生 Token 并将自己变成 DAO,但本轮融资为股权融资。

此前报道,Coinshift此前于2021年9月宣布完成250万美元种子轮融资,该轮融资由红杉印度、Weekend Fund、ConsenSys Mesh等参投。[2022/5/17 3:23:10]

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

NFT指数基金NFTX将把流动性池从Uniswap迁移至SushiSwap:1月14日,NFT指数基金NFTX的提案通过,将在未来几周内把D1/ETH、D2/ETH以及NFTX/ETH流动性池从Uniswap迁移至SushiSwap。此次投票总票数超11.7万枚NFTX代币,赞成票占比99.97%。[2021/1/14 16:08:58]

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

Sushiswap发布新提案:减少Sushi产量至6亿枚并新增锁定期:Sushiswap官方晚间发布新提案,该提案旨在改变新的Sushi的产量,并增加一个锁定期,以鼓励参与者在生态系统中停留更长时间。具体为:减少产量,从每区块100Sushi转变为:第1年和第2年每区块50SUSHI;第3年和第4年每区块25 SUSHI;第5年每区块10 SUSHI。另外,新发行的SUSHI有2/3的锁定期为一年。锁定的SUSHI仍可赚取费用,但在未解锁前不能出售或用于投票。提案解释称,现在Sushi的价格膨胀率太高,过度稀释了对生态系统做出贡献的个体。这种规模设计旨在降低Sushi的释放量,同时仍奖励流动性提供者。按照提案的模式,到第五年内,将拥有6亿代币,而不是目前计划的15亿。[2020/9/9]

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

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

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

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

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

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

金色财经

企业专栏

阅读更多

金色财经 善欧巴

web3中文

金色早8点

YBB Capital

吴说Real

元宇宙简史

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

金宝趣谈

[0:15ms0-8:219ms