USENIX Security '25 Artifact: Available Attestation: Towards a Reorg-Resilient Solution for Ethereum Proof-of-Stake

We present available attestation, a provable reorg-resilient solution for Ethereum Proof-of-Stake. In this work, we show that the majority of the known attacks on Ethereum PoS are some form of reorganization attacks. In practice, most of these attacks can be launched even if the network is synchronous (there exists a known upper bound for message transmission and processing). Different from existing studies that mitigate the attacks in an ad-hoc way, we take a systematic approach and provide an elegant yet efficient solution to reorganization attacks. We implement the vanilla protocol and modified protocol in our artifact and evaluate the effect and reorg-resilient of the modified protocol on a local-built testnet with 16,384 clients. The results match our theoretical analysis. This artifact aims to
reproduce the results in Section 8 of our paper. 

The artifact is the implementation of our modified protocol and the vanilla protocol. All the scripts, container images, source codes are contained within the zip package. The scripts run three experiments that reproduce our results in Section 8. For details descriptions, please follow the README.md in the package.