本指南为新用户提供了评估去中心化金融（DeFi）协议时的关键步骤，包括审查审核报告、阅读文档、评估社区活跃度、识别风险以及了解收益来源，从而帮助投资者做出明智的投资决策。
Uniswap V4 CurrencyDelta Library 是一种优化的闪电记账工具，通过 transient storage 记录代币余额变化，从而节省 gas 消耗。文章详细介绍了如何计算存储 slot 地址、获取余额变化和应用余额变更的 Solidity 函数，实现了高效的代币管理。
Actions Library 是一个支持 Uniswap v4 周边合约操作的智能合约代码库，定义了流动性管理、交换、捐赠、结算以及包装操作等多种功能，允许用户进行代币的增加、减少、铸造、销毁和交易等操作。
本文介绍了 Uniswap v4 的外围合约，包括 PositionManager 和 V4Router 两个主要合约，详述了它们的功能和与 PoolManager 合约的交互，强调了交易原子性和 gas 消耗的优化等特性。
v4-core是Uniswap v4的核心合约模块，包含了池子管理和多种库合约，提供对流动性、交易及手续费的管理。这些合约通过不同的库实现相关操作，确保Uniswap的流动性池功能高效运作。
本文介绍了PathKey库的结构体定义及其方法，特别是getPoolAndSwapDirection函数的实现。内容详尽，涵盖了结构体字段含义及如何计算交易池和方向的逻辑，是对Uniswap v4相关概念的深入理解。
本文深入探讨了 Loss-Versus-Rebalancing (LVR) 的概念，LVR是指由于AMM价格更新滞后于市场价格，导致套利者从AMM中提取价值，从而使流动性提供者遭受损失的现象。文章详细解释了LVR的原理、计算方法，以及与无常损失的区别。同时，文章还分析了LP费用是否能抵消LVR损失，并介绍了CoW AMM等解决LVR问题的方案。
本文档是 Aave v3 不变量测试套件的内部文档，介绍了如何运行测试套件、属性格式、如何添加对新函数的支持、如何从 Foundry 迁移测试、如何迁移 Certora 属性以及如何调试broken属性。该套件使用 Echidna 工具来检查 Aave v3 协议的不变量和后置条件，并通过 property mode 和 assertion mode 两种不同的模式执行。
本文详细解释了DeFi中的无常损失（Impermanent Loss）现象及其产生原因，并提供了如何通过多样化投资、稳定币配对、定期再平衡等策略来减轻无常损失的指导。文章还包括使用Factor平台进行风险管理和策略模拟的工具介绍。
本文介绍了在 Uniswap V4 PoolId.sol 合约中如何定义 PoolId 类型，并通过 PoolIdLibrary 库实现将 PoolKey 结构体转换为池子唯一 ID 的方法 toId。该方法利用 keccak256 哈希算法生成池子的 ID
PoolId
toId
keccak256
本文介绍了 dYdX v4 的架构及其核心组件，强调其完全去中心化的特性。dYdX v4 将成为一个独立的 L1 区块链，使用 Cosmos SDK 和 CometBFT PoS 共识协议，支持多种节点类型以及开放源码的前端应用，旨在提升用户体验和交易效率。
这篇文章讲述了作者因银行冻结账户而面临的困境，以及去中心化金融（DeFi）如何为传统金融系统带来必要的补充。作者强调了自身的自我保管钱包在危机中的重要性，并呼吁对新技术应采取开放的态度，同时确保合理的监管，以保障所有美国人能够安全地使用金融服务。
文章详细介绍了DeFi领域中常见的Vault Inflation Attack（金库膨胀攻击），通过示例展示了攻击的原理和实现方式，并探讨了如何通过不同的方法来缓解这种攻击。
Uniswap v4的发布标志着去中心化金融（DeFi）的一个重要里程碑，引入了新的功能，特别是hooks，允许开发者定制AMM池，实现动态定价和智能自动化策略。这一变革不仅使流动性提供者和交易者受益，也为AI在DeFi中的应用打开了新天地，同时Unichain作为一个专门的L2扩展解决方案，旨在解决更深层次的区块链问题。
该文章评估了 Wormhole 协议是否满足 Uniswap DAO 跨链治理的使用场景，结论是满足。
本文是关于如何解析 Uniswap v4 链上数据的指南。
本文深入探讨了去中心化金融（DeFi）清算过程中的关键漏洞及其可能的攻击方式，并提出了相应的缓解策略，确保协议的偿付能力和用户信任。文章涵盖清算激励不足、坏账管理、部分清算及清算机制失败等问题，也强调了清算奖励的计算和优先级等细节，提供了从开发和审计的角度进行防范的最佳实践。
本文探讨了在 DeFi 生态系统中为了提高安全性的重要性，分析了 Compound 和 AAVE 协议的共享代币（interest-bearing tokens）在被分叉时可能面临的安全风险和漏洞，特别是空池攻击及其详细的攻击步骤。文章还提出了针对这些攻击的防范措施，包括确保池子流动性和ROUNDING优先处理机制。
这篇博文主要介绍了自动化做市商(AMM)的经济学、机制的正式化、比较不同AMM协议以及安全考虑。文章探讨了AMM在去中心化交易平台中的重要性，以及其工作原理、参与者、资产类型和潜在缺陷，并详细论述了不同AMM如Uniswap和Balancer的机制。同时，还提到了闪电贷攻击、价格三明治攻击等可能的安全风险及应对策略。
本文深入探讨了Certora与Uniswap的合作，旨在通过形式验证技术确保Uniswap v4的安全性。通过结合自动化分析、手动代码审查和形式验证，Certora提供了比传统审计更为全面的安全保障，为保护用户资产和防止攻击提供了数学证明。文章强调了形式验证在DeFi安全中的重要性，指出这是传统安全测试无法比拟的。
扫一扫 - 使用登链小程序
488 篇文章，583 学分
193 篇文章，525 学分
412 篇文章，378 学分
128 篇文章，335 学分
58 篇文章，310 学分
zellic
adshao
CowSwap
aave-dao
factor.fi
dYdX
a16z Crypto
vinicaboy
Gogol
Uniswap Labs
cyfrin
mixbytes
InfectedIsm
Certora
