mourningdove/zk-auditor
The mourningdove/zk-auditor is a LoRA fine-tune of the Qwen2.5-Coder-1.5B-Instruct model, developed by mourningdove. This 1.5 billion parameter model is specifically specialized in identifying insufficient constraints within ZK proof circuits, particularly those written in Circom. It is designed for initial security audits, educational purposes, and as a research baseline for ZK security tooling.
Loading preview...
ZK Constraint Auditor v0.1
The mourningdove/zk-auditor is a specialized LoRA fine-tune of the Qwen2.5-Coder-1.5B-Instruct model, developed by mourningdove. This 1.5 billion parameter model is engineered to identify insufficient constraints in Zero-Knowledge (ZK) proof circuits, with a particular focus on Circom. It was fine-tuned using the MLX framework on a dataset derived from the mourningdove007/zk-constraint-data GitHub repository.
Key Capabilities & Training Details
- Specialized Auditing: Primarily designed for detecting constraint insufficiency in ZK proof circuits.
- Base Model: Built upon
Qwen2.5-Coder-1.5B-Instruct, a smaller model chosen to clearly demonstrate the impact of fine-tuning as more data is added. - LoRA Fine-tuning: Utilizes LoRA with 8 layers, trained on 124 examples with 25 validation examples over 175 iterations.
- Early Stage: As a
v0.1release, the model is in its early stages, and its current performance may miss potential issues due to the limited training data.
Intended Use Cases
- First-pass Triage: Ideal for initial security assessments of Circom circuits.
- Educational Tool: Useful for learning and understanding common patterns of constraint insufficiency in ZK proofs.
- Research Baseline: Serves as a foundational model for further research and development in ZK security tooling.