zk: CI fix - implement missing Params

src/zk/gadget/arithmetic.rs

@@ -227,6 +227,7 @@ mod tests {
     impl Circuit<pallas::Base> for ArithCircuit {
         type Config = ArithCircuitConfig;
         type FloorPlanner = floor_planner::V1;
+        type Params = ();
 
         fn without_witnesses(&self) -> Self {
             Self::default()

src/zk/gadget/less_than.rs

@@ -269,6 +269,7 @@ mod tests {
                 type Config =
                     (LessThanConfig<$window_size, $num_bits, $num_windows>, Column<Advice>);
                 type FloorPlanner = floor_planner::V1;
+                type Params = ();
 
                 fn without_witnesses(&self) -> Self {
                     Self { a: Value::unknown(), b: Value::unknown() }

src/zk/gadget/native_range_check.rs

@@ -239,6 +239,7 @@ mod tests {
                 type Config =
                     (NativeRangeCheckConfig<$window_size, $num_bits, $num_windows>, Column<Advice>);
                 type FloorPlanner = floor_planner::V1;
+                type Params = ();
 
                 fn without_witnesses(&self) -> Self {
                     Self::default()

src/zk/gadget/small_range_check.rs

@@ -117,6 +117,7 @@ mod tests {
     impl Circuit<pallas::Base> for SmallRangeCircuit {
         type Config = (SmallRangeCheckConfig, Column<Advice>);
         type FloorPlanner = floor_planner::V1;
+        type Params = ();
 
         fn without_witnesses(&self) -> Self {
             Self::default()

src/zk/gadget/zero_cond.rs

@@ -135,6 +135,7 @@ mod tests {
     impl Circuit<Fp> for MyCircuit {
         type Config = (ZeroCondConfig<Fp>, [Column<Advice>; 5], Column<Instance>);
         type FloorPlanner = V1;
+        type Params = ();
 
         fn without_witnesses(&self) -> Self {
             Self::default()