2 Commits

Author	SHA1	Message	Date
arnaucube	2514b3188f	Update db usage to new dvote.db interface version	2021-08-06 18:41:13 +02:00
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