Vitalik Buterin Says 90% of Net Worth Rides on Crypto Security

Approfondimenti Chiave

• Vitalik Buterin said roughly 90% of his net worth already places him on the opposite side of an AI-driven crypto crash thesis.
• Le 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.

Buterin instead argued that AI could become an important defensive tool. He believes increasingly capable systems could help developers formally verify whether critical software satisfies clearly defined security requirements.

Vitalik Buterin Challenges AI Security Warnings

The comments follow his disagreement with investor and AI-risk commentator Liron Shapira over Bitcoin’s vulnerability. Shapira claimed AI could undermine Bitcoin’s security and trigger a 50% price decline within two years.

Vitalik Buterin responded by calling for secure, verifiable, open-source technology across software, operating systems, and hardware.

That response placed the emphasis on construction rather than a continuing race to discover vulnerabilities. Buterin acknowledged that defenders could try to identify every weakness before attackers find them.

Nevertheless, he described that approach as riskier than building software with stronger protections from the outset.

He explained his preferred approach by comparing it with mathematical proofs. If AI can prove complex mathematical statements, he argued, it could also prove that complicated programs satisfy security definitions.

The difficulty, he noted, lies partly in determining exactly what those definitions must include.

Defining Security Goes Beyond Protecting Messages

To explain that difficulty, Vitalik Buterin examined Signal and the requirements surrounding encrypted communication.

Keeping message contents unreadable to outsiders refers to only one part of the problem. Developers must also address forged messages, blocked deliveries, application crashes, and attackers who replay previous communications.

The questions then extend to the infrastructure supporting those discussions. Buterin highlighted compromised servers, tampered public-key identifiers, hacked devices, and operating-system bugs that could expose secret keys. He also questioned if messages are reliable when a device is broken ahead of or after delivery.

Other concerns involve databases, programming tools, software libraries, and hardware signals that leak information. Meanwhile, message sizes, sender identities, recipient identities, and precise timestamps can reveal details beyond the contents themselves.

Buterin argued that these considerations make readable, carefully constructed security definitions essential to meaningful verification.

Those definitions can exceed a thousand lines of code, he noted. Even so, he said, reviewing their adequacy often remains more manageable than checking the underlying implementation directly. Better tools could further simplify that work, although he acknowledged that user interfaces may offer less of this advantage.

Ethereum’s Direction Requires Broader Verification

Buterin also explained that a program can satisfy multiple compatible security definitions simultaneously. Combining code offers no equivalent assurance, because a bug in either component can compromise the whole program. When definitions conflict, he said, developers identify an underlying issue that requires closer examination.

That distinction supports his call to expand verification beyond selected sections of code. Earlier efforts sometimes overlooked components that later proved critical, reflecting the historical difficulty and scarcity of verification.

He now advocates checking databases, networking, caching, and every other component of the program, asserting that modern AI can perform this work.

For Ethereum, Vitalik Buterin described comprehensive verification as a direction for the coming years. He connected that work specifically to blockchains pursuing scalability and privacy. His proposed scope also reaches operating systems and hardware, extending the security task beyond blockchain software alone.

L'articolo Vitalik Buterin Says 90% of Net Worth Rides on Crypto Security è apparso per primo su The Coin Republic.