diff --git a/src/gadgets/rotate.rs b/src/gadgets/rotate.rs index 29507b94..acc78734 100644 --- a/src/gadgets/rotate.rs +++ b/src/gadgets/rotate.rs @@ -40,28 +40,3 @@ impl, const D: usize> CircuitBuilder { v } } - -#[derive(Debug)] -struct UnaryBaseGenerator { - integer: Target, - len: usize, - limbs: Vec, -} - -impl SimpleGenerator for UnaryBaseGenerator { - fn dependencies(&self) -> Vec { - vec![self.integer] - } - - fn run_once(&self, witness: &PartialWitness) -> PartialWitness { - let mut integer_value = witness.get_target(self.integer).to_canonical_u64(); - let low = integer_value & ((1 << self.n_log) - 1); - let high = integer_value >> self.n_log; - - let mut result = PartialWitness::new(); - result.set_target(self.low, F::from_canonical_u64(low)); - result.set_target(self.high, F::from_canonical_u64(high)); - - result - } -}