撰文：DaejunPark
编译：aididiaojp.eth，ForesightNews
在可预见的未来，ERC-4626金库有可能成为DeFi的重要组成部分。
随着DeFi不断发展并逐渐成熟，开发人员的首要考虑是可扩展的基础设施和可组合性。用于构建基于以太坊的应用程序的标准化工具包ERC一直发挥着重要作用。例如广泛使用的代币标准ERC-20为开发人员提供一致的指导方针，让他们无需从头开始就可以为生态系统做出贡献。今年早些时候，为了鼓励收益型代币之间的交叉兼容性，代币化金库标准ERC-4626被推出。除此之外，ERC-4626还可以解决紧迫的可组合性问题，使协议集成更容易，减少出错几率。
目前已经有一些DeFi项目为了提高其金库的可组合性，采用了该标准，我们预计整个生态系统将得到更广泛的采用。然而，调整现有的金库确实会带来一些痛苦，至关重要的是某些实施错误可能被暴露，成为新的攻击目标。即使是很小的错误也会对安全和用户体验产生重大影响，因此还需要更多的安全工具和措施，特别是在更可组合的DeFi生态系统中。
如果在被攻击之前就检测到简单的错误，则可以提供相对简单的解决方案，理想情况下甚至在部署之前就能进行检查。为此，我们发布了用于模糊测试和符号执行的ERC-4626属性测试，以帮助金库构建者检测可能破坏集成或导致漏洞的标准违规行为。这篇文章解释了激励问题，介绍了检测方法，并在结尾处提到一些可行的建议。
a16z合伙人Chris Dixon推出新书Read Write Own: Building the Next Era of the Internet:6月23日消息，a16z合伙人Chris Dixon撰文介绍新书Read Write Own: Building the Next Era of the Internet，称这本书回顾了互联网的历史，展示了它如何经历了三个主要的设计时代：第一个关注民主化信息（阅读），第二个关注民主化出版（写作），第三个关注民主化所有权（拥有）。
Dixon表示，这本书回答了一个常见问题，“区块链解决了哪些问题？”区块链解决了其他数字服务所解决的问题，但结果更好。它们可以将人们连接在社交网络中，同时赋予用户权力，超越了企业的利益。它们可以支持市场和支付系统，促进商业交易，而手续费始终较低。它们可以实现可盈利的媒体形式，互操作性和沉浸式的数字世界，以及补偿创作者和社区的人工智能服务，而不是吞噬它们。[2023/6/23 21:56:02]
ERC-4626标准的背景
ERC-4626于3月被推出，是一套代币化金库的标准，旨在扩展广泛使用的ERC-20标准，推动跨收益金库的标准化，并确保需要与其交互的应用程序和协议的可组合性。这意味着为了与任何其他ERC-4626金库一起使用，在ERC-4626金库上构建的任何应用程序都可以轻松扩展。
Bankless Ventures已获得75%承诺投资 LP包括a16z创始人等:4月29日消息，4月28日Bankless联合创始人David Hoffman发布推特文章，披露了 规模为3500万美元的Bankless Ventures已获得75%的承诺投资，LP包括a16z创始合伙人Marc Andreessen，a16z Crypto 创始人 Chris Dixon，以太坊基金会研究员 Dankrad Feist，Polygon联合创始人Sandeep Nailwal，NGC 等， 其目标是在5月底前结束融资。
此前消息，3月初，Bankless 播客主理人 David Hoffman 和 Ryan Sean Adams 计划为其风投基金 Bankless Ventures 募集3500万美元，以用于投资种子轮阶段的Web3公司。[2023/4/29 14:34:31]
金库代币化后，能够允许用户自由存入资产来铸造金库代币，然后赎回这些代币从金库中提取本金和利息。这些金库代币是ERC-20代币，可以轻松被交易或用作抵押以借入其他资产。例如，用户可以将他们的资产存入Yearn金库以铸造yVault代币，然后在Uniswap上进行交易、抵押以获得额外收益，也可以用作贷款协议的抵押品。
a16z报告：加密驱动的 Web3 可能是十年来最好的机会之一:金色财经报道，加密风险投资公司 Andreessen Horowitz (a16z) 发布一份报告。该报告重申了该公司对 Web3 的乐观看法，预计该行业将出现长期增长。a16z将报告要是关于 Web3 和以太坊的状态。这家风险投资巨头将最近的市场抛售归因于季节性低迷的可能迹象，同时坚称加密驱动的 Web3 可能是十年来最好的机会之一。
该公司认为，Web3 提供的经济条款比 Meta 等 Web2 巨头要公平得多。根据其数据，2021 年，基于以太坊的 NFT 的初级销售加上 OpenSea 二级销售支付给创作者的版税总计 39 亿美元，是 Meta 到 2022 年奖励其创作者的四倍。
除了将 DeFi 视为传统金融业的颠覆者之外，a16z 还将 Flowcarbon、Helium 和 Spruce 等区块链项目确定为通过利用 DLT 在隐私、透明度和去中心化方面的优势来解决重大现实世界问题的有力候选者。[2022/5/22 3:33:29]
产生、分配收益以及确定代币价格的逻辑可能因实际情况而异。为了覆盖尽可能多的金库，ERC-4626标准侧重于构建用户界面，而大部分实现细节未确定。只要金库满足接口的特定要求，就能够允许业务逻辑的变化，实现跨许多不同类型的应用程序和ERC-4626金库类型的互操作性。
Jack Dorsey在社交媒体上取关a16z合伙人Chris Dixon:5月13日消息，据最新消息显示，Twitter创始人、现任加密支付公司Block首席执行官的Jack Dorsey在社交媒体上取消了对 a16z 合伙人Chris Dixon的关注，取关原因不详。[2022/5/13 3:13:29]
随着越来越多的代币化金库被创建，我们希望看到它们从一开始就按照ERC-4626标准实施。但我们目前处于某种过渡阶段，为了符合标准，开发人员将需要以更大可组合性的方式来更新现有的金库、应用程序和协议，他们也面临着许多复杂挑战。
标准一致性的挑战
遵循新标准并不总是那么简单。每个ERC-4626金库都必须忠实且准确地实现所描述的标准要求，否则为了应对不同的变化，集成会变得越来越复杂。这种复杂性使集成天生容易出错。并且由于它们没有足够安全测试，随着时间的推移可能会导致系统漏洞。
为了安全地处理不同的行为，非ERC-20标准代币需要许多DeFi系统在执行代币转移时使用额外的金库。例如TetherUSD在执行代币转移时需要额外用到SafeERC-20。
a16z将“开源”其DeFi委托计划:金色财经报道，风险投资巨头Andreessen Horowitz (a16z) 周四在一篇博客文章中表示，将“开源”其去中心化金融 (DeFi)委托计划，并首次揭示了Kiva和Mercy Corps等新受益者。据悉，A16z此前曾透露，已将代币委托给学生经营的组织，包括斯坦福区块链俱乐部、哈佛法律区块链和金融科技计划、加州大学洛杉矶分校的区块链组织和伯克利的区块链组织。然而，该做法是存在争议的。DeFi Watch创始人Chris Blec声称，该计划的提案主要是由a16z委托人决定的。他向a16z发布了一封公开信，呼吁提高该委托计划运作方式的透明度。在周四的博文中，a16z分享了有关其代币委托流程的更多细节，包括最佳实践列表、如何评估代表、法律机制、公司现有代表网络的构成和未来改进的想法。a16z表示，委托是一种鼓励“长期发展一个更高质量的管理机构”的有效方法。a16z鼓励社区自由使用这个框架、修改并提出批评，并最终提供反馈以对其进行改进。[2021/8/27 22:40:08]
这意味着如果系统的设计不能正确处理「丢失退货」的情况，任何与这些代币交互的系统都可能变得脆弱。这些场景可能会引入一个常见的安全陷阱，并增加整体开发和维护成本。因此，符合标准不仅对个人至关重要，而且对整个生态系统的安全也至关重要，单个系统或依赖项中的一个漏洞就可能会导致广泛的问题。
理想情况下，标准将被明确地正式指定，并且每个实现都可以根据标准规范进行正式验证。然而在实践中需要社区的努力且需要一定的费用或时间成本，这在短时间内并不容易实现。
通过引入可执行的ERC-4626属性，识别一致性问题
当我们朝着理想状态努力，每个金库都根据严格的正式规范进行了正式验证时，为了捕捉标准要求的微妙、容易遗漏的细节中的差异，我们编写了ERC-4626标准属性。
为了检测其实施中潜在的标准违规行为，代币化金库的开发人员可以在部署之前运行测试。金库集成商可以检查给定的金库是否符合标准，然后再将它们集成到他们的系统中。针对已经部署在主网上的实时金库，也可以通过主网分叉测试的方式进行测试。为了确保所有系统参数都已正确设置，尤其是在最近部署或升级的金库，测试实时金库可能会很有用。
为了使属性可执行，我们用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存储库中公开可用。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。