CHAINTRIX: LLM-augmented framework for smart-contract security auditing

Exploits in smart contracts have resulted in cumulative losses amounting to billions of USD, yet the auditing process remains both costly and time-consuming. To address this issue, automated tools have been developed, each with distinct failure characteristics. Static analyzers often yield findings that struggle with manual verification, while large language models (LLMs) may produce inaccurate results that contradict the original code. To tackle these challenges, the authors present Chaintrix, a comprehensive auditing framework that mandates that every claim generated by LLMs must be validated against a deterministic structural representation of the contract. They introduce a Cross-Contract Interaction Model (CCIM) that translates Solidity into a structured overview of function-level interactions, which supports all 12 deterministic signal engines and parallel LLM audit processes, along with a staged false-positive reduction pipeline.