Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution

Understand

The rapid advancement of blockchain platforms has significantly accelerated the growth of decentralized applications (DApps).

• Similar to traditional applications, DApps integrate front-end descriptions that showcase their features to attract users, and back-end smart contracts for executing their business logic.
• However, inconsistencies between the features promoted in front-end descriptions and those actually implemented in the contract can confuse users and undermine DApps's trustworthiness.
• In this paper, we first conducted an empirical study to identify seven types of inconsistencies, each exemplified by a real-world DApp.