Chaintrix achieves 71.7% recall on 120 high-severity vulnerabilities in the EVMbench benchmark and outperforms the strongest frontier-model baseline by 26 percentage points through LLM pipelines grounded in a Cross-Contract Interaction Model and filtered by structural checks.
Empirical review of automated analysis tools on 47,587 ethereum smart contracts
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2roles
background 1polarities
background 1representative citing papers
A controlled comparison of 12 smart contract pairs shows Move reduces security check density by 60% versus Solidity but increases code size by 47%, with developers reporting higher safety confidence in Move despite moderate learning difficulty.
citing papers explorer
-
CHAINTRIX: A multi-pipeline LLM-augmented framework for automated smart-contract security auditing
Chaintrix achieves 71.7% recall on 120 high-severity vulnerabilities in the EVMbench benchmark and outperforms the strongest frontier-model baseline by 26 percentage points through LLM pipelines grounded in a Cross-Contract Interaction Model and filtered by structural checks.
-
Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience
A controlled comparison of 12 smart contract pairs shows Move reduces security check density by 60% versus Solidity but increases code size by 47%, with developers reporting higher safety confidence in Move despite moderate learning difficulty.