jj mul improve verify performance removing alloc-input from conditionally_select

lisp/examples/mint2.lisp

@@ -128,8 +128,8 @@
             `(def! ~u (alloc ~u ~val1))
             `(def! ~v (alloc ~v ~val2))
             `(def! ~condition (alloc ~condition ~val3))
-            `(def! ~u-prime (alloc-input ~u-prime (* ~u ~condition)))
-            `(def! ~v-prime (alloc-input ~v-prime (* ~v ~condition)))
+            `(def! ~u-prime (alloc ~u-prime (* ~u ~condition)))
+            `(def! ~v-prime (alloc ~v-prime (* ~v ~condition)))
             `(enforce
                 (scalar::one ~u)
                 (scalar::one ~condition)

lisp/types.rs

@@ -72,7 +72,7 @@ impl Circuit<bls12_381::Scalar> for LispCircuit {
     ) -> Result<(), SynthesisError> {
         let mut variables: HashMap<String, Variable> = HashMap::default();
         let params_const = self.params;
-        
+
         let circuitTime = Instant::now();
         let start = Instant::now();
         // println!("Allocations\n");
@@ -122,7 +122,7 @@ impl Circuit<bls12_381::Scalar> for LispCircuit {
         println!("circuit alloc input \t {:?}", start.elapsed());        
         let start = Instant::now();
         let mut enforce_sorted = self.constraints.clone();
-        enforce_sorted.sort_by(|a, b| a.idx.cmp(&b.idx));
+        // enforce_sorted.sort_by(|a, b| a.idx.cmp(&b.idx));
         for alloc_value in enforce_sorted.iter() {
             // println!("Enforce -> {:?}", alloc_value);
             let coeff = bls12_381::Scalar::one();