AI & Formal Verification for Onchain Finance

AI & Formal Verification for Onchain Finance Defending DeFi, stablecoins and RWAs in the age of AI-powered attacks. A focused, invite-only gathering for the researchers, founders, and protocol teams shaping the next era of onchain finance, at a moment when attackers have started turning to AI and defense must move from "tested" to "proven." This session examines a shift already underway. As stablecoins mature into payment rails and RWAs bring real-world value onchain, the value at stake has surged, while AI is making attacks faster, cheaper, and harder to anticipate. Drawing on real exploit investigations and deep security experience across DeFi, stablecoin, and RWA protocols, the conversation centers on what provable security actually looks like when the threat itself becomes intelligent. Rather than a one-way panel, this is built for genuine exchange among people solving the same problems. Discussions are structured, candid, and grounded in real systems, giving technical and business leaders room to challenge assumptions, compare defensive approaches, and engage directly with leading researchers and peers navigating the same frontier. What to Expect Honest discussion on how AI is reshaping both attack and defence across onchain finance. Deep dives into recent exploits, failure modes, and the patterns behind them. A practical look at formal verification, and why provable security is becoming the standard for stablecoins, RWAs, and institutional-grade protocols. Who Should Attend Founders • CTOs • Stablecoin & RWA Teams • Protocol Architects • Security Researchers • Auditors • Institutional & DeFi Builders 📆 Location: Singapore (private venue shared with approved attendees) Each invitation is personally confirmed. Seats are extremely limited, and you must confirm.