This commit is contained in:
Nicholas Ward
2022-01-31 10:31:52 -08:00
parent 493f516fac
commit b62fa3f608
3 changed files with 7 additions and 6 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
use crate::curve::curve_types::{AffinePoint, base_to_scalar, Curve, CurveScalar};
use crate::curve::curve_types::{base_to_scalar, AffinePoint, Curve, CurveScalar};
use crate::field::field_types::Field;
pub struct ECDSASignature<C: Curve> {
+5 -4
View File
@@ -160,10 +160,11 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let t = b.target;
BigUintTarget {
limbs: a.limbs
.iter()
.map(|&l| U32Target(self.mul(l.0, t)))
.collect(),
limbs: a
.limbs
.iter()
.map(|&l| U32Target(self.mul(l.0, t)))
.collect(),
}
}
+1 -1
View File
@@ -135,7 +135,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
for &bit in bits.iter() {
let not_bit = self.not(bit);
let result_plus_2_i_p = self.curve_add(&result, &two_i_times_p);
let new_x_if_bit = self.mul_nonnative_by_bool(&result_plus_2_i_p.x, bit);