clippy

src/assignment_map.rs

@@ -4,8 +4,7 @@ use crate::constraint_builder::{
 use halo2_proofs::{
     arithmetic::FieldExt,
     circuit::{Region, Value},
-    halo2curves::bn256::Fr,
-    plonk::{Challenge, ConstraintSystem, Error, Expression, VirtualCells},
+    plonk::Error,
 };
 use rayon::prelude::*;
 use std::collections::HashMap;
@@ -79,7 +78,8 @@ impl<F: FieldExt> AssignmentMap<F> {
                     Column::SecondPhaseAdvice(s) => {
                         region.assign_advice(|| "second phase advice", s.0, offset, || value)
                     }
-                };
+                }
+                .unwrap();
             }
             Ok(())
         }]

src/gadgets/byte_bit.rs

@@ -3,7 +3,7 @@ use crate::assignment_map::Column;
 use halo2_proofs::{
     arithmetic::FieldExt,
     circuit::{Region, Value},
-    plonk::{ConstraintSystem, Error},
+    plonk::ConstraintSystem,
 };
 use rayon::prelude::*;
 
@@ -42,7 +42,8 @@ impl ByteBitGadget {
             match column {
                 Column::Fixed(s) => region.assign_fixed(|| "fixed", s.0, offset, || value),
                 _ => unreachable!(),
-            };
+            }
+            .unwrap();
         }
     }
 

src/gadgets/byte_representation.rs

@@ -117,7 +117,8 @@ impl ByteRepresentationConfig {
                     region.assign_advice(|| "second phase advice", s.0, offset, || value)
                 }
                 _ => unreachable!(),
-            };
+            }
+            .unwrap();
         }
     }
 

src/gadgets/canonical_representation.rs

@@ -148,7 +148,8 @@ impl CanonicalRepresentationConfig {
                 Column::SecondPhaseAdvice(s) => {
                     region.assign_advice(|| "second phase advice", s.0, offset, || value)
                 }
-            };
+            }
+            .unwrap();
         }
     }
 

src/gadgets/key_bit.rs

@@ -97,7 +97,9 @@ impl KeyBitConfig {
         let assignments: Vec<_> = self.assignments(lookups).collect();
         for ((column, offset), value) in assignments.into_iter() {
             match column {
-                Column::Advice(s) => region.assign_advice(|| "advice", s.0, offset, || value),
+                Column::Advice(s) => region
+                    .assign_advice(|| "advice", s.0, offset, || value)
+                    .unwrap(),
                 _ => unreachable!(),
             };
         }

src/mpt.rs

@@ -158,7 +158,7 @@ impl MptCircuitConfig {
 
                 Ok(())
             },
-        );
+        )?;
 
         let mut keys = mpt_update_keys(proofs);
         keys.sort();