Credible AUctions via MPC Gadgets: Bounding Information Leakage Under Abort
本文研究“可信拍卖”(credible auction) 的设计问题：一个以最大化自身收益为目标的拍卖方，如何被机制本身约束而不偏离协议。当拍卖方可以控制影子出价者(shill bidders) 时，可信性面临根本性的密码学障碍。直观的解决
#mechanism-design
共收录 6 条相关情报。
← 返回所有主题Time Is Money: Incentivized Causal Transaction Ordering
区块链中的抢跑（front-running）是一个持续存在的安全问题。区块链本质上是执行交易（指令）的状态机，用户通过发布有价值的功能性交易来获得奖励。攻击者观察到这些交易后，在其之前发布自己的类似交易，从而抢夺奖励，削弱用户发布功能性交易
Learning Differentially Private Mechanisms.
该论文提出了一种学习差分隐私机制的框架，旨在自动化设计满足差分隐私保护的数据发布机制。传统上，差分隐私机制（如拉普拉斯机制、指数机制）需要人工设计，且针对特定查询或统计量。本文作者将机制设计问题转化为学习问题：给定一组查询和工作负载，通过优
A Trilemma in AMM Mechanism Design
本文研究自动做市商（AMM）机制设计中的三难困境。AMM是区块链上流行的去中心化交易模式，用户通过智能合约直接交易加密资产，但面临抢跑和尾随攻击（即矿工可提取价值MEV）导致的劣质价格。早期工作证明在共识层完全消除MEV不可行，因此近年研究
Proof of Useful Attestation: A Consensus Primitive for Attestation-Native Chains
这篇论文提出了一种名为“有用认证证明”（Proof of Useful Attestation, PoUA）的新型共识原语，旨在解决通用权益证明（PoS）链中对认证工作激励不足的问题。在通用PoS链中，验证者无论是否正确处理认证任务（如内容
Adversarial procurement in blockchains
该论文研究了区块链协议中一种新兴的设计模式：利用执行任务与验证任务之间的计算不对称性（例如，SNARKs 等密码学有效性证明需要证明者耗费大量计算，而验证者只需少量计算）。在这种模式下，协议需要在假名、对抗性环境中高效地征集昂贵任务的执行者