本文为eBTC协议的第二次检验与改进,重点介绍了Fork测试与收益分配机制的覆盖,特别是收益故事的实现和验证。文章详细探讨了在Fork测试中遇到的技术挑战和解决方案,包括对mock合约的使用不当引发的问题,以及如何确保收益分配公式的正确性。整篇文章具有较强的技术深度,适合对区块链及DeFi机制有一定了解的读者。
用经济学的语言,区块链本质上改变了委托代理关系中的代理风险。
本文深入解析了以太坊的ERC4337标准,阐述了其在账户抽象方面的优势与面临的挑战。通过分离私钥和账户控制权,ERC4337提高了交易执行效率,简化了用户体验,但是其高昂的gas费用和兼容性问题仍需解决。未来,ERC4337可能会为DeFi、SocialFi和GameFi贡献更多灵活性和便利性。
本文介绍了 Pool Library 的定义和结构,主要涉及到对 Uniswap v4 方池的实现和逻辑细节的描述,包括结构体定义(如 TickInfo 和 State)、流动性变更和交易的函数(如 modifyLiquidity 和 swap),以及如何处理 tick 的更新与手续费增长的计算。
本文介绍了SushiSwap即将推出的Trident平台中的一个池排空漏洞及其修复过程。通过三个步骤,文章详细阐述了如何通过形式化验证技术发现此漏洞,并详细描述了恶意用户如何利用该漏洞进行攻击,最后介绍了SushiSwap所采取的修复措施。
本文讨论了稳定币的发展及其在加密经济中的重要性,特别是csUSDL这一收益支持的稳定币如何优化链上企业和DAO的财务管理。文章详细分析了csUSDL的工作原理、相较于传统稳定币的优势以及对未来链上金融的影响。
Uniswap V4 PositionManager 用于头寸管理,包括头寸的创建、修改流动性、删除等操作。通过多个方法和接口支持流动性调整和结算功能,关键操作包括增加、减少流动性及创建、销毁头寸等,结合闪电记账余额实现高效管理。
本文详细介绍了rebase 代币的概念及其实现,通过设计一个基于ERC-20标准的重设代币合约,讨论了其逻辑、可能的安全问题及相应的代码实现。文章对交易、铸造、燃烧等过程进行了深入的分析,并提出了防止攻击的措施,适合对DeFi和智能合约开发有一定了解的读者。
Uniswap V4 BalanceDelta 是一种自定义类型,用于同时表示两个代币的余额变化,分别用高低位的方式存储。同时提供了运算符重载和相关方法,以便于进行加减法和比较操作。此外,BalanceDeltaLibrary 提供了获取各个代币数量的方法,方便使用。
Uniswap V4 CurrencyDelta Library 是一种优化的闪电记账工具,通过 transient storage 记录代币余额变化,从而节省 gas 消耗。文章详细介绍了如何计算存储 slot 地址、获取余额变化和应用余额变更的 Solidity 函数,实现了高效的代币管理。
该文章介绍了Uniswap V4 BaseActionsRouter 合约中几个核心方法的实现,包括如何批量执行操作、处理解锁回调、计算接收者和支付者地址等。这些方法的实现细节有助于理解合约的工作原理和其在 Uniswap V4 中的应用。
BaseActionsRouter
本篇文章介绍了SushiSwap的新一代自动做市商(AMM)Trident,突出其资本效率、多个池类型的扩展及用户友好的界面设计。Trident通过BentoBox支持新的流动性提供者功能,并计划引入特许池等新特性,以提升DeFi用户体验。文章详细阐述了不同类型的流动性池及其运行机制。
本文深入分析了ERC-4626 Vaults中存在的通胀攻击漏洞,攻击者可以通过极少量初始存款和后续的“捐赠”操作,操纵Vault的份额计算,从而窃取后续存款人的资产。文章详细解释了攻击原理、步骤,并通过实例进行了说明,同时探讨了针对此漏洞的多种防御措施,例如使用ERC4626 Router、内部跟踪总资产、创建“死亡份额”以及在初始化时注入初始资金等。
zkPorter是一种新的L2扩展技术,结合了zkRollup和分片,提供了高度可扩展且原子组合的区块链网络。文章详细介绍了zkPorter的工作原理、数据可用性问题、跨分片互操作性以及其在DeFi、微交易等领域的应用案例。
可组合性壁垒将导致不同类型 DeFi 应用选择不同 Layer2 方案。去中心化交易所选择 ZK Rollup,借贷类、合成资产类项目向 Optimistic Rollup 聚集,两类项目分别在两种网络内部实现可组合性。