chore: Use Bn256/Grumpkin curves by default in lem/store.rs

src/eval/lang.rs

@@ -181,7 +181,7 @@ pub(crate) mod test {
     use crate::sym;
 
     use super::*;
-    use halo2curves::bn256::Fr as Fr;
+    use halo2curves::bn256::Fr;
 
     #[test]
     fn lang() {

src/lem/circuit.rs

@@ -1680,6 +1680,8 @@ impl Func {
         let bit_decomp_cost = match F::FIELD {
             LanguageField::Pallas => 298,
             LanguageField::Vesta => 301,
+            // TODO: investigate how to properly compute this number, as it was obtained empirically
+            LanguageField::BN256 => 354,
             _ => todo!(),
         };
 

src/lem/eval.rs

@@ -1726,7 +1726,7 @@ mod tests {
     };
     use bellpepper_core::{test_cs::TestConstraintSystem, Comparable};
     use expect_test::{expect, Expect};
-    use pasta_curves::pallas::Scalar as Fr;
+    use halo2curves::bn256::Fr;
 
     #[test]
     fn test_counts() {
@@ -1745,8 +1745,8 @@ mod tests {
         expect_eq(func.slots_count.commitment, expect!["1"]);
         expect_eq(func.slots_count.bit_decomp, expect!["3"]);
         expect_eq(cs.num_inputs(), expect!["1"]);
-        expect_eq(cs.aux().len(), expect!["8927"]);
-        expect_eq(cs.num_constraints(), expect!["10857"]);
+        expect_eq(cs.aux().len(), expect!["9095"]);
+        expect_eq(cs.num_constraints(), expect!["11025"]);
         assert_eq!(func.num_constraints(&store), cs.num_constraints());
     }
 }

src/lem/store.rs

@@ -1346,7 +1346,7 @@ impl Ptr {
 #[cfg(test)]
 mod tests {
     use ff::Field;
-    use pasta_curves::pallas::Scalar as Fr;
+    use halo2curves::bn256::Fr;
     use proptest::prelude::*;
 
     use crate::{