基于 saferAd 定义并防御以太坊中的非对称内存池拒绝服务攻击
密码学与安全
2024-07-17 v5
摘要
本文提出了非对称 DoS 攻击下的安全内存池设计。我们在两种抽象 DoS（即基于驱逐与基于锁定的攻击）下形式化了安全性定义。我们提出了一种用于保护内存池的安全交易准入框架，名为 saferAd，其同时实现了驱逐安全与锁定安全。所证明的安全性源于锁定 DoS 下攻击破坏的上界以及驱逐 DoS 下攻击成本的下界。通过重放真实交易轨迹的评估表明，saferAd 带来的延迟可忽略不计，或对验证者收益的影响不显著。
引用
@article{arxiv.2309.11721,
title = {Defining and Preventing Asymmetric Mempool DoS in Ethereum with saferAd},
author = {Wanning Ding and Yibo Wang and Yuzhe Tang},
journal= {arXiv preprint arXiv:2309.11721},
year = {2024}
}
备注
The definitions of mempool eviction security and locking security are not comprehensive. The security model lacks a proof and verification of the security bounds on a real Ethereum client