ACIR

- Add helper methods, for converting between ACIR and R1CS

crates/acir/src/circuit/gate.rs

@@ -28,6 +28,20 @@ pub enum Gate {
     Directive(Directive),
 }
 
+impl Gate {
+    pub fn is_arithmetic(&self) -> bool {
+        if let Gate::Arithmetic(_) = self {
+            true
+        } else { false}
+    }
+    pub fn arithmetic(self) -> Arithmetic {
+        match self {
+            Gate::Arithmetic(gate) => gate,
+            _=> panic!("tried to convert a non arithmetic gate to an Arithmetic struct")
+        }
+    }
+}
+
 #[derive(Clone, Debug)]
 /// Directives do not apply any constraints.
 pub enum Directive {

crates/acir/src/circuit/mod.rs

@@ -12,6 +12,12 @@ pub struct Circuit {
     pub public_inputs: PublicInputs,
 }
 
+impl Circuit {
+    pub fn num_vars(&self) -> u32 {
+        self.current_witness_index + 1
+    }
+}
+
 #[derive(Clone, Debug)]
 pub struct PublicInputs(pub Vec<Witness>);
 
@@ -23,6 +29,10 @@ impl PublicInputs {
             .map(|witness| witness.witness_index() as u32)
             .collect()
     }
+
+    pub fn contains(&self, index : usize) -> bool {
+        self.0.contains(&Witness(index as u32))
+    }
 }
 #[derive(Clone, Debug)]
 pub struct Selector(pub String, pub FieldElement);

crates/acir/src/native_types/witness.rs

@@ -15,6 +15,11 @@ impl Witness {
     pub fn witness_index(&self) -> u32 {
         self.0
     }
+    pub fn as_usize(&self) -> usize {
+        // This is safe as long as the architecture is 32bits minimum
+        self.0 as usize
+    }
+
 
     pub const fn can_defer_constraint(&self) -> bool {
         true