Abusing the Ethereum Smart Contract Verification Services for Fun and Profit
Pengxiang Ma, Ningyu He, Yuhua Huang, Haoyu Wang, Xiapu Luo

TL;DR
This paper conducts the first comprehensive security analysis of Ethereum smart contract verification services, revealing multiple vulnerabilities that can be exploited to spread malicious contracts and facilitate scams.
Contribution
It identifies eight types of verification vulnerabilities, proposes detection and exploitation methods, and uncovers 19 exploitable flaws in popular services.
Findings
All studied services can be exploited to spread malicious contracts.
Researchers discovered 19 vulnerabilities in verification services.
Verification services are vulnerable to abuse for scams.
Abstract
Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds of security issues in smart contracts, the smart contract verification is urgently needed, which is the process of matching a smart contract's source code to its on-chain bytecode for gaining mutual trust between smart contract developers and users. Although smart contract verification services are embedded in both popular Ethereum browsers (e.g., Etherscan and Blockscout) and official platforms (i.e., Sourcify), and gain great popularity in the ecosystem, their security and trustworthiness remain unclear. To fill the void, we present the first comprehensive security analysis of smart contract verification services in the wild. By diving into the detailed workflow of existing verifiers, we have summarized the key security properties that should be met, and observed eight types of vulnerabilities…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Malware Detection Techniques · Web Application Security Vulnerabilities · Security and Verification in Computing
