ZKAEDI PRIME v2: Solidity Vulnerability Auditor

ZKAEDI PRIME v2 is a specialized 7.6 billion parameter language model, fine-tuned for the critical task of auditing Solidity smart contracts. Built upon the robust Qwen2.5-Coder-7B-Instruct architecture, this model has undergone extensive training using Supervised Fine-Tuning (SFT) with NEFTune 5.0 and subsequent Direct Preference Optimization (DPO).

Key Capabilities

• Vulnerability Detection: Identifies 18 specific types of Solidity smart contract vulnerabilities.
• Specialized Training: Leverages a unique training methodology, including recursively coupled Hamiltonian energy scoring, to enhance its auditing precision.
• Performance Metrics: Achieves a Macro F1 score of 0.6816 and an Exact Match score of 0.3750 on its target vulnerability classes.

Good For

• Smart Contract Security Audits: Ideal for developers and security researchers needing to automatically scan Solidity code for known vulnerabilities.
• Pre-deployment Checks: Can be integrated into CI/CD pipelines to catch common security flaws before contract deployment.
• Educational Tool: Useful for understanding common Solidity vulnerability patterns through automated analysis.