mirror of
https://github.com/arnaucube/arbo.git
synced 2026-01-10 16:01:27 +01: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.
4 lines
43 B
Plaintext
4 lines
43 B
Plaintext
node_modules
|
|
dist
|
|
go-data-generator/*.json
|