Auspex: Unveiling Inconsistency Bugs of Transaction Fee Mechanism in Blockchain

This archive was built for availability verification of the Artifact Evaluation of Usenix Security 2025. Aupex is our research to detect inconsistency bugs of transaction fee mechanism in blockchain. For more details, please see our Usenix Security 2025 paper (i.e., Auspex: Unveiling Inconsistency Bugs of Transaction Fee Mechanism in Blockchain. In 34rd USENIX Security Symposium) and our repo in https://github.com/hzysvilla/Auxpex_Sec25.