Improve Smart Contract #security by Formal Proofs
▻https://hackernoon.com/improve-smart-contract-security-by-formal-proofs-c0b377288e2e?source=rss
Photo by Roman Mager on UnsplashVulnerabilities in smart contracts are threatening blockchain projects, developers and investors for a long time. A growing number of security teams are putting efforts in this field with various approaches to secure contracts. SECBIT Labs proposes combining the formal proofs with the traditional test and security audit. In this article, we take the ERC20 formal proof in our GitHub repository tokenlibs-with-proofs as an example to show the use of formal proofs on smart contracts. We hope the formal proofs can help to eliminate buggy contracts, and secure all aspects of smart contracts including design logic, implementation, economic system, etc.What is Formal ProofFormal proof is a concept under formal verification, which is defined on Wikipedia asIn the (...)
#smart-contract-security #formal-proofs #smart-contracts #ethereum