1. creating & testing circuits
   1. circuits are tested with nargo
2. generating verifier in solidity, using nargo
3. exporting typescript-functions for generating proofs (they should run on the client)
   1. tests should only that the functions works and returns correct types (using mocha/chai)