DeFi 教程

形式验证用数学证明代替测试用例，覆盖的是写进规范的性质，而不是全部风险。本文解释它和审计、监控的分工，教你读懂验证报告里证了什么、没证什么。

同一个地址在一个协议里同时欠着多笔借款时，还款资金按什么顺序分配？本文拆开按资产分账、按市场分账和利息先行三种账本结构，讲清还款顺序怎么决定你的清算风险。

同样金额的大单，在不同池子里的成交成本可以差几倍。本文用深度尺的思路教你把池子的储备换算成「每推动一成价格需要多大单」，下单前估计自己的冲击成本。

清算不是点一下按钮就完成的状态切换，而是一串可能被 gas 尖峰、限价失败、并发抢占打断的交易。本文拆解清算从触发到落地的每一步断点，以及失败重试怎么影响你的处置价格。

资金费率从正转负，不只是数字变小，而是现金流方向整体掉头。本文讲清算费公式里符号的含义、转负时多头和空头各自的账怎么变，以及转负常伴随的执行陷阱。

有些池子合约带着两个不起眼的维护函数，平时没人碰，它们存在的意义是对付「实际余额与记账储备不一致」的极端状态。本文拆解这类错位从哪来、谁来触发修复、为什么它也可能是攻击的台阶。

一条新上线的价格Feed第一口价格从哪来、头几分钟为什么容易被操纵？本文拆解喂价系统的引导阶段、初始值来源与偏差保护带的启动顺序，教你判断一个新交易对的价格是否已经安全。

重入漏洞的经典解法已是行业常识，但攻击并没有消失，只是换到了回调、跨函数、跨协议的新路径上。本文按防御层次拆解现状：哪些门已经焊死、哪些门取决于你连的代币和外部合约。

ETH 进池要走一遍「包装」，为什么多出来的这一层封装反而让资金更安全？本文拆解包装与解包装的合约流程、事件痕迹，以及它给代币标准兼容性带来的连锁设计。

同一笔兑换的手续费，可以全给做市人，也可以切一部分给协议金库——开关在谁手里、切换影响哪些账，本文把这条费率的账本结构讲透。