[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-ai-auditor-knowdit-finds-defi-bugs-humans-miss":10,"sections":34},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":24,"tags":25,"sources":29,"feedback":33,"feedback_at":22,"cost_usd":33,"total_tokens":33},3348,"ai-auditor-knowdit-finds-defi-bugs-humans-miss","AI Auditor Knowdit Finds DeFi Bugs Humans Miss","A new agentic system built on historical audit reports caught every high-severity vulnerability in a benchmark of 11 DeFi projects — with zero false positives.","An AI system called Knowdit is finding real security holes in DeFi smart contracts that human auditors hadn't caught.\n\nResearchers built Knowdit around a knowledge graph constructed from past human audit reports, mapping recurring vulnerability patterns to the underlying economic mechanics — what the team calls \"DeFi semantics\" — that make decentralized finance protocols tick. When pointed at a new project, a multi-agent pipeline runs an iterative loop: generate a specification, synthesize a proof-of-concept exploit, execute it, and reflect on the result. Tested against 11 recent Code4rena audit competitions covering 84 known vulnerabilities, Knowdit caught all 21 high-severity issues and 90% of medium-severity ones, with no false positives, fully covering eight of the eleven projects. Applied to seven live projects, it surfaced 9 previously unknown high-severity and 36 medium-severity vulnerabilities.\n\nThe result matters because smart contract auditing is expensive, slow, and incomplete — and the stakes are measured in protocol treasuries, not just code quality. By learning from the accumulated record of human audit work rather than starting from scratch, Knowdit represents a different approach than pure static analysis tools: it imports domain knowledge, not just pattern matching.\n\nThe obvious caveat is that benchmark performance and real-world deployment are different things — Code4rena contests attract competitive auditors and well-scoped codebases. Still, 9 novel high-severity finds across live projects is a harder result to wave away.","[\"smart-contracts\",\"defi\",\"security\",\"ai\"]","2026-07-02T04:00:00.000Z","2026-07-02T07:52:13.761Z","2026-07-02T07:52:16.744Z","published",null,[],"security",[26,27,24,28],"smart-contracts","defi","ai",[30],{"name":31,"url":32},"arXiv cs.AI","https:\u002F\u002Farxiv.org\u002Fabs\u002F2603.26270",0,{"sections":35},[36,40,44,49,54,59,64,69,74,79,84,88,93,98],{"name":37,"slug":28,"count":38,"latest_published_at":39},"AI",2590,"2026-07-16T04:00:00.000Z",{"name":41,"slug":24,"count":42,"latest_published_at":43},"Security",294,"2026-07-15T19:59:48.000Z",{"name":45,"slug":46,"count":47,"latest_published_at":48},"Deals","deals",179,"2026-06-29T20:02:07.000Z",{"name":50,"slug":51,"count":52,"latest_published_at":53},"Policy","policy",158,"2026-07-16T00:02:48.000Z",{"name":55,"slug":56,"count":57,"latest_published_at":58},"Hardware","hardware",122,"2026-07-14T19:46:26.000Z",{"name":60,"slug":61,"count":62,"latest_published_at":63},"Consumer Tech","consumer-tech",93,"2026-07-13T13:20:48.000Z",{"name":65,"slug":66,"count":67,"latest_published_at":68},"Software","software",70,"2026-07-13T19:52:25.000Z",{"name":70,"slug":71,"count":72,"latest_published_at":73},"Science","science",66,"2026-07-10T10:29:37.000Z",{"name":75,"slug":76,"count":77,"latest_published_at":78},"Dev Tools","dev-tools",59,"2026-07-07T04:00:00.000Z",{"name":80,"slug":81,"count":82,"latest_published_at":83},"Gaming","gaming",41,"2026-07-09T04:00:00.000Z",{"name":85,"slug":86,"count":82,"latest_published_at":87},"Startups","startups","2026-06-29T20:55:50.000Z",{"name":89,"slug":90,"count":91,"latest_published_at":92},"General","general",29,"2026-07-10T22:28:58.000Z",{"name":94,"slug":95,"count":96,"latest_published_at":97},"Reviews","reviews",20,"2026-06-24T12:00:01.000Z",{"name":99,"slug":100,"count":101,"latest_published_at":102},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]