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

Merge pull request #518 from AleoHQ/migration

Browse Source 
Migrates to using snarkVM and adds memory usage improvements for programs
This commit is contained in:
Howard Wu 2021-01-02 23:57:03 -04:00 committed by GitHub
commit 0ca411c52d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
139 changed files with 478 additions and 410 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -124,7 +124,7 @@ jobs:
uses: actions-rs/cargo@v1
with:
command: test
args: --release --all --features ci_skip --no-fail-fast
args: --all --features ci_skip --no-fail-fast
test-package:
name: Test Package

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" \

251
Cargo.lock generated
View File

@ -48,6 +48,12 @@ dependencies = [
"winapi 0.3.9",
]
[[package]]
name = "anyhow"
version = "1.0.37"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ee67c11feeac938fae061b232e38e0b6d94f97a9df10e6271319325ac4c56a86"
[[package]]
name = "arrayref"
version = "0.3.6"
@ -864,6 +870,15 @@ dependencies = [
"slab",
]
[[package]]
name = "fxhash"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c31b6d751ae2c7f11320402d34e41349dd1016f8d5d45e48c4312bc8625af50c"
dependencies = [
"byteorder",
]
[[package]]
name = "generator"
version = "0.6.23"
@ -1268,14 +1283,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",
]
@ -1288,11 +1303,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",
]
@ -1303,9 +1318,9 @@ dependencies = [
"criterion",
"rand",
"rand_xorshift",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
"thiserror",
]
@ -1374,12 +1389,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",
@ -1413,14 +1428,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",
]
@ -2213,9 +2228,9 @@ dependencies = [
[[package]]
name = "rocksdb"
version = "0.13.0"
version = "0.15.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "12069b106981c6103d3eab7dd1c86751482d0779a520b7c14954c8b586c1e643"
checksum = "23d83c02c429044d58474eaf5ae31e062d0de894e21125b47437ec0edc1397e6"
dependencies = [
"libc",
"librocksdb-sys",
@ -2499,10 +2514,9 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75"
[[package]]
name = "snarkos-algorithms"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cb07037b1575665f3a727ef444c513b4727dda85378c5eba26b4c881bc3046e8"
name = "snarkvm-algorithms"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"blake2",
"derivative",
@ -2513,33 +2527,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"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3aee88d337863483d07cd91e5dbc1c12de1375c1a133c49fe18f771924a80d6e"
name = "snarkvm-curves"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"derivative",
"rand",
"rand_xorshift",
"rustc_version",
"serde",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-derives"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a8f6ce35f9f73c13e5381c6938747935ca105e22717998489c3e5ddb8c13120d"
name = "snarkvm-derives"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"proc-macro2 1.0.24",
"quote 1.0.7",
@ -2547,32 +2559,31 @@ dependencies = [
]
[[package]]
name = "snarkos-dpc"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "51ecd7bcea91bbae1e636949b32908df2c674b7381387beadde364d6a3af6ad0"
name = "snarkvm-dpc"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"anyhow",
"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"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "df927c3b41badf8a8479dd6b23340e4799bec44abb7a479cb253d912e888a1ca"
name = "snarkvm-errors"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"base58",
"bech32",
@ -2586,43 +2597,43 @@ dependencies = [
]
[[package]]
name = "snarkos-gadgets"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5f4bded425072f394dacf206323bcd3d2e199d6ec5f7ced3c36fb77f7d22300b"
name = "snarkvm-gadgets"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
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"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "38d90d4fd9030e69dcbca1f7eaea3f14c08653f0f06600f42c2022e8cf72f82d"
name = "snarkvm-models"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"anyhow",
"bincode",
"cfg-if 0.1.10",
"derivative",
"fxhash",
"indexmap",
"itertools 0.9.0",
"rand",
"rand_xorshift",
"serde",
"smallvec",
"snarkos-errors",
"snarkos-utilities",
"snarkvm-errors",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-objects"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a5ec3bdfbe179a157d1484e11ec65fdd3d2bf377ad1a7695753c5f613a57a790"
name = "snarkvm-objects"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"base58",
"bech32",
@ -2633,63 +2644,61 @@ 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"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e8d7634a5cd35a680b81d58dbd842ee38413e81cd9ad6b8317cd93f84c9513c3"
name = "snarkvm-parameters"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"curl",
"hex",
"snarkos-algorithms",
"snarkos-errors",
"snarkos-models",
"snarkos-utilities",
"snarkvm-algorithms",
"snarkvm-errors",
"snarkvm-models",
"snarkvm-utilities",
]
[[package]]
name = "snarkos-profiler"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d0519c9371650425e332e3971ecfc691fbd1c67e03be15c20aba89ac8242ea2b"
name = "snarkvm-profiler"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
[[package]]
name = "snarkos-storage"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0c31a1de407b5d19365e0463ecf4536725055f7b3c52dbe350e153386303eeea"
name = "snarkvm-storage"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"anyhow",
"bincode",
"hex",
"parking_lot",
"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",
"thiserror",
]
[[package]]
name = "snarkos-utilities"
version = "1.1.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6f6e1ccf791ace8d28266d3067d0bf93e3a0c1beafa472f186f55866fe8a7d73"
name = "snarkvm-utilities"
version = "0.0.1"
source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e"
dependencies = [
"bincode",
"rand",
"snarkos-derives",
"snarkos-errors",
"snarkvm-derives",
"snarkvm-errors",
]
[[package]]

36
Cargo.toml
View File

@ -68,28 +68,40 @@ version = "1.0.7"
path = "./state"
version = "1.0.7"
[dependencies.snarkos-algorithms]
version = "1.1.3"
[dependencies.snarkvm-algorithms]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-curves]
version = "1.1.3"
[dependencies.snarkvm-curves]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-errors]
version = "1.1.3"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-gadgets]
version = "1.1.3"
[dependencies.snarkvm-gadgets]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-models]
version = "1.1.3"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-utilities]
version = "1.1.3"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
[dependencies.clap]
version = "2.33.3"

48
compiler/Cargo.toml
View File

@ -57,32 +57,46 @@ version = "1.0.7"
path = "../type-inference"
version = "1.0.7"
[dependencies.snarkos-curves]
version = "1.1.3"
[dependencies.snarkvm-curves]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-dpc]
version = "1.1.3"
[dependencies.snarkvm-dpc]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-errors]
version = "1.1.3"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-gadgets]
version = "1.1.3"
[dependencies.snarkvm-gadgets]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-models]
version = "1.1.3"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-objects]
version = "1.1.3"
[dependencies.snarkvm-objects]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-utilities]
version = "1.1.3"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
[dependencies.bincode]
version = "1.0"
@ -119,8 +133,10 @@ version = "0.1"
[dev-dependencies.num-bigint]
version = "0.3"
[dev-dependencies.snarkos-algorithms]
version = "1.1.3"
[dev-dependencies.snarkvm-algorithms]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[features]

16
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},
};
@ -303,7 +303,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> Compiler<F, G> {
pub fn compile_constraints<CS: ConstraintSystem<F>>(self, cs: &mut CS) -> Result<OutputBytes, CompilerError> {
let path = self.main_file_path;
generate_constraints::<F, G, CS>(cs, self.program, self.program_input, &self.imported_programs).map_err(
generate_constraints::<F, G, CS>(cs, &self.program, &self.program_input, &self.imported_programs).map_err(
|mut error| {
error.set_path(&path);
@ -329,11 +329,11 @@ impl<F: Field + PrimeField, G: GroupType<F>> Compiler<F, G> {
/// Calls the internal generate_constraints method with arguments.
///
pub fn generate_constraints_helper<CS: ConstraintSystem<F>>(
self,
&self,
cs: &mut CS,
) -> Result<OutputBytes, CompilerError> {
let path = self.main_file_path;
generate_constraints::<_, G, _>(cs, self.program, self.program_input, &self.imported_programs).map_err(
let path = &self.main_file_path;
generate_constraints::<_, G, _>(cs, &self.program, &self.program_input, &self.imported_programs).map_err(
|mut error| {
error.set_path(&path);
error
@ -346,7 +346,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstraintSynthesizer<F> for Compil
///
/// Synthesizes the circuit with program input.
///
fn generate_constraints<CS: ConstraintSystem<F>>(self, cs: &mut CS) -> Result<(), SynthesisError> {
fn generate_constraints<CS: ConstraintSystem<F>>(&self, cs: &mut CS) -> Result<(), SynthesisError> {
let output_directory = self.output_directory.clone();
let package_name = self.package_name.clone();
let result = self.generate_constraints_helper(cs).map_err(|e| {

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,
};

10
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},
};
@ -38,15 +38,15 @@ use std::path::Path;
pub fn generate_constraints<F: Field + PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
cs: &mut CS,
program: Program,
input: Input,
program: &Program,
input: &Input,
imported_programs: &ImportParser,
) -> Result<OutputBytes, CompilerError> {
let mut resolved_program = ConstrainedProgram::<F, G>::new();
let program_name = program.get_name();
let main_function_name = new_scope(&program_name, "main");
resolved_program.store_definitions(&program, imported_programs)?;
resolved_program.store_definitions(program, imported_programs)?;
let main = resolved_program.get(&main_function_name).ok_or(CompilerError::NoMain)?;
@ -120,7 +120,7 @@ pub fn generate_test_constraints<F: Field + PrimeField, G: GroupType<F>>(
cs,
&program_name,
test.function,
input, // pass program input into every test
&input, // pass program input into every test
);
match (result.is_ok(), cs.is_satisfied()) {

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,
};

6
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,
};
@ -36,7 +36,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
cs: &mut CS,
scope: &str,
function: Function,
input: Input,
input: &Input,
) -> Result<OutputBytes, FunctionError> {
let function_name = new_scope(scope, function.get_name());
let registers = input.get_registers();
@ -47,7 +47,7 @@ impl<F: Field + PrimeField, G: GroupType<F>> ConstrainedProgram<F, G> {
let (input_id, value) = match input_model {
FunctionInput::InputKeyword(keyword) => {
let input_id = Identifier::new_with_span(&keyword.to_string(), &keyword.span);
let value = self.allocate_input_keyword(cs, keyword, &input)?;
let value = self.allocate_input_keyword(cs, keyword, input)?;
(input_id, value)
}

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;

36
core/Cargo.toml
View File

@ -25,20 +25,28 @@ version = "1.0.7"
path = "../gadgets"
version = "1.0.7"
[dependencies.snarkos-errors]
version = "1.1.3"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-gadgets]
version = "1.1.3"
[dependencies.snarkvm-gadgets]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-models]
version = "1.1.3"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-utilities]
version = "1.1.3"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
[dependencies.rand]
version = "0.7"
@ -51,9 +59,13 @@ default-features = false
[dependencies.thiserror]
version = "1.0"
[dev-dependencies.snarkos-utilities]
version = "1.1.3"
[dev-dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
[dev-dependencies.snarkos-curves]
version = "1.1.3"
[dev-dependencies.snarkvm-curves]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
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

21
gadgets/Cargo.toml
View File

@ -17,16 +17,22 @@ include = [ "Cargo.toml", "src", "README.md", "LICENSE.md" ]
license = "GPL-3.0"
edition = "2018"
[dependencies.snarkos-errors]
version = "1.1.3"
[dependencies.snarkvm-errors]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-models]
version = "1.1.3"
[dependencies.snarkvm-models]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
default-features = false
[dependencies.snarkos-utilities]
version = "1.1.3"
[dependencies.snarkvm-utilities]
git = "https://github.com/AleoHQ/snarkVM.git"
rev = "f99f13d"
version = "0.0.1"
[dependencies.rand]
version = "0.7"
@ -39,9 +45,6 @@ default-features = false
[dependencies.thiserror]
version = "1.0"
[dev-dependencies.snarkos-utilities]
version = "1.1.3"
[dev-dependencies.criterion]
version = "0.3"

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,

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