arnaucube a8c7ea9808 Add circom test w/ circuit for CircomVerifierProof ...

Add circom test with circuit for CircomVerifierProofs, which allows to
automatically check that the data generated from arbo matches the circom
circuit of a SMTVerifierProof.
Added also GHA workflow to test the circuits with the output of arbo
code.

2021-06-16 09:25:04 +02:00

..

circomtest.yml

Add circom test w/ circuit for CircomVerifierProof

2021-06-16 09:25:04 +02:00

lint.yml

Add TestAddBatchBench

2021-05-20 12:04:54 +02:00

test.yml

Add TestAddBatchBench

2021-05-20 12:04:54 +02:00