background

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

Using Foundry to Explore Upgradeable ContractsIn Solidity Specification, Testing, and VerificationTackling Rounding Errors with Precision AnalysisFormal Methods for the Working DeFi DevSecurity: Auditing and Formal MethodsTowards Adoption of Symbolic Execution for DeFi Security