Bankless cover image

AI Finds 70% of Smart Contract Exploits | Alpin Yukseloglu

Bankless

00:00

AI and formal verification

Alpin explains AI-powered formal verification's potential and limits, and why formally verified software will gain preference.

Play episode from 55:40
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app