AI for Development & Security
Using models to write, review, and audit contracts, and where they fall short.
127 talks
- Quentin Feuillade-Montixi: Why AI Needs Its Own Language | Intelligence at the Frontier 2026
- ZK-Proofs in AI and US Defence? - Ismael Hishon-Rezaizadeh. Ep630
- How Citadel United Crypto Against a Common Villain - DEX in the City
- Prompts Aren’t (Good) Specs: Correctness in the LLM Era
- AI in Bug Reports: When to Use LLMs and When Not To
- Shipping AI-Generated Code That Won't Hurt You (Much)
- AI-Powered Auditing: Hype, Reality, and the Future of Web3 Security
- From Description to Exploit AI Agents for Smarter Audits
- Autonomous Guardians: The Future of Smart Contract Auditing - DeFi Security Summit 2025
- Exploring AI's Frontier in DeFi: From Vulnerability Simulations to Secure Protocol Design
- AI Changing the Security Game
- Intelligence as a Public Good
- Providing Ground Truth for LLM-Based Bug Detection Tools Using Slither MCP
- Enhancing Large Language Models for Smart Contract Security - DeFi Security Summit 2025
- Auditing with Machines: A Practical Exploration of AI-Augmented Security Work
- AI Won’t Replace Auditors, But It Will Replace the Lazy Ones
- Episode 382 - Kevin Lacker on AI-Assisted Theorem Proving and Acorn
- The Next Era of Web3 Security | ETHSofia 2025
- AI in Protocol Security at the Ethereum Foundation, Antoine James | ETHSofia 2025
- How Do We Secure One Trillion Dollars Onchain? | ETHSofia 2025
- Adversarial AI Agents for Web3 Security
- Scaling Smart Contract Security with AI
- Lagrange: ZK-Proving AI Alignment - Ismael Hishon-Rezaizadeh. Ep. 612
- Future of Consumer Crypto with AI