月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 币赢 > 正文

NFT:a16z:详解代币化金库标准ERC-4626,如何让DeFi可组合性更安全?_FTC

作者:

时间:1900/1/1 0:00:00

原文作者:DaejunPark

原文编译:aididiaojp.eth,ForesightNews

随着DeFi不断发展并逐渐成熟,开发人员的首要考虑是可扩展的基础设施和可组合性。用于构建基于以太坊的应用程序的标准化工具包ERC一直发挥着重要作用。例如广泛使用的代币标准ERC-20为开发人员提供一致的指导方针,让他们无需从头开始就可以为生态系统做出贡献。今年早些时候,为了鼓励收益型代币之间的交叉兼容性,代币化金库标准ERC-4626被推出。除此之外,ERC-4626还可以解决紧迫的可组合性问题,使协议集成更容易,减少出错几率。

目前已经有一些DeFi项目为了提高其金库的可组合性,采用了该标准,我们预计整个生态系统将得到更广泛的采用。然而,调整现有的金库确实会带来一些痛苦,至关重要的是某些实施错误可能被暴露,成为新的攻击目标。即使是很小的错误也会对安全和用户体验产生重大影响,因此还需要更多的安全工具和措施,特别是在更可组合的DeFi生态系统中。

如果在被攻击之前就检测到简单的错误,则可以提供相对简单的解决方案,理想情况下甚至在部署之前就能进行检查。为此,我们发布了用于模糊测试和符号执行的ERC-4626属性测试,以帮助金库构建者检测可能破坏集成或导致漏洞的标准违规行为。这篇文章解释了激励问题,介绍了检测方法,并在结尾处提到一些可行的建议。

a16z在美CFTC诉Ooki DAO案中称:监管应用程序而非协议是双赢选择:11月2日消息,a16z总法律顾问Miles Jennings在推特上表示:“a16z已在美国商品期货交易委员会(CFTC)诉Ooki DAO案中提交了法庭之友简报,并主要关注‘CFTC应该监管应用程序,而不是协议’这一观点的原因,根据美国联邦法案,为非法人团体提供有效服务要求CFTC声称团体的成员具有‘共同的合法目的’,而CFTC并没有声称Ooki DAO有合法的目的,尽管他们确实有一个合法目的,即管理Ooki Protocol。最终,这种方法将使CFTC既能追究不良行为者的责任,又能保护Web3和它的良好行为者。换句话说,这是双赢的。”[2022/11/2 12:09:28]

ERC-4626标准的背景

ERC-4626于3月被推出,是一套代币化金库的标准,旨在扩展广泛使用的ERC-20标准,推动跨收益金库的标准化,并确保需要与其交互的应用程序和协议的可组合性。这意味着为了与任何其他ERC-4626金库一起使用,在ERC-4626金库上构建的任何应用程序都可以轻松扩展。

Fortune:a16z对加密货币和区块链投资明显放缓:10月21日消息,据《财富》(Fortune)杂志披露,a16z参与的全球加密货币和区块链风险投资交易出现明显放缓的迹象。数据显示,管理着76亿美元资金的a16z Crypto在三季度仅有7笔加密和区块链风险投资交易,创下自2021年一季度以来的最低记录。另据据PitchBook的数据显示,a16z Crypto的投资规模也出现骤降从2022年一季度的24亿美元跌至三季度的约6亿美元,但仍高于2021年三季度。

对于《财富》披露的数据,a16z一位发言人表示,鉴于尚有投资交易尚未公开披露,因此该公司对相关数据无法给予确认。[2022/10/21 16:34:34]

金库代币化后,能够允许用户自由存入资产来铸造金库代币,然后赎回这些代币从金库中提取本金和利息。这些金库代币是ERC-20代币,可以轻松被交易或用作抵押以借入其他资产。例如,用户可以将他们的资产存入Yearn金库以铸造yVault代币,然后在Uniswap上进行交易、抵押以获得额外收益,也可以用作贷款协议的抵押品。

产生、分配收益以及确定代币价格的逻辑可能因实际情况而异。为了覆盖尽可能多的金库,ERC-4626标准侧重于构建用户界面,而大部分实现细节未确定。只要金库满足接口的特定要求,就能够允许业务逻辑的变化,实现跨许多不同类型的应用程序和ERC-4626金库类型的互操作性。

a16z合伙人Chris Dixon:NFT正经历比特币早期阶段发生的事:金色财经报道,a16z合伙人Chris Dixon在推特上发文称,NFT现在正经历比特币早期阶段发生的事,在早期比特币时代 ,怀疑论者提出了大量质疑和复杂理论,但结果,比特币早期采用者看到了产品价值,并相信价值会随着时间的推移而不断增加。今天,NFT也在发生同样的事情。如果你不喜欢NFT,那也没关系,简单来说,你其实和其他99%的大多数人一样,而他们并不是NFT和比特币的早期采用者。Chris Dixon说:“就个人而言,我对数字收藏品的兴趣是对线下收藏品兴趣的100倍,我收集过域名,而且早在四年前就购买了加密猫涉足NFT市场。”[2021/12/3 12:47:55]

随着越来越多的代币化金库被创建,我们希望看到它们从一开始就按照ERC-4626标准实施。但我们目前处于某种过渡阶段,为了符合标准,开发人员将需要以更大可组合性的方式来更新现有的金库、应用程序和协议,他们也面临着许多复杂挑战。

标准一致性的挑战

遵循新标准并不总是那么简单。每个ERC-4626金库都必须忠实且准确地实现所描述的标准要求,否则为了应对不同的变化,集成会变得越来越复杂。这种复杂性使集成天生容易出错。并且由于它们没有足够安全测试,随着时间的推移可能会导致系统漏洞。

推特发言人Nick Pacilio将加入a16z,负责媒体关系:9月17日消息,推特发言人Nick Pacilio在推特任职7年后将离开推特,加入a16z并负责媒体关系。[2021/9/17 23:32:33]

为了安全地处理不同的行为,非ERC-20标准代币需要许多DeFi系统在执行代币转移时使用额外的金库。例如TetherUSD在执行代币转移时需要额外用到SafeERC-20。

这意味着如果系统的设计不能正确处理「丢失退货」的情况,任何与这些代币交互的系统都可能变得脆弱。这些场景可能会引入一个常见的安全陷阱,并增加整体开发和维护成本。因此,符合标准不仅对个人至关重要,而且对整个生态系统的安全也至关重要,单个系统或依赖项中的一个漏洞就可能会导致广泛的问题。

理想情况下,标准将被明确地正式指定,并且每个实现都可以根据标准规范进行正式验证。然而在实践中需要社区的努力且需要一定的费用或时间成本,这在短时间内并不容易实现。

通过引入可执行的ERC-4626属性,识别一致性问题

当我们朝着理想状态努力,每个金库都根据严格的正式规范进行了正式验证时,为了捕捉标准要求的微妙、容易遗漏的细节中的差异,我们编写了ERC-4626标准属性。

a16z合伙人:美国财长Mnuchin将加密监管决策讨论期缩减至15天不合适:a16z的普通合伙人,同时也是Coinbase的董事Kathryn Haun今日发推称:

“法规决策过程提供30-60天的通知和评论期是有原因的。这样,政府外的参与者——消费者、行业、相关公共组织、学术界等就有机会权衡和提供政府可能没有考虑到的观点。

事实上,很多人倡导给复杂的领域更长的讨论期。加密货币的全球和分布式本质很复杂,需要这么长时间的讨论期,原因很简单:这是正当程序,能提供被倾听的机会。

昨晚,美国财政部长姆努钦将加密监管决策评论期缩减为15天,a16z和其他加密领域的参与者都觉得不合适。

不仅仅加密领域的参与者这样认为。很多有数十年执法和国家安全经验的人士认为,这项提议的规则对于他们在阻止非法金融上没有帮助,而且更糟的是,只会让美国在加密创新中落后。”[2020/12/20 15:51:19]

为了检测其实施中潜在的标准违规行为,代币化金库的开发人员可以在部署之前运行测试。金库集成商可以检查给定的金库是否符合标准,然后再将它们集成到他们的系统中。针对已经部署在主网上的实时金库,也可以通过主网分叉测试的方式进行测试。为了确保所有系统参数都已正确设置,尤其是在最近部署或升级的金库,测试实时金库可能会很有用。

为了使属性可执行,我们用Foundry编写,并由fuzzer运行。为了正式验证给定的进金库是否满足所有可能的输入和条件的属性,将来它们也可能由符号执行或模型检查工具运行。

在编写时通用性是首先考虑的,我们希望测试可以应用于实现不同业务逻辑的各种金库。我们只使用公共接口函数来使它们与实现细节无关。但是由于此限制,某些涉及特定于实现的内部数据的标准要求从属性中省略了。

例如,以下属性对应于convertToShares()函数的要求之一,「不得根据调用者显示任何变化。」

给定两个账户地址和金额,它使每个账户以相同的金额调用convertToShares(),并确保两个返回值相等。此属性独立于实现细节convertToShares()。这些细节因金库的不同而异,并且必须由任何实现ERC-4626的金库来满足。在这种情况下可以通过提供特定输入值、许多用于模糊测试的随机输入或用于符号执行和形式验证的符号值来执行此属性。它也可以在本地运行或针对主网分叉运行。

用例:测试舍入错误的属性

例如舍入错误是一类看似轻微的但很重要的错误,它可能会产生一些系列影响。在ERC-4626的基本会计逻辑中,舍入误差是不可避免的,例如计算要铸造的资产数量,或要提取的资产数量,等使用定点算法实现的指令。为了安全性考虑,该标准明确指定了每个接口函数的首选舍入方向,同时未指定误差范围。具体来说deposit()和redeem()函数应该返回一个低于精确值的近似值,而mint()和withdraw()函数应该返回一个高于精确值的近似值。例如当前股价为2,那么deposit()3wei的资产最多只能铸造1wei的代币,而withdraw()3wei的资产应该在至少2wei的代币。

我们将舍入相关属性编写为独立于基础会计逻辑,并将其视为「黑匣子」。具体来说我们将它们表述为所谓的「往返」属性,它描述了两个相反函数之间的关系。例如以下属性规定,通过铸造N股来提取刚刚托管的资产必须燃烧不少于N股。换句话说,没有人可以通过反复铸造和提现来反复转换资产和金库代币来获利。

事实上,我们发现主网上的几个ERC-4626保险库由于舍入错误而无法满足上述属性。这意味着任何人都可以通过简单的反复铸造和提取,慢慢地耗尽金库来赚取satoshiBTC。在低Gas费的链如Fantom上可能会实现获利,或者在价格上涨时也会获利。

ERC-4626标准的广泛测试

我们在主网上约100个ERC-4626金库进行了属性测试,发现许多金库未能遵循标准要求。其中的主要原因是舍入错误。具体来说mint()函数尽管标准明确要求这样做,但某些金库未能铸造该函数请求的确切份额数量。其中一些还发出了不一致的Deposit事件,其中记录的数据与实际生成的数据不同,甚至有些金库根本就没有进行现场铸造过。相反他们只是将铸币请求放入队列中,稍后将它们作为单独的事务分批处理。

尽管这些不同的行为本身是不可利用的,但当它们集成到只执行标准行为的其他系统中时,它们可能会变得容易受到攻击。这些问题将使金库集成变得更加困难,可能会抵消一部分努力。

属性测试和其他可操作的步骤实现标准一致性

在部署之前严格遵循标准可以防止出现不同的行为。我们希望我们的属性和一些额外的操作项对于那些正在开发或集成ERC-4626金库的人能够提供帮助:

我们强烈建议对您的金库运行属性测试。如果有任何明显违反标准的行为,问题会很快被发现。

我们还建议检查我们的属性,以检查您对标准要求的理解,如果有任何无意的差异,请调整实施方案。

如果金库必须偏离标准,我们建议明确记录非标准行为,以便其他人在与金库集成时可以正确处理这些偏差。

小结

在可预见的未来,ERC-4626金库有可能成为DeFi的重要组成部分。为了保持可组合性,新的和现有的金库都必须遵循该标准。新的标准将出现,因此现在是现有金库标准化的最佳时机。

当我们朝着不同金库统一组合的理想状态努力时,可以运行ERC-4626属性测试以更轻松地检测金库实施中的标准违规行为。属性测试的文档和示例都在我们的Github存储库中公开可用。

原文链接

标签:NFTCFTFTC比特币LONDON Vault (NFTX)CFT币swftc币发行量比特币行情软件pinescript

币赢热门资讯
IMPT:这 4 种加密货币正在等待爆炸; 你应该长期投资他们吗?_amazy币怎么样

既然市场已经开始反弹,你可能正在考虑开始一个加密货币投资组合。但是有大约22,000枚代币可用,你怎么知道哪些是最有利润的投资呢?你如何判断哪些数字货币是目前最好的选择?通过分析市场并创建一小部.

1900/1/1 0:00:00
APT:Aptos (APT) 上周继续大放异彩,涨幅超过 18%_NFT

Aptos是镇上最新的区块链,以超过18%的巨大收益继续掀起波澜。该价格已经连续7天上涨,目前交易价格为8.79美元,较昨天收盘价下跌0.74%。Aptos背后的团队一直在努力使他们的项目起步.

1900/1/1 0:00:00
NFT:详解Azuki PBT:现实世界与Web3交互能否成为下一个叙事潮流?_MetaWeb3Pad

原文作者:Carol@CC99Carol原文编辑:吴说区块链摘要:2022年10月18日,Azuki发布了一种全新的开源Token标准——PhysicalBackedToken(PBT).

1900/1/1 0:00:00
WEB:开发者新手指南:进入Web3你需要掌握哪些必备技能?_Jobchain

2022年10月18日,周星驰在个人INS上发布Web3人才招募令,他写道“在漆黑中找寻鲜明出众的Web3人才,助我建造创意未来”.

1900/1/1 0:00:00
TER:Terra 崩盘引发长期比特币供应的爆炸性增长_bitkeep钱包官网最新版本

Terra崩盘,其中600亿美元的价值蒸发,已经成为加密货币历史上的决定性时刻。TerraFormLabs联合创始人DoKwon认为这个问题归结为UST稳定币协议设计中的弱点.

1900/1/1 0:00:00
BIT:BitKeep:已掌握黑客身份信息,敦促黑客及模仿套利者 24 小时内归还盗取资金_KEE

ForesightNews消息,Web3多链钱包BitKeep通过链上消息对此前攻击BitKeepSwap的黑客喊话,敦促黑客及模仿套利者在24小时内进行回应并归还盗取的资金.

1900/1/1 0:00:00