PEDDiM: Formal Definitions and Provably Secure Designs for Pre-Execution DoS Defense in Mempools

本文的重点在于提出了一种安全的区块链内存池设计，能够防御任何形式的非对称驱逐DoS攻击。在现有研究中，主要集中于对已经确定的真实世界攻击进行缓解防御。我们为驱逐攻击向量下的内存池建立了形式化的安全定义。我们提出了一个名为\textsc{saferAd-PR}的安全交易接受算法，通过提供执行驱逐DoS攻击的可证明下限来确保驱逐安全。通过对真实交易跟踪重放的评估，\textsc{saferAd-PR}表现出可忽略的延迟和显著的高下限，突显了其在保护区块链内存池方面的有效性和健壮性。

本文旨在提出安全的区块链内存池设计，以防止任何形式的不对称驱逐DoS攻击，并为内存池建立正式的安全定义。

本文提出了一种名为 extsc{saferAd-PR}的安全交易接纳算法，通过提供证明执行驱逐DoS攻击的成本的可证明下界，确保了驱逐安全性。

本文的实验使用真实的交易跟踪回放进行评估， extsc{saferAd-PR}表现出极低的延迟和极高的驱逐攻击下界，突显了其在保护区块链内存池方面的有效性和鲁棒性。

在此领域的相关研究中，已经有一些关于区块链内存池的研究，如《Optimizing Blockchain Transaction Propagation through Delayed Diffusion》和《On the Security and Performance of Proof of Work Blockchains》。