1  
2  Tests for the circuits
3  ----------------------
4  
5  Some templates can be tested with [`r1cs-solver`](https://github.com/faulhornlabs/r1cs-solver).
6  
7  We can also test compatibility of conventions by generating a proof from
8  a given piece of data, and checking if it verifies correctly.