AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2025-01-01 14:28:52 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update field trait

Browse Source
This commit is contained in:
howardwu 2021-03-04 10:36:29 -08:00
parent d2bef646be
commit bfdf3c4dca
7 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/src/value/group/group_type.rs
View File

@ -20,7 +20,7 @@ use crate::errors::GroupError;
use leo_asg::GroupValue;
use leo_asg::Span;
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::curves::One;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
use snarkvm_models::gadgets::utilities::alloc::AllocGadget;

2
compiler/src/value/integer/integer.rs
View File

@ -27,7 +27,7 @@ use leo_gadgets::bits::comparator::EvaluateLtGadget;
use leo_gadgets::signed_integer::*;
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::curves::PrimeField;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
use snarkvm_models::gadgets::utilities::alloc::AllocGadget;

2
gadgets/src/arithmetic/neg.rs
View File

@ -17,7 +17,7 @@
use crate::bits::RippleCarryAdder;
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
use snarkvm_models::gadgets::utilities::boolean::Boolean;

2
gadgets/src/arithmetic/sub.rs
View File

@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
/// Returns subtraction of `self` - `other` in the constraint system.

2
gadgets/src/bits/adder.rs
View File

@ -15,7 +15,7 @@
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
use snarkvm_models::gadgets::utilities::boolean::Boolean;

2
gadgets/src/bits/comparator.rs
View File

@ -15,7 +15,7 @@
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::curves::PrimeField;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
use snarkvm_models::gadgets::utilities::boolean::Boolean;

2
gadgets/src/bits/rca.rs
View File

@ -18,7 +18,7 @@ use crate::bits::FullAdder;
use crate::signed_integer::*;
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::curves::Field;
use snarkvm_fields::Field;
use snarkvm_models::curves::PrimeField;
use snarkvm_models::gadgets::r1cs::ConstraintSystem;
use snarkvm_models::gadgets::utilities::boolean::Boolean;