logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-08 08:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

fmt

Browse Source
This commit is contained in:
Nicholas Ward 2022-02-11 12:34:21 -08:00
parent 134a04220d
commit 84edb55b63
2 changed files with 5 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
plonky2/src/gadgets/arithmetic.rs
View File

@ -6,7 +6,7 @@ use plonky2_field::field_types::Field64;
use crate::gates::arithmetic_base::ArithmeticGate;
use crate::gates::exponentiation::ExponentiationGate;
use crate::hash::hash_types::RichField;
use crate::iop::generator::{SimpleGenerator, GeneratedValues};
use crate::iop::generator::{GeneratedValues, SimpleGenerator};
use crate::iop::target::{BoolTarget, Target};
use crate::iop::witness::{PartitionWitness, Witness};
use crate::plonk::circuit_builder::CircuitBuilder;
@ -328,11 +328,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
pub fn is_equal(&mut self, x: Target, y: Target) -> BoolTarget {
let b = self.add_virtual_bool_target();
self.add_simple_generator(EqualityGenerator {
x,
y,
b,
});
self.add_simple_generator(EqualityGenerator { x, y, b });
let diff = self.sub(x, y);
let result = self.mul(b.target, diff);
@ -351,8 +347,7 @@ struct EqualityGenerator {
b: BoolTarget,
}
impl<F: RichField> SimpleGenerator<F> for EqualityGenerator
{
impl<F: RichField> SimpleGenerator<F> for EqualityGenerator {
fn dependencies(&self) -> Vec<Target> {
vec![self.x, self.y]
}

7
plonky2/src/gadgets/curve.rs
View File

@ -133,11 +133,8 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let x = self.add_nonnative(&x_if_true, &x_if_false);
let y = self.add_nonnative(&y_if_true, &y_if_false);
AffinePointTarget {
x,
y,
}
AffinePointTarget { x, y }
}
pub fn curve_scalar_mul<C: Curve>(