AI × CryptoBullisharXiv – CS AI · 10h ago7/10
🤖
CHAINTRIX: A multi-pipeline LLM-augmented framework for automated smart-contract security auditing
Researchers introduce Chaintrix, an LLM-augmented smart-contract auditing framework that combines AI analysis with deterministic structural verification to reduce false positives. The system achieves 71.7% recall on high-severity vulnerabilities, outperforming existing AI and static analysis tools by 26 percentage points on OpenAI's EVMbench benchmark.
🏢 OpenAI