Skip to content
Guidelines and training material to write secure smart contracts
Solidity Python Shell
Branch: master
Clone or download

Latest commit

Latest commit fcc8885 Mar 31, 2020

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.github/workflows First commit Jan 10, 2020
development-guidelines grammar Mar 26, 2020
program-analysis Update README.md Mar 31, 2020
.gitattributes
LICENSE First commit Jan 10, 2020
README.md Added CI badge Mar 31, 2020

README.md

Building Secure Smart Contracts

Follow our guidelines and best practices to write secure smart contracts.

Table of contents:

  • Development Guidelines: List of best practices
  • Program analysis: How to use automated tools to secure contracts
    • Slither: a static analyzer avaialable through a CLI and scriptable interface.
    • Echidna: a fuzzer that will check your contract's properties.
    • Manticore: a symbolic execution engine that can prove the correctness properties.

For each tool, this training material will provide:

  • a theoretical introduction, a walkthrough of its API, and a set of exercises.
  • exercises expected to require ~two hours to practically learn its operation.
You can’t perform that action at this time.