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 debugger and symbolic execution engine
  • klab: K framework proof explorer & smart contract specification format
  • act: Smart contract specification language and verification toolkit

Formal Verification