Regain control over your smart contract verification using the language you already know

Developer Workflow

  1. Write your smart contracts in Solidity.
  2. Write your tests in Solidity, JavaScript, and TypeScript.
  3. Run tests for random inputs. Develop property tests and fuzz over them as you go.
  4. Run the same tests for symbolic inputs. This will give you a higher level of guarantee.
  5. Tests pass. Hurray! Tests fail? Contact us.
  6. Ship with confidence.

Learning Resources