From a60e4dd2fe5af6f18a298515b915ce642e022bad Mon Sep 17 00:00:00 2001 From: schaeff Date: Tue, 9 Jul 2024 14:42:45 +0200 Subject: [PATCH] fail gracefully on different degrees --- backend/src/plonky3/mod.rs | 4 ++++ 1 file changed, 4 insertions(+) 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))) } }