dapp.org is a research and development collective focused on safety and correctness in smart contract development.

If you are interested in working together, contact us at: fv@dapp.org.uk.

Projects we've been involved with in the past include:

Smart contract development

  • sai: single collateral dai
  • dss: multi collateral dai
  • dappsys: smart contract library


  • dapp: smart contract project management
  • seth: command line ethereum client
  • hevm: evm debuggger and symbolic execution engine
  • klab: K framework proof explorer & smart contract specification format

Formal Verification