FIRST:抗抢跑的弹性智能合约
密码学与安全
2025-05-19 v4
摘要
由于加密货币使用的飞速增长,传统金融应用(如借贷、保证金交易等)已广泛适配至加密货币领域。在某些情况下,加密货币固有的透明且不受监管的特性会导致这些应用的用户遭受攻击。其中一种攻击是抢跑(frontrunning),即恶意实体利用用户已提交但尚未处理的金融交易的信息,试图使其自身交易先于这些未处理交易执行。其后果可能包括财务损失、交易不准确,甚至暴露于更多攻击之下。我们提出 FIRST,一个基于可验证延迟函数与聚合签名等密码学协议构建的、可防范抢跑攻击的框架。在我们的设计中,采用联邦式设置来生成 VDF 的公共参数,从而消除了单一可信设置的需求。我们对 FIRST 进行了形式化分析,使用通用可组合(Universal Composability)框架证明其安全性,并通过实验验证了 FIRST 的有效性。
引用
@article{arxiv.2204.00955,
title = {FIRST: FrontrunnIng Resilient Smart ConTracts},
author = {Emrah Sariboz and Gaurav Panwar and Roopa Vishwanathan and Satyajayant Misra},
journal= {arXiv preprint arXiv:2204.00955},
year = {2025}
}
备注
16 pages, 5 figures