diff --git a/Cargo.toml b/Cargo.toml
index 72d4844c..8fc8c1d1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -44,3 +44,7 @@ ark-ed-on-bls12-381 = { version = "^0.2.0", default-features = false, features =
 ark-bls12-377 = { version = "^0.2.0", default-features = false, features = [ "curve", "r1cs" ] }
 ark-mnt4-298 = { version = "^0.2.0", default-features = false, features = [ "curve", "r1cs" ] }
 ark-mnt6-298 = { version = "^0.2.0", default-features = false, features = [ "r1cs" ] }
+
+[patch.crates-io]
+ark-relations = { git = "https://github.com/arkworks-rs/snark", branch = "relations", default-features = false }
+ark-snark = { git = "https://github.com/arkworks-rs/snark", branch = "relations", default-features = false }
diff --git a/src/snark/constraints.rs b/src/snark/constraints.rs
index 05a76b2a..eb88f063 100644
--- a/src/snark/constraints.rs
+++ b/src/snark/constraints.rs
@@ -11,7 +11,8 @@ use ark_relations::r1cs::OptimizationGoal;
 use ark_relations::{
     lc, ns,
     r1cs::{
-        ConstraintSynthesizer, ConstraintSystemRef, LinearCombination, Namespace, SynthesisError,
+        ConstraintGenerator, ConstraintSystemRef, LinearCombination, Namespace, SynthesisError,
+        R1CS,
     },
 };
 use ark_snark::{CircuitSpecificSetupSNARK, UniversalSetupSNARK, SNARK};
@@ -22,8 +23,8 @@ use ark_std::{
     vec::{IntoIter, Vec},
 };
 
-/// This implements constraints for SNARK verifiers.
-pub trait SNARKGadget<F: PrimeField, ConstraintF: PrimeField, S: SNARK<F>> {
+/// This implements constraints for R1CS SNARK verifiers.
+pub trait SNARKGadget<F: PrimeField, ConstraintF: PrimeField, S: SNARK<R1CS<F>>> {
     type ProcessedVerifyingKeyVar: AllocVar<S::ProcessedVerifyingKey, ConstraintF> + Clone;
     type VerifyingKeyVar: AllocVar<S::VerifyingKey, ConstraintF>
         + ToBytesGadget<ConstraintF>
@@ -96,7 +97,7 @@ pub trait SNARKGadget<F: PrimeField, ConstraintF: PrimeField, S: SNARK<F>> {
 pub trait CircuitSpecificSetupSNARKGadget<
     F: PrimeField,
     ConstraintF: PrimeField,
-    S: CircuitSpecificSetupSNARK<F>,
+    S: CircuitSpecificSetupSNARK<R1CS<F>>,
 >: SNARKGadget<F, ConstraintF, S>
 {
 }
@@ -104,10 +105,10 @@ pub trait CircuitSpecificSetupSNARKGadget<
 pub trait UniversalSetupSNARKGadget<
     F: PrimeField,
     ConstraintF: PrimeField,
-    S: UniversalSetupSNARK<F>,
+    S: UniversalSetupSNARK<R1CS<F>>,
 >: SNARKGadget<F, ConstraintF, S>
 {
-    type BoundCircuit: From<S::ComputationBound> + ConstraintSynthesizer<F> + Clone;
+    type BoundCircuit: From<S::IndexBound> + ConstraintGenerator<F> + Clone;
 }
 
 /// Gadgets to convert elements between different fields for recursive proofs