Replace manual qm31_ops in the circuit verifier with AIR-generated - #607
Open
dancarmoz wants to merge 1 commit into
Open
Replace manual qm31_ops in the circuit verifier with AIR-generated#607dancarmoz wants to merge 1 commit into
dancarmoz wants to merge 1 commit into