2023-10-25 18:12:26 +02:00

9 lines
280 B
Markdown

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.