随着DeFi不断发展并逐渐成熟，开发人员的首要考虑是可扩展的基础设施和可组合性。用于构建基于以太坊的应用程序的标准化工具包ERC一直发挥着重要作用。例如广泛使用的代币标准ERC-20为开发人员提供一致的指导方针，让他们无需从头开始就可以为生态系统做出贡献。今年早些时候，为了鼓励收益型代币之间的交叉兼容性，代币化金库标准ERC-4626被推出。除此之外，ERC-4626还可以解决紧迫的可组合性问题，使协议集成更容易，减少出错几率。目前已经有一些DeFi项目为了提高其金库的可组合性，采用了该标准，我们预计整个生态系统将得到更广泛的采用。然而，调整现有的金库确实会带来一些痛苦，至关重要的是某些实施错误可能被暴露，成为新的攻击目标。即使是很小的错误也会对安全和用户体验产生重大影响，因此还需要更多的安全工具和措施，特别是在更可组合的DeFi生态系统中。如果在被攻击之前就检测到简单的错误，则可以提供相对简单的解决方案，理想情况下甚至在部署之前就能进行检查。为此，我们发布了用于模糊测试和符号执行的ERC-4626属性测试，以帮助金库构建者检测可能破坏集成或导致漏洞的标准违规行为。这篇文章解释了激励问题，介绍了检测方法，并在结尾处提到一些可行的建议。ERC-4626标准的背景
a16z公布首批Optimism代表名单，含GFX Labs和6所高校学生社团:2月15日消息，a16z宣布代表a16z参与投票的Optimism基金会第一批代表名单，名单由7名代表组成，包括GFXLabs以及南加州大学、卡耐基梅隆大学、普渡大学、北卡罗来纳州立大学、佐治亚理工学院、东北大学6所高校的区块链协会。每位代表将获得100万枚OP委托授权，预计在3月底前完成。
a16z网络运营官Ross Shuel表示，a16z根据9个关键标准对潜在代表进行评估，并与被选代表签署法律协议，不会控制委托投票，如果没有罕见的法律例外，委托授权将至少维持6个月。目前，a16z第二批Optimism代表已开放申请。[2023/2/15 12:08:17]
ERC-4626于3月被推出，是一套代币化金库的标准，旨在扩展广泛使用的ERC-20标准，推动跨收益金库的标准化，并确保需要与其交互的应用程序和协议的可组合性。这意味着为了与任何其他ERC-4626金库一起使用，在ERC-4626金库上构建的任何应用程序都可以轻松扩展。金库代币化后，能够允许用户自由存入资产来铸造金库代币，然后赎回这些代币从金库中提取本金和利息。这些金库代币是ERC-20代币，可以轻松被交易或用作抵押以借入其他资产。例如，用户可以将他们的资产存入Yearn金库以铸造yVault代币，然后在Uniswap上进行交易、抵押以获得额外收益，也可以用作贷款协议的抵押品。产生、分配收益以及确定代币价格的逻辑可能因实际情况而异。为了覆盖尽可能多的金库，ERC-4626标准侧重于构建用户界面，而大部分实现细节未确定。只要金库满足接口的特定要求，就能够允许业务逻辑的变化，实现跨许多不同类型的应用程序和ERC-4626金库类型的互操作性。随着越来越多的代币化金库被创建，我们希望看到它们从一开始就按照ERC-4626标准实施。但我们目前处于某种过渡阶段，为了符合标准，开发人员将需要以更大可组合性的方式来更新现有的金库、应用程序和协议，他们也面临着许多复杂挑战。标准一致性的挑战
a16z Crypto总法律顾问：Kraken与SEC达成和解不会影响其他交易平台:2月10日消息，a16z Crypto总法律顾问Miles Jennings针对Kraken与SEC达成和解一案发表评论称：质押对生态系统来说非常重要，质押即服务项目既合法，也允许更多人参与区块链技术。我们认为这一和解协议将不会对已制定计划不涉及证券法的交易平台产生任何影响。
作为Web3的重要投资者和正在建设下一代互联网的企业，a16z对Gensler主席继续证明他只知道如何通过零星的执法案件进行监管感到失望。距离美国证券交易委员会(SEC)上一次发布与加密货币相关的指导意见已经过去了四年，其主席继续专注于上头条，而不是根据SEC的核心使命保护投资者。现在是他优先考虑规则和指导的时候了，这些规则和指导将使市场更加清晰，并积极主动地保护公众。[2023/2/10 11:58:45]
遵循新标准并不总是那么简单。每个ERC-4626金库都必须忠实且准确地实现所描述的标准要求，否则为了应对不同的变化，集成会变得越来越复杂。这种复杂性使集成天生容易出错。并且由于它们没有足够安全测试，随着时间的推移可能会导致系统漏洞。为了安全地处理不同的行为，非ERC-20标准代币需要许多DeFi系统在执行代币转移时使用额外的金库。例如TetherUSD在执行代币转移时需要额外用到SafeERC-20。这意味着如果系统的设计不能正确处理「丢失退货」的情况，任何与这些代币交互的系统都可能变得脆弱。这些场景可能会引入一个常见的安全陷阱，并增加整体开发和维护成本。因此，符合标准不仅对个人至关重要，而且对整个生态系统的安全也至关重要，单个系统或依赖项中的一个漏洞就可能会导致广泛的问题。理想情况下，标准将被明确地正式指定，并且每个实现都可以根据标准规范进行正式验证。然而在实践中需要社区的努力且需要一定的费用或时间成本，这在短时间内并不容易实现。通过引入可执行的ERC-4626属性，识别一致性问题
a16z推出早期创业投资项目START，最高投资额100万美元:4月19日消息，a16z推出“a16z START”计划，它由a16z种子基金提供支持，与投资于“American Dynamism”、消费者、企业和金融科技领域的合作伙伴一道，在公司建设的最初阶段为创始人提供动力，包含磨练产品愿景和确定目标受众、建立和推出MVP、扩展已推出的产品，且最高投资达100万美元，并会提供资源和支持网络。自2021年秋季启动START测试计划以来，共收到1000多份申请，并有11名START企业家加入，包括Rappi、Ethos负责人等。[2022/4/19 14:32:45]
当我们朝着理想状态努力，每个金库都根据严格的正式规范进行了正式验证时，为了捕捉标准要求的微妙、容易遗漏的细节中的差异，我们编写了ERC-4626标准属性。为了检测其实施中潜在的标准违规行为，代币化金库的开发人员可以在部署之前运行测试。金库集成商可以检查给定的金库是否符合标准，然后再将它们集成到他们的系统中。针对已经部署在主网上的实时金库，也可以通过主网分叉测试的方式进行测试。为了确保所有系统参数都已正确设置，尤其是在最近部署或升级的金库，测试实时金库可能会很有用。为了使属性可执行，我们用Foundry编写，并由fuzzer运行。为了正式验证给定的进金库是否满足所有可能的输入和条件的属性，将来它们也可能由符号执行或模型检查工具运行。在编写时通用性是首先考虑的，我们希望测试可以应用于实现不同业务逻辑的各种金库。我们只使用公共接口函数来使它们与实现细节无关。但是由于此限制，某些涉及特定于实现的内部数据的标准要求从属性中省略了。例如，以下属性对应于convertToShares()函数的要求之一，「不得根据调用者显示任何变化。」给定两个账户地址和金额，它使每个账户以相同的金额调用convertToShares()，并确保两个返回值相等。此属性独立于实现细节convertToShares()。这些细节因金库的不同而异，并且必须由任何实现ERC-4626的金库来满足。在这种情况下可以通过提供特定输入值、许多用于模糊测试的随机输入或用于符号执行和形式验证的符号值来执行此属性。它也可以在本地运行或针对主网分叉运行。
Web3及加密通信协议XMTP完成2000万美元A轮融资，a16z领投，Coinbase Ventures等参投:9月1日，Web3及加密通信协议XMTP宣布完成2000万美元A轮融资，a16z领投，Coinbase Ventures、Not Boring Capial、SK Ventures、Offline Ventures、StarkWare、Anthony Pompliano、Anthony Sassano (The Daily Gwei)、Kain Warwick (Synthetix)、Kayvon Beykpour (Twitter)、Stani Kulechov (Aave)、Robert Leshner (Compound Labs)、Roham Gharegozlou (Dapper Labs)、Ryan Sean Adams (Bankless)、Ryan Selkis (Messari) 等基金与天使投资人参投。
据悉，这笔资金将用于扩充 XMTP 团队规模，并将帮助 XMTP 通过其独立协议和去中心化网络实现加密钱包间的通信。[2021/9/1 22:51:44]
a16z后期风险基金就与Coinbase相关的交易获得美国联邦贸易委员会批准:金色财经报道，Andreessen Horowitz（a16z）的后期风险基金已就涉及Coinbase的交易获得美国联邦贸易委员会（FTC）的批准。目前尚不清楚批准是针对该基金先前披露的在Coinbase购买股票还是用于新的购买。[2020/9/25]
用例：测试舍入错误的属性
例如舍入错误是一类看似轻微的但很重要的错误，它可能会产生一些系列影响。在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存储库中公开可用。原地址
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。