Key Insights

  • Vitalik Buterin said roughly 90% of his net worth already places him on the opposite side of an AI-driven crypto crash thesis.
  • The Ethereum co-founder argues AI could strengthen formal verification rather than only increase hacking capabilities.
  • Buterin wants stronger verification to extend beyond blockchain code into applications, operating systems and hardware.

Vitalik Buterin said roughly 90% of his net worth already gives him substantial exposure to the outcome of the crypto security debate. The Ethereum co-founder made the comment while rejecting a prediction that artificial intelligence could undermine Bitcoin badly enough to trigger a major price collapse.

His comments followed a debate with investor and AI-risk commentator Liron Shapira, who assigned a 50% probability to Bitcoin falling more than 50% within two years because AI could weaken confidence in its security guarantees.

Buterin took the opposite view. He said he remains optimistic about cybersecurity over the longer term and argued that AI can improve defensive capabilities alongside offensive ones.

His broader argument centers on formal verification. Formal verification uses mathematical methods to determine whether software satisfies a defined set of properties. Instead of relying only on developers to search manually for vulnerabilities, engineers first define what a program must or must not do.

Buterin believes AI could make that process easier and more scalable. However, a proof is only as useful as the security definition developers provide. If the specification leaves out an important threat, software can satisfy the proof while remaining vulnerable.

He used secure messaging as an example. Preventing outsiders from reading messages addresses only confidentiality. A complete security model may also require protection against forged messages, replay attacks, blocked delivery, compromised servers, operating-system vulnerabilities and hardware leaks.

Buterin therefore wants verification to extend across a wider technology stack, including applications, operating systems and eventually hardware.

Crypto journalist and market analyst covering digital assets, markets and financial technology.