diff --git a/backend/src/plonky3/mod.rs b/backend/src/plonky3/mod.rs index 3c24048b7..f47a6eeb5 100644 --- a/backend/src/plonky3/mod.rs +++ b/backend/src/plonky3/mod.rs @@ -29,6 +29,10 @@ impl BackendFactory 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))) } }