Automated Market Making for Goods with Perishable Utility

我们研究的是效用随时间递减的商品的去中心化市场，其中以计算资源为主要应用场景。近年来在可复现和可验证执行方面的技术进步，使得计算任务能够在异构硬件之间暂停、验证并恢复执行，这使我们将计算资源视为按时间索引的容量，而非定制化的资源包。我们设计了一种自动做市商（AMM）机制，该机制根据负载（即当前需求与“基础供给”——愿意按预设底价提供服务的供应者——之比）的凹函数关系，逐小时发布价格。该机制将价格发现过程与资源分配解耦，从而实现透明且低延迟的交易。我们证明了均衡报价的存在性和唯一性，并给出了均衡具有可行性（即有效供给不小于需求）的条件。为了激励相容，我们结合了溢价共享池机制（基础成本加上同时期盈余的按比例分摊）与“最便宜可行匹配”（CFM）规则；在较温和的假设下，供应方会最优地尽早全额质押，并如实申报其成本。尽管该CFM机制简单且计算高效，但我们证明了其相对于最优基准的最坏情况下的遗憾是有界的。

论文试图解决去中心化市场中时间敏感型商品（以计算资源为代表）的高效定价与分配问题。由于计算资源的效用随时间迅速衰减，传统基于固定捆绑或延迟匹配的机制难以满足低延迟、高透明度的交易需求。该问题在可验证执行技术兴起的背景下变得愈发重要，但尚未有机制能同时实现动态价格发现、激励相容与计算高效性，因此具有新颖性和现实紧迫性。

提出一种基于负载的自动化做市商（AMM）机制，将计算资源建模为时间索引的容量，并通过凹函数形式的小时级价格进行实时价格发现。核心创新在于将价格形成与资源分配解耦：价格仅由负载（需求/基础供给）决定，而分配采用‘最便宜可行匹配’（CFM）规则。结合溢价共享池设计，激励提供者尽早全额质押并真实申报成本，在保持机制简单和计算高效的同时实现近优性能。

理论贡献包括证明均衡报价的存在性、唯一性及可接受性条件；机制在温和假设下诱导诚实行为与完全参与。CFM规则被证明具有相对于最优匹配的有界最坏情况遗憾，表明其鲁棒性。实验部分虽未依赖具体数据集，而是通过博弈论与机制设计分析验证性质，但模型具备实际部署潜力。代码是否开源未提及，但机制结构简洁，易于实现。未来方向包括扩展至多类型异构资源、动态 floor 供给调整以及链上部署的延迟优化。

1. Automated Market Making with Inventory Management 2. Verifiable Delay Functions and Their Use in Fair Exchange 3. Truthful Mechanisms for Dynamic Resource Allocation in Cloud Computing 4. Decentralized Exchanges with Constant Function Market Makers 5. Time-Indexed Resource Allocation in Distributed Systems