On Monday, Ethereum (ETH-USD) co-founder Vitalik Buterin shared a new plan to protect digital money from online thieves. He believes developers can use artificial intelligence to run math tests that ensure software works perfectly.
Buterin Explains Mathematical Verification
In a new online post, Buterin talked about a method called formal verification. This process uses computers to run math proofs to show that software acts exactly the way it should. This idea has existed for decades, but new tech tools finally make it easy to use.
Right now, hackers find flaws in smart contracts to steal millions of dollars from crypto apps. Buterin thinks math-checked code will stop these thefts.
Buterin Targets Catastrophic Glitches
The Ethereum co-founder wants to protect his own network and other important digital systems. He noted that bugs in computer code are scary, especially when software controls permanent digital assets. Some experts worry that automated tools will create messy code that humans cannot trust. However, Buterin remains hopeful. He expects smart defense tools to find and fix security flaws before criminals can exploit them.
The tech leader clarified that these math tools cannot solve every single problem. Even perfect math code can fail if humans make wrong assumptions or ignore physical hardware flaws.
Right now, automated programs let people write lots of code very fast, which leads to sloppy work. Buterin expects that mixing this fast writing with strict math checks will create a very safe future for digital networks.
At the time of writing, Ethereum’s price sits at $2,110.17.
