Skip to content

Make the IR1CS optimizer more aggressive#188

Merged
alex-ozdemir merged 1 commit intocircify:masterfrom alex-ozdemir:ir1cs-optApr 17, 2024

Commits

Commits on Apr 17, 2024