Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs

这篇论文介绍了安全的区块链内存池设计，能够防御任何形式的非对称驱逐DoS攻击。内存池在区块链系统中扮演着关键的角色，作为待执行和纳入区块之前的缓冲区。然而，现有的研究主要集中在缓解已经确定的现实世界攻击。我们为基于驱逐攻击向量的内存池建立了正式的安全定义。我们提出了一种名为\textsc{saferAd-CP}的安全交易入场算法，通过提供执行驱逐DoS攻击的可证明下限来确保驱逐安全。通过使用真实交易跟踪回放进行评估，\textsc{saferAd-CP}证明了其对任何驱逐攻击具有极低的延迟和显著高的下限，突出了其在保护区块链内存池方面的有效性和鲁棒性。

本论文旨在介绍安全的区块链mempool设计，能够防御任何形式的异构驱逐DoS攻击。并提出了一种名为 extsc{saferAd-CP}的安全交易入场算法，通过在执行驱逐DoS攻击的成本上提供可证明的下限，确保了驱逐安全性。

本文提出了一种新的安全交易入场算法，能够有效保护mempool免受异构驱逐DoS攻击的影响。

本文提出的 extsc{saferAd-CP}算法在实验中表现出了可忽略的延迟和显著的下限，证明了其在保护区块链mempool方面的有效性和鲁棒性。

最近的相关研究包括：1. “A survey of blockchain consensus algorithms”；2. “A survey on security and privacy issues of bitcoin”；3. “Blockchain research: perspectives, challenges, and opportunities”