ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 18:21:38 +03:00
Code Issues Packages Projects Releases Wiki Activity

Migrate to snarkVM

Browse Source
This commit is contained in:
howardwu 2020-12-30 12:40:45 -04:00
parent 638f367908
commit 2d64515763
138 changed files with 348 additions and 348 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -12,7 +12,7 @@ before_install:
- export RUSTC_WRAPPER="sccache"
- |
declare -r SSH_FILE="$(mktemp -u $HOME/.ssh/XXXXX)"
openssl aes-256-cbc -K $encrypted_beefc4a47cdc_key -iv $encrypted_beefc4a47cdc_iv -in .travis/travis-snarkos.enc -out $SSH_FILE -d
openssl aes-256-cbc -K $encrypted_beefc4a47cdc_key -iv $encrypted_beefc4a47cdc_iv -in .travis/travis-snarkvm.enc -out $SSH_FILE -d
chmod 600 "$SSH_FILE" \
&& printf "%s\n" \
"Host github.com" \

188
Cargo.lock generated
View File

@ -1277,14 +1277,14 @@ dependencies = [
"rand_xorshift",
"serde",
"sha2",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-dpc",
"snarkos-errors",
"snarkos-gadgets",
"snarkos-models",
"snarkos-objects",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-curves",
"snarkvm-dpc",
"snarkvm-errors",
"snarkvm-gadgets",
"snarkvm-models",
"snarkvm-objects",
"snarkvm-utilities",
"thiserror",
"tracing",
]
@ -1297,11 +1297,11 @@ dependencies = [
"leo-gadgets",
"rand",
"rand_xorshift",
"snarkos-curves",
"snarkos-errors",
"snarkos-gadgets",
"snarkos-models",
"snarkos-utilities",
"snarkvm-curves",
"snarkvm-errors",
"snarkvm-gadgets",
"snarkvm-models",
"snarkvm-utilities",
"thiserror",
]
@ -1312,9 +1312,9 @@ dependencies = [
"criterion",
"rand",
"rand_xorshift",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
"thiserror",
]
@ -1383,12 +1383,12 @@ dependencies = [
"self_update",
"serde",
"serde_json",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-errors",
"snarkos-gadgets",
"snarkos-models",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-curves",
"snarkvm-errors",
"snarkvm-gadgets",
"snarkvm-models",
"snarkvm-utilities",
"thiserror",
"toml",
"tracing",
@ -1422,14 +1422,14 @@ dependencies = [
"leo-input",
"rand",
"rand_xorshift",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-dpc",
"snarkos-errors",
"snarkos-models",
"snarkos-objects",
"snarkos-storage",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-curves",
"snarkvm-dpc",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-objects",
"snarkvm-storage",
"snarkvm-utilities",
"thiserror",
]
@ -2508,9 +2508,9 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75"
[[package]]
name = "snarkos-algorithms"
name = "snarkvm-algorithms"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"blake2",
"derivative",
@ -2521,31 +2521,31 @@ dependencies = [
"rayon",
"sha2",
"smallvec",
"snarkos-errors",
"snarkos-models",
"snarkos-profiler",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-profiler",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-curves"
name = "snarkvm-curves"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"derivative",
"rand",
"rand_xorshift",
"rustc_version",
"serde",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-derives"
name = "snarkvm-derives"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"proc-macro2 1.0.24",
"quote 1.0.7",
@ -2553,30 +2553,30 @@ dependencies = [
]
[[package]]
name = "snarkos-dpc"
name = "snarkvm-dpc"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"blake2",
"derivative",
"hex",
"itertools 0.9.0",
"rand",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-errors",
"snarkos-gadgets",
"snarkos-models",
"snarkos-objects",
"snarkos-parameters",
"snarkos-profiler",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-curves",
"snarkvm-errors",
"snarkvm-gadgets",
"snarkvm-models",
"snarkvm-objects",
"snarkvm-parameters",
"snarkvm-profiler",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-errors"
name = "snarkvm-errors"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"base58",
"bech32",
@ -2590,24 +2590,24 @@ dependencies = [
]
[[package]]
name = "snarkos-gadgets"
name = "snarkvm-gadgets"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"derivative",
"digest 0.8.1",
"itertools 0.9.0",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-curves",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-models"
name = "snarkvm-models"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"bincode",
"cfg-if 0.1.10",
@ -2618,14 +2618,14 @@ dependencies = [
"rand",
"rand_xorshift",
"serde",
"snarkos-errors",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-objects"
name = "snarkvm-objects"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"base58",
"bech32",
@ -2636,35 +2636,35 @@ dependencies = [
"rand",
"serde",
"sha2",
"snarkos-algorithms",
"snarkos-curves",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-curves",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-parameters"
name = "snarkvm-parameters"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"curl",
"hex",
"snarkos-algorithms",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-profiler"
name = "snarkvm-profiler"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
[[package]]
name = "snarkos-storage"
name = "snarkvm-storage"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"bincode",
"hex",
@ -2672,23 +2672,23 @@ dependencies = [
"rand",
"rocksdb",
"serde",
"snarkos-algorithms",
"snarkos-errors",
"snarkos-models",
"snarkos-objects",
"snarkos-parameters",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-objects",
"snarkvm-parameters",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-utilities"
name = "snarkvm-utilities"
version = "1.1.4"
source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9"
source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba"
dependencies = [
"bincode",
"rand",
"snarkos-derives",
"snarkos-errors",
"snarkvm-derives",
"snarkvm-errors",
]
[[package]]

24
Cargo.toml
View File

@ -68,33 +68,33 @@ version = "1.0.7"
path = "./state"
version = "1.0.7"
[dependencies.snarkos-algorithms]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-algorithms]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-curves]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-curves]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-errors]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-gadgets]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-gadgets]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-models]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-utilities]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
[dependencies.clap]

32
compiler/Cargo.toml
View File

@ -57,38 +57,38 @@ version = "1.0.7"
path = "../type-inference"
version = "1.0.7"
[dependencies.snarkos-curves]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-curves]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-dpc]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-dpc]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-errors]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-gadgets]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-gadgets]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-models]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-objects]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-objects]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-utilities]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
[dependencies.bincode]
@ -126,8 +126,8 @@ version = "0.1"
[dev-dependencies.num-bigint]
version = "0.3"
[dev-dependencies.snarkos-algorithms]
git = "https://github.com/AleoHQ/snarkOS.git"
[dev-dependencies.snarkvm-algorithms]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false

6
compiler/src/compiler.rs
View File

@ -32,9 +32,9 @@ use leo_state::verify_local_data_commitment;
use leo_symbol_table::SymbolTable;
use leo_type_inference::TypeInference;
use snarkos_dpc::{base_dpc::instantiated::Components, SystemParameters};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_dpc::{base_dpc::instantiated::Components, SystemParameters};
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::{ConstraintSynthesizer, ConstraintSystem},
};

2
compiler/src/console/assert.rs
View File

@ -25,7 +25,7 @@ use crate::{
};
use leo_ast::{Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/console/console.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ConsoleError, program::ConstrainedProgram, statement::get_indicator_value, GroupType};
use leo_ast::{ConsoleFunction, ConsoleStatement};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/console/format.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ConsoleError, program::ConstrainedProgram, GroupType};
use leo_ast::FormattedString;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/constraints/constraints.rs
View File

@ -30,7 +30,7 @@ use leo_imports::ImportParser;
use leo_input::LeoInputParser;
use leo_package::inputs::InputPairs;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::{ConstraintSystem, TestConstraintSystem},
};

2
compiler/src/definition/definition.rs
View File

@ -23,7 +23,7 @@ use crate::{
};
use leo_ast::Identifier;
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
pub fn store_definition(

2
compiler/src/definition/definitions.rs
View File

@ -25,7 +25,7 @@ use crate::{
use leo_ast::Program;
use leo_imports::ImportParser;
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
pub fn store_definitions(

2
compiler/src/errors/expression.rs
View File

@ -18,7 +18,7 @@ use crate::errors::{AddressError, BooleanError, FieldError, FunctionError, Group
use leo_ast::{ArrayDimensions, Error as FormattedError, Identifier, PositiveNumber, Span};
use leo_core::LeoCorePackageError;
use snarkos_errors::gadgets::SynthesisError;
use snarkvm_errors::gadgets::SynthesisError;
use std::path::Path;
#[derive(Debug, Error)]

2
compiler/src/errors/value/address.rs
View File

@ -16,7 +16,7 @@
use leo_ast::{Error as FormattedError, Span};
use snarkos_errors::{gadgets::SynthesisError, objects::account::AccountError};
use snarkvm_errors::{gadgets::SynthesisError, objects::account::AccountError};
use std::path::Path;
#[derive(Debug, Error)]

2
compiler/src/errors/value/boolean.rs
View File

@ -16,7 +16,7 @@
use leo_ast::{Error as FormattedError, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkvm_errors::gadgets::SynthesisError;
use std::path::Path;
#[derive(Debug, Error)]

2
compiler/src/errors/value/field.rs
View File

@ -16,7 +16,7 @@
use leo_ast::{Error as FormattedError, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkvm_errors::gadgets::SynthesisError;
use std::path::Path;
#[derive(Debug, Error)]

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

@ -16,7 +16,7 @@
use leo_ast::{Error as FormattedError, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkvm_errors::gadgets::SynthesisError;
use std::path::Path;
#[derive(Debug, Error)]

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

@ -17,7 +17,7 @@
use leo_ast::{error::Error as FormattedError, IntegerType, Span, Type};
use leo_gadgets::errors::SignedIntegerError;
use snarkos_errors::gadgets::SynthesisError;
use snarkvm_errors::gadgets::SynthesisError;
use std::path::Path;
#[derive(Debug, Error)]

2
compiler/src/expression/arithmetic/add.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/arithmetic/div.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/arithmetic/mul.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/arithmetic/negate.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/arithmetic/pow.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/arithmetic/sub.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/array/access.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/array/array.rs
View File

@ -24,7 +24,7 @@ use crate::{
};
use leo_ast::{ArrayDimensions, Expression, PositiveNumber, Span, SpreadOrExpression, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/array/index.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, IntegerType, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/binary/binary.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/binary/operand.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/circuit/access.rs
View File

@ -24,7 +24,7 @@ use crate::{
};
use leo_ast::{Expression, Identifier, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/circuit/circuit.rs
View File

@ -24,7 +24,7 @@ use crate::{
};
use leo_ast::{CircuitMember, CircuitVariableDefinition, Identifier, Span};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/circuit/static_access.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{CircuitMember, Expression, Identifier, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/conditional/conditional.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::select::CondSelectGadget},
};

2
compiler/src/expression/expression.rs
View File

@ -30,7 +30,7 @@ use crate::{
};
use leo_ast::{expression::*, Expression, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/function/core_circuit.rs
View File

@ -18,7 +18,7 @@ use crate::{program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use crate::errors::{ExpressionError, FunctionError};
use leo_ast::{Expression, Span, Type};
use leo_core::call_core_circuit;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/function/function.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, new_scope, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{expression::CircuitMemberAccessExpression, Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/identifier/identifier.rs
View File

@ -25,7 +25,7 @@ use crate::{
};
use leo_ast::{Identifier, Type};
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
/// Enforce a variable expression by getting the resolved value

2
compiler/src/expression/logical/and.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/expression/logical/not.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
pub fn evaluate_not<F: Field + PrimeField, G: GroupType<F>>(
value: ConstrainedValue<F, G>,

2
compiler/src/expression/logical/or.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/expression/relational/eq.rs
View File

@ -19,7 +19,7 @@
use crate::{enforce_and, errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

2
compiler/src/expression/relational/ge.rs
View File

@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use leo_gadgets::bits::ComparatorGadget;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/relational/gt.rs
View File

@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use leo_gadgets::bits::ComparatorGadget;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/relational/le.rs
View File

@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use leo_gadgets::bits::ComparatorGadget;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/relational/lt.rs
View File

@ -20,7 +20,7 @@ use crate::{errors::ExpressionError, value::ConstrainedValue, GroupType};
use leo_ast::Span;
use leo_gadgets::bits::comparator::EvaluateLtGadget;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/tuple/access.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, parse_index, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, PositiveNumber, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/expression/tuple/tuple.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::ExpressionError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Expression, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/function.rs
View File

@ -25,7 +25,7 @@ use crate::{
use leo_ast::{Expression, Function, FunctionInput};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/function/input/array.rs
View File

@ -28,7 +28,7 @@ use crate::{
use leo_ast::{ArrayDimensions, InputValue, Span, Type};
use crate::errors::ExpressionError;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/input/function_input.rs
View File

@ -20,7 +20,7 @@ use crate::{errors::FunctionError, program::ConstrainedProgram, value::Constrain
use leo_ast::{Expression, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/input/input_keyword.rs
View File

@ -17,7 +17,7 @@
use crate::{errors::FunctionError, ConstrainedCircuitMember, ConstrainedProgram, ConstrainedValue, GroupType};
use leo_ast::{Identifier, Input, InputKeyword};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/input/input_section.rs
View File

@ -17,7 +17,7 @@
use crate::{errors::FunctionError, ConstrainedCircuitMember, ConstrainedProgram, ConstrainedValue, GroupType};
use leo_ast::{Identifier, InputValue, Parameter};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/input/main_function_input.rs
View File

@ -32,7 +32,7 @@ use crate::{
use leo_ast::{InputValue, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/input/tuple.rs
View File

@ -25,7 +25,7 @@ use crate::{
use leo_ast::{InputValue, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/main_function.rs
View File

@ -25,7 +25,7 @@ use crate::{
use leo_ast::{Expression, Function, FunctionInput, Identifier, Input};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/function/result/result.rs
View File

@ -27,7 +27,7 @@ use crate::{
use leo_ast::{Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

2
compiler/src/import/store/core_package.rs
View File

@ -18,7 +18,7 @@ use crate::{new_scope, ConstrainedProgram, ConstrainedValue, GroupType};
use leo_ast::Package;
use leo_core::{CorePackageList, LeoCorePackageError};
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
pub(crate) fn store_core_package(&mut self, scope: &str, package: Package) -> Result<(), LeoCorePackageError> {

2
compiler/src/import/store/import.rs
View File

@ -19,7 +19,7 @@ use leo_ast::ImportStatement;
use leo_imports::ImportParser;
use leo_symbol_table::imported_symbols::ImportedSymbols;
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
pub(crate) fn store_import(

2
compiler/src/import/store/symbol.rs
View File

@ -17,7 +17,7 @@
use crate::{errors::ImportError, new_scope, ConstrainedProgram, ConstrainedValue, GroupType};
use leo_ast::{ImportSymbol, Program};
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
pub(crate) fn store_symbol(

2
compiler/src/output/output_bytes.rs
View File

@ -17,7 +17,7 @@
use crate::{errors::OutputBytesError, ConstrainedValue, GroupType, REGISTERS_VARIABLE_NAME};
use leo_ast::{Parameter, Registers, Span};
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
use serde::{Deserialize, Serialize};

2
compiler/src/program/program.rs
View File

@ -18,7 +18,7 @@
use crate::{value::ConstrainedValue, GroupType};
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
use indexmap::IndexMap;

2
compiler/src/statement/assign/assign.rs
View File

@ -26,7 +26,7 @@ use crate::{
};
use leo_ast::{AssignOperation, AssignStatement, AssigneeAccess, Span};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

2
compiler/src/statement/assign/assignee.rs
View File

@ -26,7 +26,7 @@ use crate::{
};
use leo_ast::{Assignee, AssigneeAccess, Identifier, PositiveNumber, Span};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/statement/block/block.rs
View File

@ -19,7 +19,7 @@
use crate::{program::ConstrainedProgram, GroupType, IndicatorAndConstrainedValue, StatementResult};
use leo_ast::{Block, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/statement/conditional/conditional.rs
View File

@ -26,7 +26,7 @@ use crate::{
};
use leo_ast::{ConditionalStatement, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
compiler/src/statement/definition/definition.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::StatementError, program::ConstrainedProgram, ConstrainedValue, GroupType};
use leo_ast::{Declare, DefinitionStatement, Span, VariableName};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/statement/iteration/iteration.rs
View File

@ -27,7 +27,7 @@ use crate::{
};
use leo_ast::{IterationStatement, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

2
compiler/src/statement/return_/return_.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::StatementError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{ReturnStatement, Span, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
compiler/src/statement/statement.rs
View File

@ -19,7 +19,7 @@
use crate::{errors::StatementError, program::ConstrainedProgram, value::ConstrainedValue, GroupType};
use leo_ast::{Statement, Type};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

10
compiler/src/value/address/address.rs
View File

@ -17,9 +17,9 @@
use crate::{errors::AddressError, ConstrainedValue, GroupType};
use leo_ast::{InputValue, Span};
use snarkos_dpc::base_dpc::instantiated::Components;
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_dpc::base_dpc::instantiated::Components;
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::{Assignment, ConstraintSystem},
@ -32,8 +32,8 @@ use snarkos_models::{
},
},
};
use snarkos_objects::account::AccountAddress;
use snarkos_utilities::ToBytes;
use snarkvm_objects::account::AccountAddress;
use snarkvm_utilities::ToBytes;
use std::{borrow::Borrow, str::FromStr};
/// A public address

4
compiler/src/value/boolean/input.rs
View File

@ -19,8 +19,8 @@
use crate::{errors::BooleanError, value::ConstrainedValue, GroupType};
use leo_ast::{InputValue, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

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

@ -19,8 +19,8 @@
use crate::errors::FieldError;
use leo_ast::Span;
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
curves::{FieldGadget, FpGadget},

4
compiler/src/value/field/input.rs
View File

@ -19,8 +19,8 @@
use crate::{errors::FieldError, value::ConstrainedValue, FieldType, GroupType};
use leo_ast::{InputValue, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::alloc::AllocGadget},
};

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

@ -19,7 +19,7 @@
use crate::errors::GroupError;
use leo_ast::{GroupValue, Span};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, One},
gadgets::{
r1cs::ConstraintSystem,

4
compiler/src/value/group/input.rs
View File

@ -19,8 +19,8 @@
use crate::{errors::GroupError, ConstrainedValue, GroupType};
use leo_ast::{GroupValue, InputValue, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

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

@ -17,13 +17,13 @@
use crate::{errors::GroupError, GroupType};
use leo_ast::{GroupCoordinate, GroupTuple, GroupValue, Span};
use snarkos_curves::{
use snarkvm_curves::{
edwards_bls12::{EdwardsAffine, EdwardsParameters, Fq},
templates::twisted_edwards_extended::GroupAffine,
};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_gadgets::curves::edwards_bls12::EdwardsBlsGadget;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_gadgets::curves::edwards_bls12::EdwardsBlsGadget;
use snarkvm_models::{
curves::{AffineCurve, Fp256, One, TEModelParameters, Zero},
gadgets::{
curves::{FieldGadget, FpGadget, GroupGadget},

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

@ -19,7 +19,7 @@
use crate::{errors::ValueError, value::ConstrainedValue, GroupType};
use leo_ast::{Span, Type};
use snarkos_models::curves::{Field, PrimeField};
use snarkvm_models::curves::{Field, PrimeField};
pub fn enforce_number_implicit<F: Field + PrimeField, G: GroupType<F>>(
expected_type: Option<Type>,

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

@ -23,8 +23,8 @@ use leo_gadgets::{
signed_integer::*,
};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

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

@ -16,7 +16,7 @@
use leo_gadgets::signed_integer::*;
use snarkos_models::gadgets::utilities::{
use snarkvm_models::gadgets::utilities::{
boolean::Boolean,
uint::{UInt128, UInt16, UInt32, UInt64, UInt8},
};

4
compiler/src/value/value.rs
View File

@ -29,8 +29,8 @@ use crate::{
use leo_ast::{ArrayDimensions, Circuit, Function, GroupValue, Identifier, Span, Type};
use leo_core::Value;
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

6
compiler/tests/core/packages/unstable/blake2s/mod.rs
View File

@ -27,8 +27,8 @@ use leo_ast::InputValue;
use leo_input::types::{IntegerType, U8Type, UnsignedIntegerType};
use rand::{Rng, SeedableRng};
use rand_xorshift::XorShiftRng;
use snarkos_algorithms::prf::blake2s::Blake2s as B2SPRF;
use snarkos_models::algorithms::PRF;
use snarkvm_algorithms::prf::blake2s::Blake2s as B2SPRF;
use snarkvm_models::algorithms::PRF;
#[test]
fn test_arguments_length_fail() {
@ -70,7 +70,7 @@ fn test_blake2s_random() {
let mut message = [0u8; 32];
rng.fill(&mut message);
// Use snarkos-algorithms blake2s evaluate to get expected value
// Use snarkvm-algorithms blake2s evaluate to get expected value
let expected = B2SPRF::evaluate(&seed, &message).unwrap().to_vec();
// Create program input values for seed, message, and expected values

4
compiler/tests/field/mod.rs
View File

@ -17,8 +17,8 @@
use crate::{assert_satisfied, expect_compiler_error, generate_main_input, parse_program};
use leo_ast::InputValue;
use snarkos_curves::edwards_bls12::Fq;
use snarkos_utilities::bytes::ToBytes;
use snarkvm_curves::edwards_bls12::Fq;
use snarkvm_utilities::bytes::ToBytes;
use num_bigint::BigUint;
use rand::{Rng, SeedableRng};

2
compiler/tests/group/mod.rs
View File

@ -25,7 +25,7 @@ use crate::{
};
use leo_ast::{GroupCoordinate, GroupTuple, GroupValue, InputValue, Span};
use snarkos_curves::edwards_bls12::EdwardsAffine;
use snarkvm_curves::edwards_bls12::EdwardsAffine;
use rand::{Rng, SeedableRng};
use rand_xorshift::XorShiftRng;

4
compiler/tests/mod.rs
View File

@ -46,8 +46,8 @@ use leo_compiler::{
};
use leo_input::types::{IntegerType, U32Type, UnsignedIntegerType};
use snarkos_curves::edwards_bls12::Fq;
use snarkos_models::gadgets::r1cs::TestConstraintSystem;
use snarkvm_curves::edwards_bls12::Fq;
use snarkvm_models::gadgets::r1cs::TestConstraintSystem;
use std::path::PathBuf;

24
core/Cargo.toml
View File

@ -25,23 +25,23 @@ version = "1.0.7"
path = "../gadgets"
version = "1.0.7"
[dependencies.snarkos-errors]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-gadgets]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-gadgets]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-models]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-utilities]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
[dependencies.rand]
@ -55,11 +55,11 @@ default-features = false
[dependencies.thiserror]
version = "1.0"
[dev-dependencies.snarkos-utilities]
git = "https://github.com/AleoHQ/snarkOS.git"
[dev-dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
[dev-dependencies.snarkos-curves]
git = "https://github.com/AleoHQ/snarkOS.git"
[dev-dependencies.snarkvm-curves]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false

2
core/src/errors/core_circuit.rs
View File

@ -17,7 +17,7 @@
use crate::Value;
use leo_ast::{Error as FormattedError, Span};
use snarkos_errors::gadgets::SynthesisError;
use snarkvm_errors::gadgets::SynthesisError;
use std::path::Path;

2
core/src/lib.rs
View File

@ -29,7 +29,7 @@ pub use self::types::*;
use crate::CoreCircuit;
use leo_ast::Span;
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

8
core/src/packages/unstable/blake2s.rs
View File

@ -34,8 +34,8 @@ use leo_ast::{
Statement,
Type,
};
use snarkos_gadgets::algorithms::prf::Blake2sGadget;
use snarkos_models::{
use snarkvm_gadgets::algorithms::prf::Blake2sGadget;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
algorithms::PRFGadget,
@ -194,8 +194,8 @@ fn check_array_bytes(value: Value, size: usize, span: Span) -> Result<Vec<UInt8>
#[cfg(test)]
mod tests {
use super::*;
use snarkos_curves::bls12_377::Fr;
use snarkos_models::gadgets::{
use snarkvm_curves::bls12_377::Fr;
use snarkvm_models::gadgets::{
r1cs::TestConstraintSystem,
utilities::{boolean::Boolean, uint::UInt8},
};

2
core/src/types/core_circuit.rs
View File

@ -17,7 +17,7 @@
use crate::{CoreCircuitError, Value};
use leo_ast::{Circuit, Identifier, Span};
use snarkos_models::{
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::r1cs::ConstraintSystem,
};

2
core/src/types/value.rs
View File

@ -16,7 +16,7 @@
use leo_gadgets::signed_integer::*;
use snarkos_models::gadgets::utilities::{boolean::Boolean, uint::*};
use snarkvm_models::gadgets::utilities::{boolean::Boolean, uint::*};
use std::fmt;
/// An intermediate value format that can be converted into a `ConstrainedValue` for the compiler

12
gadgets/Cargo.toml
View File

@ -17,18 +17,18 @@ include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
license = "GPL-3.0"
edition = "2018"
[dependencies.snarkos-errors]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-models]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
default-features = false
[dependencies.snarkos-utilities]
git = "https://github.com/AleoHQ/snarkOS.git"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
version = "1.1.4"
[dependencies.rand]

2
gadgets/benches/integer_arithmetic.rs
View File

@ -16,7 +16,7 @@
use leo_gadgets::{arithmetic::*, Int128, Int16, Int32, Int64, Int8};
use snarkos_models::gadgets::{
use snarkvm_models::gadgets::{
r1cs::{ConstraintSystem, Fr, TestConstraintSystem},
utilities::alloc::AllocGadget,
};

4
gadgets/src/arithmetic/add.rs
View File

@ -14,8 +14,8 @@
// 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 snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

2
gadgets/src/arithmetic/div.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 snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
use snarkvm_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
/// Returns division of `self` / `other` in the constraint system.
pub trait Div<F: Field, Rhs = Self>

2
gadgets/src/arithmetic/mul.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 snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
use snarkvm_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
/// Returns multiplication of `self` * `other` in the constraint system.
pub trait Mul<F: Field, Rhs = Self>

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

@ -16,8 +16,8 @@
use crate::bits::RippleCarryAdder;
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::Field,
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

2
gadgets/src/arithmetic/pow.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 snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
use snarkvm_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
/// Returns exponentiation of `self` ** `other` in the constraint system.
pub trait Pow<F: Field, Rhs = Self>

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 snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
use snarkvm_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
/// Returns subtraction of `self` - `other` in the constraint system.
pub trait Sub<F: Field, Rhs = Self>

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

@ -14,8 +14,8 @@
// 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 snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::Field,
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

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

@ -14,8 +14,8 @@
// 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 snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{
r1cs::ConstraintSystem,

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

@ -16,8 +16,8 @@
use crate::{bits::FullAdder, signed_integer::*};
use snarkos_errors::gadgets::SynthesisError;
use snarkos_models::{
use snarkvm_errors::gadgets::SynthesisError;
use snarkvm_models::{
curves::{Field, PrimeField},
gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
};

Some files were not shown because too many files have changed in this diff Show More