AI for Development & Security

Using models to write, review, and audit contracts, and where they fall short.

127 talks

• Hedera X Claude Code - AI Skills for Hackathon Builders
• Bug-Free Solidity Coding Agents
• Don't Review the Code: Formal Specs First Smart Contract Development
• AI security vulnerability scanning in Lighthouse
• Red-Team Your Own AI Pipeline: A Hands-On Prompt-Injection & Supply-Chain Lab
• AI-enabled, chain-validated, one-click visualisation of fund flows
• ETH Evals: testing agents on Ethereum
• AI x Ethereum: where we are now
• Securing Ethereum in the age of AI: Challenges & Opportunities
• Building on Ethereum with agents
• Human + AI Solidity CTF: bring your own agent
• Will AI Break Cryptography?
• AI, Cryptography and Network School
• The Crowdsourced ML Challenge Behind a Stat Arb Vault
• From Vibe-Coded Demos to Production Money
• Ethereum Foundation: Building on Ethereum | Austin Griffith at ETHOnline 2026
• AI Agents Built Their Own Secret Society Inside Hugging Face: Uneasy Money
• Meetup #23 - Monad Bugfinder: Construindo agentes de segurança com IA - Antonio Viggiano
• Why Anthropic's Escaped AI Agents Still Think They're in a Simulation: DEX in the City
• Does an Escaped AI Model Prove No Sandbox Is Safe? - Uneasy Money
• Why an OpenAI Model Hacked Hugging Face to Cheat on Its Own Test - Uneasy Money
• Lean 4 語言體驗心得與軟體的未來
• Are Claude's Max Plans Being '100x Subsidized'? - Uneasy Money
• Using LLM Generated Formal Specs to Prevent the Next DeFi Hack