CryptoCal
AI & Formal Verification for Onchain Finance | Token2049 Singapore
TOKEN2049 [ Singapore ] 26' Presents

AI & Formal Verification for Onchain Finance | Token2049 Singapore

Registration
FREE
Register Now
Date & Time
Oct 6, 2026 • 09:00 – 12:00
Location
Somewhere in Singapore. RSVP to see exact location.

Event Overview

AI & Formal Verification for Onchain FinanceDefending 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

Hosted By

Q
QuillAudits | Web3 Security
Official Event Partner

FAQ

What is this side event?

AI & Formal Verification for Onchain Finance is an invite-only side event during Token2049 Singapore that focuses on defending DeFi, stablecoins, and RWAs against AI-powered attacks through provable security approaches.

When is it?

The event takes place on October 6, 2026, from 09:00 to 12:00.

Where is it?

The venue is somewhere in Singapore; the exact location is shared after RSVP.

Who is organizing/hosting it?

The event is organized by QuillAudits | Web3 Security.

Who is it for?

It is aimed at researchers, founders, and protocol teams shaping the next era of onchain finance.

What is the agenda/about?

The session examines the shift toward provable security as stablecoins mature into payment rails and RWAs bring real-world value onchain, drawing on real exploit investigations and deep security experience across DeFi, stablecoin, and RWA protocols.

Is it free/paid?

The event is free to attend.

How do I register?

Register via the official link: https://lu.ma/craugplf

Where can I find the official registration link?

The official registration link is https://lu.ma/craugplf

Who are the hosts, if known?

The organizer is QuillAudits | Web3 Security; specific individual hosts are not listed.

What main event is this a satellite of?

This side event is a satellite of TOKEN2049 Singapore 2026.

Venue

Somewhere in Singapore. RSVP to see exact location.
Registration
FREE
Register Now

Venue

Somewhere in Singapore. RSVP to see exact location.