Add stwo-composite backend (#2164)

This allows us too have VADCOP proofs with Stwo.
powdr-labs · Nov 27, 2024 · 3b499a0 · 3b499a0
1 parent a352390
commit 3b499a0
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/backend/src/lib.rs b/backend/src/lib.rs
@@ -62,6 +62,9 @@ pub enum BackendType {
     #[cfg(feature = "stwo")]
     #[strum(serialize = "stwo")]
     Stwo,
+    #[cfg(feature = "stwo")]
+    #[strum(serialize = "stwo-composite")]
+    StwoComposite,
 }
 
 pub type BackendOptions = String;
@@ -112,6 +115,10 @@ impl BackendType {
             }
             #[cfg(feature = "stwo")]
             BackendType::Stwo => Box::new(stwo::Factory),
+            #[cfg(feature = "stwo")]
+            BackendType::StwoComposite => {
+                Box::new(composite::CompositeBackendFactory::new(stwo::Factory))
+            }
         }
     }
 }