fail gracefully on different degrees

powdr-labs · Jul 9, 2024 · a60e4dd · a60e4dd
1 parent 50c35fa
commit a60e4dd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/backend/src/plonky3/mod.rs b/backend/src/plonky3/mod.rs
@@ -29,6 +29,10 @@ impl<T: FieldElement> BackendFactory<T> for Factory {
         if verification_app_key.is_some() {
             return Err(Error::NoAggregationAvailable);
         }
+        if pil.degrees().len() > 1 {
+            return Err(Error::NoVariableDegreeAvailable);
+        }
+
         Ok(Box::new(Plonky3Prover::new(pil)))
     }
 }