Make new prover methods work with multi-instance

privacy-scaling-explorations · Dec 15, 2023 · 50e7354 · 50e7354
1 parent 1b35fab
commit 50e7354
Show file tree

Hide file tree

Showing 2 changed files with 332 additions and 249 deletions.
diff --git a/halo2_proofs/src/plonk/error.rs b/halo2_proofs/src/plonk/error.rs
@@ -39,6 +39,8 @@ pub enum Error {
     ColumnNotInPermutation(Column<Any>),
     /// An error relating to a lookup table.
     TableError(TableError),
+    /// Generic error not covered by previous cases
+    Other(String),
 }
 
 impl From<io::Error> for Error {
@@ -81,7 +83,8 @@ impl fmt::Display for Error {
                 "Column {:?} must be included in the permutation. Help: try applying `meta.enable_equalty` on the column",
                 column
             ),
-            Error::TableError(error) => write!(f, "{}", error)
+            Error::TableError(error) => write!(f, "{}", error),
+            Error::Other(error) => write!(f, "Other: {}", error),
         }
     }
 }