zkaedi/solidity-prime-v2-merged
ZKAEDI PRIME v2 is a 7.6 billion parameter instruction-tuned model based on Qwen2.5-Coder-7B-Instruct, specifically designed for auditing Solidity smart contracts. It specializes in identifying 18 distinct Solidity vulnerability types, achieving a Macro F1 score of 0.6816 and an Exact Match of 0.3750. This model utilizes recursively coupled Hamiltonian energy scoring to detect vulnerabilities within smart contract code.
Loading preview...
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.