search

quantstamp / halo2-analyzer

SMT 2023 Submission; license pending
52 stars 10 forks source link

ZKR-1016-Code-Clean-up-and-fix-minor-bugs #26

Closed FatemehHeidari closed 1 year ago

FatemehHeidari commented 1 year ago

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