business
Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure
The Ethereum co-founder argued that AI-assisted "formal verification" could become one of the most important tools for cybersecurity in a new blog post.
Read full story on CoinDesk → More top storiesAlso covered by
Aggregated and edited by the Scoop newsroom. We surface news from CoinDesk alongside other reporting so you can compare coverage in one place.
Editorial policy · Corrections · About Scoop