绝大多数时间里，自动做市池子的库存维护是不需要人管的：每笔交换在转账之后都会顺手更新储备字段，账面和钱箱自动保持一致。但池子合约里还躺着两个平时门可罗雀的公开函数，源码里的注释短得可怜——一个的作用是把账面储备强制改成与真实余额一致，另一个的作用是把真实余额超出账面的多余部分转给任何指定的地址。它们像一对镜像：sync 让账追钱，skim 把钱从账里捞走。理解这对函数，等于理解了池子的两本账为什么会分开，以及分开之后钱会归谁。
两本账的分家是理解的前提。池子合约有两样东西：一是记账字段，所谓储备值，报价函数与价格累计都以它为原料；二是池子地址上代币合约的真实余额，任何人都能用查询函数看到。正常交换把两者一起推进，但在交换之外，余额还有很多独立变动的入口：往池子地址直接打一笔转账，不会触发任何记账动作；带转账税的代币在进池路上被扣掉一截，申报数与实收数从此有了缝；空投、协议升级的遗留、烧币机制的副作用，也都可能让余额与账面各走各的。
sync 处理的就是这种缝隙：调用它，储备字段被改写为当前真实余额。改写意味着它同时改变两个后果——下一笔交易的报价原料变了，价格累计字段的步进也变了，连依赖池子历史的价格读数都会因此跳格。谁都可以调用它，而调用动机未必相同：做维护的人用它让账面恢复真实，想操纵短期报价的人也可能利用它，让被转账虚增的余额即刻生效进价格。判断一次 sync 调用是维护还是操纵，看它前后区块的余额来源即可：有一笔外部转账垫在前面，账面对齐只是承认事实；没有来源而账面突然跳变，才值得警惕。
skim 处理的是另一侧：余额比账面多出来的那部分，被任何先到先得的调用者转走。它没有身份门槛，也不给原主留位置——你把币错打进池子地址，理论上你自己就是那个最该调用 skim 的人，慢一步就会被陌生人顺手牵走。这个设计把多出来钱的法律真空直接交给执行顺序解决，也从侧面解释了一条操作纪律：不要把代币直接转账进池子地址，它既不建仓也不记账，多出来的部分对全网公开可取。
对带转账税一类资产，这对函数还有一层更深的作用。这类池子的合法性校验用的是调整后的余额比较，而非申报的转账数，转账税在途中造成的实收差被这个设计天然吸收；但累计下来仍可能出现账面与余额的小偏差，sync 提供了合法的校正通道，skim 则保证校正之前多余的残值有明确的去处。两条通道合起来，池子的库存哲学很清楚：账本可以错，钱不能无主；错了就对齐，多了就认领。
把视角从用户抬升到协议集成者，这对函数还提供一条更普适的设计教训：任何同时持有账面库存与真实余额的系统，都必须回答账实不符时谁优先。链下基金用每日对账与托管行结构回答，池子合约用一对互相强制对齐的公开函数回答；前者靠制度与流程，后者靠先到先得与可观测性，没有哪套更高级，但两套都必须存在。评测一个 DeFi 协议的记账成熟度，账实对齐机制是比审计横幅更硬的证据：有没有对齐函数、调用是否发事件、历史调用记录是否异常密集，三问下来，合约工程的好味道一眼可辨。这也是读源码的实用价值所在——注释越短的地方，往往埋着越深的系统假设。
普通用户从这对函数里应该带走四条清单。第一，看到交易列表里出现 sync 调用，去查前一笔余额变动的来源，而不是慌；第二，任何误转进池子地址的资产，第一反应是用 skim 自己追回，动作要快，追回地址填自己；第三，读薄流动性池子的报价时，把账面储备与真实余额两个数都拉出来看一眼，两者的差值大小就是这口池子维护质量的体检指标；第四，评估依赖池子价格做结算的协议时，确认它用的是累计历史还是即时储备，前者受 sync 类校正的影响方式完全不同。两个小函数背后是链上资产的一堂课：分清账上的钱与真实的钱，是所有 DeFi 读账的基本功。本文涉及的合约行为以开源实现为据，不构成投资建议。
发表评论
还没有评论，来说两句吧。
评论区为展示样式，提交不会被处理。