mirror of
https://github.com/vocdoni/arbo.git
synced 2026-04-19 03:00:16 -04:00
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.