ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-21 10:49:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update gadgets traits

Browse Source
This commit is contained in:
howardwu 2021-03-04 10:57:20 -08:00
parent bf43da5a84
commit c03e1045f2
3 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -23,9 +23,9 @@ 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::utilities::uint::UInt8;
use snarkvm_gadgets::traits::utilities::ToBytesGadget;
use snarkvm_models::gadgets::algorithms::PRFGadget;
use snarkvm_r1cs::ConstraintSystem;
pub struct Blake2s;

6
compiler/src/value/field/field_type.rs
View File

@ -21,6 +21,9 @@ use crate::number_string_typing;
use leo_ast::Span;
use snarkvm_fields::PrimeField;
use snarkvm_gadgets::curves::AllocatedFp;
use snarkvm_gadgets::curves::FieldGadget;
use snarkvm_gadgets::curves::FpGadget;
use snarkvm_gadgets::traits::utilities::alloc::AllocGadget;
use snarkvm_gadgets::traits::utilities::boolean::Boolean;
use snarkvm_gadgets::traits::utilities::eq::ConditionalEqGadget;
@ -30,9 +33,6 @@ use snarkvm_gadgets::traits::utilities::select::CondSelectGadget;
use snarkvm_gadgets::traits::utilities::uint::UInt8;
use snarkvm_gadgets::traits::utilities::ToBitsGadget;
use snarkvm_gadgets::traits::utilities::ToBytesGadget;
use snarkvm_models::gadgets::curves::AllocatedFp;
use snarkvm_models::gadgets::curves::FieldGadget;
use snarkvm_models::gadgets::curves::FpGadget;
use snarkvm_r1cs::ConstraintSystem;
use snarkvm_r1cs::SynthesisError;

8
compiler/src/value/group/targets/edwards_bls12.rs
View File

@ -29,6 +29,10 @@ use snarkvm_fields::Fp256;
use snarkvm_fields::One;
use snarkvm_fields::Zero;
use snarkvm_gadgets::curves::edwards_bls12::EdwardsBlsGadget;
use snarkvm_gadgets::curves::AllocatedFp;
use snarkvm_gadgets::curves::FieldGadget;
use snarkvm_gadgets::curves::FpGadget;
use snarkvm_gadgets::curves::GroupGadget;
use snarkvm_gadgets::traits::utilities::alloc::AllocGadget;
use snarkvm_gadgets::traits::utilities::boolean::Boolean;
use snarkvm_gadgets::traits::utilities::eq::ConditionalEqGadget;
@ -40,10 +44,6 @@ use snarkvm_gadgets::traits::utilities::ToBitsGadget;
use snarkvm_gadgets::traits::utilities::ToBytesGadget;
use snarkvm_models::curves::AffineCurve;
use snarkvm_models::curves::TEModelParameters;
use snarkvm_models::gadgets::curves::AllocatedFp;
use snarkvm_models::gadgets::curves::FieldGadget;
use snarkvm_models::gadgets::curves::FpGadget;
use snarkvm_models::gadgets::curves::GroupGadget;
use snarkvm_r1cs::ConstraintSystem;
use snarkvm_r1cs::SynthesisError;
use std::borrow::Borrow;