非对称内存池 DoS 安全：形式化定义与可provable安全设计
密码学与安全
2024-07-26 v2
摘要
内存池在区块链系统中作为待执行并包含在区块中的挂起交易的缓冲区起到关键作用。然而，现有工作主要关注针对已识别的现实攻击的缓解防御。本文引入能够抵御任何形式非对称驱逐 DoS 攻击的安全区块链内存池设计。我们在驱逐基础攻击向量下为内存池建立形式化安全定义。我们提出的安全交易准入算法，命名为 \textsc{saferAd-CP}，通过提供执行驱逐 DoS 攻击的可provable 下界，确保驱逐安全。通过使用真实交易轨迹回放进行评估，\textsc{saferAd-CP} 显示出可忽略的延迟和对任何驱逐攻击显著高的下界，凸显了其在保护区块链内存池方面的有效性和稳健性。
引用
@article{arxiv.2407.03543,
title = {Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs},
author = {Wanning Ding and Yibo Wang and Yuzhe Tang},
journal= {arXiv preprint arXiv:2407.03543},
year = {2024}
}