文章归档

介绍 Uniswap V3 的核心创新——集中流动性，讲清它与 V2 的根本区别、tick 与价格区间的概念，以及合约架构。

讲清 Uniswap V3 如何存储价格：slot0 里的 sqrtPriceX96 和 tick，为什么存价格的平方根，以及三者之间的换算。

推导 Uniswap V3 集中流动性的核心方程：流动性 L 与 token 数量和价格的关系、虚拟储备、以及区间内 x 和 y 的计算。

讲解 Uniswap V3 的 swap 算法：单区间内的价格移动、跨 tick 时 liquidityNet 如何切换流动性、swap 手续费，以及 SwapRouter 的定输入/定输出。

讲解 Uniswap V3 如何通过 NonfungiblePositionManager 铸造 NFT 头寸、增减流动性、领取手续费，以及 pool 的 mint/burn/collect。

讲解 Uniswap V3 Factory：按 (token0, token1, fee) 创建池子、费率档位与 tickSpacing 的对应关系，以及同一对代币的多池设计。

讲解 Uniswap V3 如何用 tick bitmap 位图在 swap 跨 tick 时高效地找到下一个已初始化的 tick。

讲解 Uniswap V3 最精妙的费用追踪机制：feeGrowthGlobal、feeGrowthOutside、feeGrowthInside，以及如何只给"价格经过其区间"的 LP 分配手续费。

讲解 Uniswap V3 内置的 TWAP 价格预言机：tickCumulative 累积、observe 查询、几何平均价，以及相比 V2 的改进。

讲解 Uniswap V3 的闪电贷 pool.flash：如何从池子借出任意代币、在同一笔交易内归还本金加手续费，以及回调机制。

介绍 Uniswap V3 的两个进阶话题：JIT（即时）流动性攻击/策略，以及 V3 上的套利思路。

介绍 Uniswap V2 的恒定乘积做市原理、核心与外围合约的分工，以及 Pair/Factory/Router 的整体架构。

推导 Uniswap V2 含 0.3% 手续费的 getAmountOut/getAmountIn 公式，讲解多跳路由、pair.swap 如何守住 k，以及滑点的来源。

讲解 Uniswap V2 Factory 如何用 createPair 创建交易对、为何用 CREATE2 让池子地址可预测，以及每对代币唯一池子的保证。

讲解 Uniswap V2 的累积价格机制如何构建时间加权平均价（TWAP）预言机，为什么它能抵抗瞬时价格操纵。

讲解 Uniswap V2 如何铸造 LP token：首次用几何平均 √(x·y)、后续按比例取最小值，以及最小流动性锁定的设计。

讲解 Uniswap V2 的 flash swap：pair.swap 的乐观转账机制、回调 uniswapV2Call、还款金额与手续费计算。

把 swap 与 flash swap 串起来，构建一个跨池/跨 DEX 的套利合约：普通版与零本金的闪电兑换版。

讲解 Uniswap V2 如何销毁 LP token 按比例取回两种代币，burn 的数学，以及为什么移除流动性不收手续费。

介绍 Rocket Pool rETH 集成课程的目标、四个实战项目（Aave 杠杆、Balancer/Aura、rETH NAV、EigenLayer），以及所需前置知识。

深入理解 rETH：增值型代币的汇率机制、如何铸造与赎回、二级市场获取、deposit pool 限制，以及集成时要注意的风险。

把 rETH 存进 Balancer rETH/WETH 池做 LP，再质押到 Aura 赚取叠加激励：池子类型、加入/退出、BPT、Aura 收益增强机制。

用 Aave 闪电贷与 rETH 抵押构建杠杆质押策略：原理、循环杠杆、一笔闪电贷开仓、清算风险与健康因子。

讲解如何在链上正确计算 rETH 的净值：公允汇率 vs 市场价、为什么估值要用 getExchangeRate、以及预言机选择与安全。

把 rETH 存进 EigenLayer 做再质押（restaking）：再质押原理、AVS 与运营商、StrategyManager 存取流程、收益与额外的罚没风险。

总结 rETH 集成开发中的风险叠加（智能合约/汇率/清算/罚没）、收益叠加全景，以及集成开发的最佳实践与安全清单。

拆解 Curve V1 (StableSwap) 的核心不变量方程，讲透参数 A 如何在恒定和与恒定乘积间插值，以及合约如何用牛顿迭代求解 D 和 y。

讲解 Curve V1 如何用不变量 D 的增量决定 3CRV 铸造数量，以及为什么不按比例存入会被收取失衡费来保护现有 LP。

跟着 exchange 走一遍 Curve V1 的兑换流程，理解 get_y 如何在 D 不变下反解换出量，以及 Curve 在输出币上收取手续费的细节。

讲清 Curve V1 三种取回流动性的方式：remove_liquidity（按比例免费）、remove_liquidity_imbalance（按数量收费）、remove_liquidity_one_coin（单币收费）及其数学。

梳理 StableSwap3Pool 合约结构：参数 A 如何缓慢 ramp，_xp 如何统一精度，get_virtual_price 与 calc_token_amount 各自的用途。

拆解 Curve V2 不变量公式，讲透 K/gamma 如何缝合恒定和与恒定乘积，以及 price_scale 如何让流动性集中并自动重锚。

梳理 Curve V2 的主合约/数学库/视图库三件套，讲解状态变量为何用位运算打包省 gas，以及 A、gamma 为何要缓慢 ramp。

对比 remove_liquidity（按比例、免费）与 remove_liquidity_one_coin（单币、收失衡费）两条取回路径的数学与代价。

讲解如何用不变量 D 的增量决定 LP 铸造数量，以及为什么不按比例存入会被收取失衡费来保护现有 LP。

跟着 exchange 函数走一遍兑换流程，理解如何用不变量反解换出量，以及随池子失衡程度自动变化的动态手续费。

揭开重锚机制：抗操纵的 EMA 内部预言机、tweak_price 的利润与距离两道闸门、price_scale 小步移动与 xcp_profit 盈亏记录。

用隐函数求导这一统一技巧，推导恒定和、恒定乘积、Curve V1/V2 的现货价 dy/dx，理解 get_p 的本质。

深入讲解 Gnosis Safe 智能合约钱包的多签机制、密钥轮换及 MetaMask 灾难恢复演练，帮助你建立完整的 Web3 资产安全体系

社交恢复钱包通过守护者多签机制，在保持日常单签便利性的同时实现私钥丢失后的安全恢复

从 RSS 缓慢爬升被 cgroup 杀掉出发，一步步定位到 glibc 多 arena 的 native 内存碎片，给出 MALLOC_ARENA_MAX 修复与完整排查命令清单

理解附加在字节码末尾的 CBOR 元数据：IPFS 哈希、编译器版本、用途与移除方法

拆解合约创建的全部 Gas 来源：基础费、创建费、存储初始化、calldata、初始化执行与代码存储

理解创建码三段结构、init code 如何返回运行时代码、构造参数与 immutable 的字节码处理

理解调用深度攻击、每层调用保留 1/64 Gas 的机制及其对嵌套调用与 gas griefing 的影响

理解冷热访问成本、访问列表如何预声明地址与存储槽节省跨合约调用的 Gas 及其陷阱

系统梳理存储、部署、跨合约调用、calldata、汇编与编译器层面的全部 Gas 优化手段

理解 V3 单一可借基础资产、隔离市场、不可变参数与 Comet/Configurator/Factory 合约体系

理解基于利用率的拐点（kink）分段利率、供需利率独立计算与每秒到年化的换算

理解用一个增长的乘数指数追踪利息，避免逐账户更新余额的省 Gas 记账机制

理解余额随利息无声增长、二元授权、现值计价与 CometExt 扩展模式的非标准 ERC20 设计

理解 invoke 批量动作、ETH 包装、非托管设计与 msg.value 循环的双花安全考量

理解清算因子、isLiquidatable 判定、absorb 全额吸收、buyCollateral 折价购买与储备金策略

理解 MasterChef 式的追踪指数、每秒奖励速率、最低门槛保护与 CometRewards 领取机制

理解快照如何记录历史余额、惰性更新与二分查找，抵御闪电贷治理攻击

理解提案生命周期、法定人数、时间锁，以及 Governor + Timelock + ERC20Votes 架构

理解投票权委托、按账户的检查点历史、签名委托与时钟模式（区块号 vs 时间戳）

深入理解 abi.encode、encodePacked、函数选择器与静态/动态类型的字节布局规则

理解 .call 的返回值、失败不自动回滚、调用空地址的陷阱与 call/staticcall/delegatecall 区别

理解 EVM 256 位存储插槽的分配规则、变量打包优化与 sload/sstore 底层操作

彻底理解 delegatecall 如何在调用者上下文执行目标代码、存储冲突风险与 immutable 陷阱

理解 implementation/admin/beacon 三个标准插槽的 keccak256 推导与防冲突原理

用命名空间结构体把存储根从插槽0迁走，彻底解决继承与升级中的存储冲突

理解函数选择器冲突问题、用 msg.sender 路由解决冲突、ProxyAdmin 与 upgradeToAndCall

理解信标合约如何集中存储实现地址，让海量代理通过一笔交易同时升级

理解 MetaProxy 如何在克隆字节码尾部追加不可变元数据，省去初始化交易与存储写入

理解 Uniswap V3 如何用 address(this) 与 immutable 原始地址比对来防止合约被克隆盗用

逐字节拆解最小代理字节码、initialize 初始化模式与工厂批量克隆的省 Gas 原理

理解变异测试如何通过注入变异体衡量测试套件质量、变异分数与 vertigo 等工具

理解中间节点冒充叶子伪造证明的攻击原理，以及域分离与双重哈希的防御

理解 0x01-0x0a 各预编译合约（ecrecover/sha256/modexp/椭圆曲线运算等）及其调用方式

理解用 RSA 做空投/预售白名单的原理、modexp 预编译、与 ECDSA/默克尔树的 Gas 对比

理解承诺-作废符方案、增量默克尔树、zk-SNARK 取款证明、中继器与匿名集

理解有状态模糊测试、handler 模式、targetContract/bound/ghost 变量与真实不变量案例

深入理解 AMM 自动做市商原理与 Uniswap V2 的工厂、配对、路由三大合约架构设计

用恒定乘积公式逐步推导一笔 swap 实际能换到多少代币，理解滑点与手续费的数学本质

逐段拆解 swap 函数：先转出后验证的设计、闪电贷机制、含手续费的 K 不变量校验

解析 LP 代币的数学：首次注资的几何平均数、后续注资的最小比例法、按比例赎回与通胀攻击防御

解析从未启用却被无数 fork 沿用的协议费设计：用流动性增长量一次性结算 1/6 的手续费分成

理解抗闪电贷操纵的链上价格预言机：累积价格、UQ112x112 定点数与溢出安全的模运算原理

逐函数拆解 getAmountOut/getAmountIn/getAmountsOut 等八个无状态辅助函数及其背后的恒定乘积数学

面向用户的外围合约：滑点保护、deadline、多跳交换、ETH 与转账收费代币支持、Permit 免授权

用现代 Solidity 重写 Uniswap V2 的实战清单：安全、取整方向、重入防护与 Gas 优化要点

深入解析 DeFi 质押奖励分配算法，结合 SushiSwap MasterChef 与 Synthetix，系统讲解累积器、奖励债务、精度处理、安全设计及 Solidity 实现。

深入解析Solidity中定点数算术的原理与实现，涵盖Solady/Solmate/ABDK/UniswapV2库的对比分析及向上取整策略

深入解析 Chainlink 价格预言机的合约架构、数据流转机制与链上使用方法

深入解析闪电贷原理、ERC-3156标准规范、完整实现方式及关键安全漏洞防御措施

从资金利用率出发，逐步理解 DeFi 借贷协议的动态利率与拐点模型

深入解析 OpenZeppelin Ownable2Step 两步式所有权转移机制，说明其如何降低地址填错和所有权丢失风险。

讲解 Solidity internal 函数的测试方法，比较 Harness 合约模式、测试合约继承等方案的适用场景与优缺点。

系统梳理 Solidity 重入攻击的发生条件、常见入口、四种攻击类型及防御方式，覆盖 ETH 转账与 Token 回调场景。

深入解析 ERC-1363 Payable Token 标准，了解 transferAndCall/approveAndCall 如何将 ERC-20 的两步操作合并为一步，附接口定义、回调机制与实战合约示例。

面向 Solidity 开发者通俗讲解重入攻击的执行模型、常见漏洞入口、修复方案、自查清单与攻击测试思路。

深入学习 Solidity 有符号整数类型，涵盖二进制补码、取值范围、除法取模规则、类型转换与常见陷阱。

深入解析 ERC721 Enumerable 扩展标准，涵盖核心接口、Swap and Pop 数据结构、Mint/Transfer/Burn 状态维护及 Gas 开销分析，附完整合约示例。

从 EVM 执行模型出发讲解 Solidity 重入攻击，覆盖经典 ETH 提款漏洞、CEI 修复模式及外部回调风险识别。

学习 PaymentSplit 按比例分账、TokenVesting 线性归属释放和 TokenLocker 时间锁等链上资金管理设计模式。

从零实现多签钱包智能合约，理解 M-of-N 多签机制、交易提案与确认流程及 Gnosis Safe 设计原理。

掌握可升级合约的三种代理模式：基础代理、简单升级代理与透明代理，理解 DelegateCall 与存储槽冲突问题。

学习 EIP-712 结构化数据签名标准，让用户在钱包中看到可读的签名内容，有效防止钓鱼攻击。

解析 ERC-2612 Permit 标准，通过链下签名替代 approve 交易，实现单笔交易完成授权与操作。

ERC-1155 详细学习指南下篇，深入讲解同质化/非同质化资产区分、转账安全规则及实战开发注意事项。

ERC-1155 多代币标准完整指南上篇，涵盖核心设计思想、数据结构、接口详解、事件系统与接收者钩子机制。

深入学习 Chainlink CCIP 跨链互操作协议，包括架构设计、消息传递机制、跨链代币转移及智能合约开发实践。

Gas 是以太坊的计算燃料，深入解析 Gas 定价机制、BaseFee 动态调整及 EIP-1559 改革对交易费用的影响。

详解 Solidity ABI 编码规则，包括静态/动态类型、32字节对齐原则及 abi.encode/decode 的实用技巧。

详解SushiSwap MasterChef和Synthetix的质押奖励分配算法，包括累计每代币奖励计数器、奖励债务机制及Gas优化策略

从程序员视角深入解析 ERC-4626 代币化金库标准，涵盖核心接口、取整方向规则、首位存款人攻击等安全问题及防御方案。

介绍三种检测以太坊地址类型的方法：address.code.length、tx.origin 与 msg.sender 对比及 codehash 检测。

详解 ETH 原生转账三种方式（transfer/send/call）的区别，以及 OpenZeppelin SafeERC20 安全转账封装实践。

深入讲解以太坊 ECDSA 数字签名原理，演示如何用链下签名 + 链上验证实现 NFT 白名单铸造。

实践Devops

本次实验以一个最基本的SpringCloud项目演示集成Gitlab CI/CD并自动发布到Kubernetes集群，实现完整的企业级devops实战

微服务各项目模块说明