feat: init_unsafe in builder (#176)

succinctlabs · Sep 19, 2023 · e1f7148 · e1f7148
1 parent ab1f9ff
commit e1f7148
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/plonky2x/src/frontend/builder/mod.rs b/plonky2x/src/frontend/builder/mod.rs
@@ -172,6 +172,11 @@ impl<L: PlonkParameters<D>, const D: usize> CircuitBuilder<L, D> {
         V::init(self)
     }
 
+    /// Initializes a variable with a value from the circuit input without any validity checks.
+    pub fn init_unsafe<V: CircuitVariable>(&mut self) -> V {
+        V::init_unsafe(self)
+    }
+
     /// Initializes a variable with a constant value in the circuit.
     pub fn constant<V: CircuitVariable>(&mut self, value: V::ValueType<L::Field>) -> V {
         V::constant(self, value)