GitHub - costa-group/ZK-ARCKIT

Name		Name	Last commit message	Last commit date
Latest commit History 652 Commits
clustering_and_equivalence (stage 1)		clustering_and_equivalence (stage 1)
simplification (stage 2)		simplification (stage 2)
transformation (stage 2)		transformation (stage 2)
verification (stage 3)		verification (stage 3)
.gitignore		.gitignore
README.md		README.md
acir_circuits.zip		acir_circuits.zip