ZKR-1016-code-clean-up - Githubissues

quantstamp / halo2-analyzer

SMT 2023 Submission; license pending

52 stars 10 forks source link

Closed FatemehHeidari closed 1 year ago

FatemehHeidari commented 1 year ago

This PR fixed some minor bugs and added documentation for some of the circuits.