Write smart contract specifications using Scribble.
Develop Ethereum Smart Contracts with runtime verification and fuzzing.
Test security properties for Ethereum smart contracts with Fuzzing.
Detect vulnerabilities prior to deployment and avoid costly smart contract rewrites.
Scribble Exercise 1 Vulnerable ERC20
Scribble Exercise 2 Vulnerable ERC721
Scribble Exercise 3 Vulnerable ownable smart contract
This video was sponsored by ConsenSys Software Inc. As per their request, this review presents an honest review based on our assessment of this project.