Re:Critical Update on DAO Vulnerability
by fmap on Saturday June 18, 2016 @06:43AM
(#11927887)
If there are ever more compelling use cases for smart contracts this will create a market for smart contract validation or development.
Interactive theorem proving is already at the level that verifying something like the DAO (a few hundred lines of code!) isn't too complicated. By the time smart contracts become relevant we'll probably have all the tools in place to make this an industry instead of a research project.
Interactive theorem proving is already at the level that verifying something like the DAO (a few hundred lines of code!) isn't too complicated. By the time smart contracts become relevant we'll probably have all the tools in place to make this an industry instead of a research project.