ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-11 01:45:48 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update gadget traits

Browse Source
This commit is contained in:
howardwu 2021-03-04 11:01:00 -08:00
parent 3bdf598431
commit 4650b5cd80
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/src/prelude/blake2s.rs
View File

@ -23,7 +23,7 @@ use leo_asg::Function;
use leo_asg::Span;
use snarkvm_fields::PrimeField;
use snarkvm_gadgets::algorithms::prf::Blake2sGadget;
use snarkvm_gadgets::algorithms::PRFGadget;
use snarkvm_gadgets::traits::algorithms::PRFGadget;
use snarkvm_gadgets::traits::utilities::uint::UInt8;
use snarkvm_gadgets::traits::utilities::ToBytesGadget;
use snarkvm_r1cs::ConstraintSystem;

2
synthesizer/src/circuit_synthesizer.rs
View File

@ -16,10 +16,10 @@
use snarkvm_curves::traits::PairingEngine;
use snarkvm_fields::Field;
use snarkvm_gadgets::traits::utilities::OptionalVec;
use snarkvm_r1cs::ConstraintSystem;
use snarkvm_r1cs::Index;
use snarkvm_r1cs::LinearCombination;
use snarkvm_r1cs::OptionalVec;
use snarkvm_r1cs::SynthesisError;
use snarkvm_r1cs::Variable;

2
synthesizer/src/serialized_circuit.rs
View File

@ -21,9 +21,9 @@ use serde::Serialize;
use snarkvm_curves::bls12_377::Bls12_377;
use snarkvm_curves::traits::PairingEngine;
use snarkvm_fields::FieldError;
use snarkvm_gadgets::traits::utilities::OptionalVec;
use snarkvm_r1cs::ConstraintSystem;
use snarkvm_r1cs::Index;
use snarkvm_r1cs::OptionalVec;
use crate::CircuitSynthesizer;
use crate::SerializedField;