quantstamp / halo2-analyzer

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

ZKR-2968-Clean-Up-Feature-Flags #31

Closed FatemehHeidari closed 9 months ago

FatemehHeidari commented 9 months ago

Moved all halo2_proof imports with any feature flags into halo2_proofs_libs.

Removed some sample circuits that were duplicated between pse and Zcash.