Scaling Smart Contract Security with AI
summary
Claims that AI-driven automation cuts static scanner noise, citing a 82% reduction in false positives after training on 100K+ audit reports and 1M+ labeled vulnerabilities. Demonstrates the Sept 2022 ShadowFi token burn exploit where rule-based scanners miss custom RBAC and public burn functions, then shows a deployed multi-agent master/slave model that embeds an “AI auditor” into CI/CD for real-time detection; current system is static analysis with plans for formal verification and AI-generated fuzzing.
AI-written summary · about
chapters (22)
- 0:00Start
- 0:02Introduction & context: AI + blockchain security
- 0:27Shashank’s background in cybersecurity (Apple, Google, Facebook)
- 0:59Web3 security challenges: hacks & financial losses
- 1:28Birth of SolidityScan: AI-powered contract analysis
- 2:00Why automation is needed: billions lost, manual audits can’t scale
- 2:45CI/CD security comparison to Web2
- 3:09Rule-based scanning limitations → need for AI
- 3:27Case study: ShadowFi token hack (Sept 2022)
- 4:10Transaction analysis: token burn exploit explained
- 5:21Access control vulnerabilities as #1 cause
- 5:44How missing modifiers caused the exploit
- 6:08Why rule-based systems fail to catch custom RBAC patterns
- 6:59Example: false positives in static scanning
- 7:32Using AI to understand code context & access logic
- 8:05Results: 82% reduction in false positives
- 8:57Multi-agent AI: master/slave setup & specialized agents
- 9:30Dataset: 100K+ audit reports, 1M+ vulnerabilities
- 10:01How the AI auditor works in developer pipelines
- 10:25Audience Q&A: context limits, hallucinations, AI-guided algorithms
- 11:50Future plans: formal verification & AI-generated fuzzing tests
- 12:10Static analysis today, dynamic verification next
related talks
14mAI for Web3 Security: Real-World Use Cases — Dr. Stefan Beyer
20mSecurity, and AI... so happy together?
15mWhy Smart Contract Audit is Not Enough
44mTL;DR: Applying AI to Security
30mSmart-Contract Security 201: Auditing Lessons for Solana Founders
22mThe AI Accountability Mandate: Securing the Software Supply Chain
43mThe State of AppSec in the Era of AI [Panel]
18mCommit Secure AI: Embedding Security in Code, Pipelines, and Production
