PROMFUZZ is a novel system that combines LLMs with bug-oriented analysis to find critical functional bugs in smart contracts that other tools miss.

• Addresses the 80% of exploitable bugs that current tools fail to detect
• Bridges the gap between high-level business logic and low-level code verification
• Leverages LLMs to understand contract context and generate targeted test cases
• Significantly improves security of blockchain transactions and financial operations

This research matters because it protects blockchain ecosystems from substantial monetary losses by identifying vulnerabilities before deployment, ensuring greater trust and stability in decentralized applications.

Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis