HKT-SmartAudit: Distilling Lightweight Models for Smart Contract Auditing

Summary

HKT-SmartAudit is a framework for building lightweight models for smart contract auditing. It uses a multi-stage knowledge distillation pipeline, combining classical distillation, external domain knowledge and reward-guided learning, to transfer insights from large teacher models into compact student models. The source reports that the distilled models outperform commercial tools and larger models at detecting complex vulnerabilities and logical flaws.