Tests for the circuits
----------------------

Some templates can be tested with [`r1cs-solver`](https://github.com/faulhornlabs/r1cs-solver).

We can also test compatibility of conventions by generating a proof from
a given piece of data, and checking if it verifies correctly.