---

Formal Verification

There is a dire need for more secure methods of smart contract development within the blockchain community.

There have been hundreds of millions of dollars worth of crypto assets lost or stolen due to insecure smart contracts, and there are thousands of smart contracts on the blockchain with known vulnerabilities.

Part of the problem is due to the current state of developer tools and programming languages such as Solidity.

The goal is to make writing secure smart contracts as easy and accessible as possible. One route to this goal is via formal verification.

From Wikipedia, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.

Said another way, it is a way to prove that a program is correct for all inputs. This can ensure that a hacker cannot modify the contract to an unintended state.

Using formal verification, smart contract proofs can be checked by machines. Verification requires specific programming languages and features that are not currently present in the Ethereum ecosystem.

Read more about formal verification as it applies to computer science more generally on Wikipedia: https://en.wikipedia.org/wiki/Formal_verification

https://ethereum.stackexchange.com/questions/11092/what-is-formal-verification-and-why-is-it-important-for-smart-contracts
https://github.com/pirapira/ethereum-formal-verification-overview
https://ethereum.stackexchange.com/questions/11092/what-is-formal-verification-and-why-is-it-important-for-smart-contracts
https://github.com/pirapira/ethereum-formal-verification-overview
https://securify.ch/

---

▶️ DTube
▶️ IPFS