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 defense 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: New York City (private venue shared with approved attendees)
Each invitation is personally confirmed.
Seats are extremely limited, and confirmation is required.