March 2018
Beginner to intermediate
656 pages
20h 9m
English
With the realization of security issues and vulnerabilities in smart contract programming languages, there is now a keen interest in the formal verification and testing of smart contracts before production deployments. For this, various efforts are already underway, including Why3 for Ethereum's Solidity. Hawk is another example that has been developed to allow smart contract confidentiality.
Read now
Unlock full access