|
@ -201,7 +201,7 @@ impl, const D: usize> Gate for U32Subtraction |
|
|
fn generators(&self, row: usize, _local_constants: &[F]) -> Vec<WitnessGeneratorRef<F, D>> {
|
|
|
fn generators(&self, row: usize, _local_constants: &[F]) -> Vec<WitnessGeneratorRef<F, D>> {
|
|
|
(0..self.num_ops)
|
|
|
(0..self.num_ops)
|
|
|
.map(|i| {
|
|
|
.map(|i| {
|
|
|
let g = WitnessGeneratorRef::new(
|
|
|
|
|
|
|
|
|
WitnessGeneratorRef::new(
|
|
|
U32SubtractionGenerator {
|
|
|
U32SubtractionGenerator {
|
|
|
gate: *self,
|
|
|
gate: *self,
|
|
|
row,
|
|
|
row,
|
|
@ -209,8 +209,7 @@ impl, const D: usize> Gate for U32Subtraction |
|
|
_phantom: PhantomData,
|
|
|
_phantom: PhantomData,
|
|
|
}
|
|
|
}
|
|
|
.adapter(),
|
|
|
.adapter(),
|
|
|
);
|
|
|
|
|
|
g
|
|
|
|
|
|
|
|
|
)
|
|
|
})
|
|
|
})
|
|
|
.collect()
|
|
|
.collect()
|
|
|
}
|
|
|
}
|
|
|