Securing AI-Assisted DeFi Development with Formal Verification

Name: Securing AI-Assisted DeFi Development with Formal Verification
Uploaded: 2025-07-02T12:35:00.000Z
Description: AI tools can generate or optimize smart contracts, but often introduce subtle bugs. This talk explores how formal verification can be used to validate AI output, catch edge cases, and guide models toward safer and more reliable code.

AI tools can generate or optimize smart contracts, but often introduce subtle bugs. This talk explores how formal verification can be used to validate AI output, catch edge cases, and guide models toward safer and more reliable code.

Speaker

Mooly Sagiv

Event

EthCC[8]

Date

July 2, 2025