Smart Contract Vulnerability Detection using Prompt Engineering with Reasoning Models

RESEARCH CREW
13:21 03/07/2025

The increasing number of smart contracts has gained significant attention to the urgency of robust and scalable vulnerability detection techniques to mitigate substantial financial risks associated with their immutable nature on blockchain platforms. This paper introduces structured reasoning prompts using agent-role chaining for vulnerability detection without fine-tuning that utilizes model capacity to enhance smart contract vulnerability detection through zero-shot and structured prompting engineering. By carefully defining agent roles and embedding explicit reasoning steps within structured prompts for large language models (LLMs), the proposed method exploits the inherent reasoning capabilities of LLM to identify security flaws of smart contracts without extensive model retraining. Experimental results demonstrate the effectiveness of the system in achieving competitive performance compared to existing vulnerability detection techniques, highlighting the potential of prompt engineering as an efficient and adaptable strategy for bolstering smart contract security.

TIN LIÊN QUAN
To keep pace with the rapid advancements in both the quality and complexity of malware, recent research has extensively employed machine learning (ML) and deep learning (DL) models to detect malicious software, particularly in the widely used Windows system. Despite demonstrating promising accuracy in identifying malware, these models remain vulnerable...
Malware continues to evolve, exposing weaknesses in conventional detectors and motivating realistic adversarial evaluations. Prior RL-based evasion methods often rely on partial model access or feature-level perturbations, limiting realism under strict black-box constraints. We propose xPriMES, a dual-environment reinforcement learning framework that generates functionality-preserving binary mutations for malware evasion in...
Android malware detection by using graph optimization of static features based on pre-trained language models