From 1d9215a1ac8824da7d67de5b996bb0234fc57ece Mon Sep 17 00:00:00 2001 From: howardwu Date: Wed, 30 Dec 2020 11:32:10 -0400 Subject: [PATCH 1/7] Migrates to hot 1.1.4 and adds memory usage improvements for programs --- Cargo.lock | 53 +++++++++---------- Cargo.toml | 18 ++++--- ast/Cargo.toml | 6 ++- compiler/Cargo.toml | 24 ++++++--- compiler/src/compiler.rs | 10 ++-- compiler/src/constraints/constraints.rs | 8 +-- compiler/src/function/main_function.rs | 4 +- core/Cargo.toml | 18 ++++--- gadgets/Cargo.toml | 12 +++-- input/Cargo.toml | 15 ++++-- leo/commands/prove.rs | 2 +- leo/commands/setup.rs | 2 +- leo/synthesizer/circuit_synthesizer.rs | 8 +-- state/Cargo.toml | 22 +++++--- .../test_verify_local_data_commitment.rs | 28 +++++----- 15 files changed, 134 insertions(+), 96 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 3e867a7683b..487a82bed9e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -884,6 +884,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" @@ -2250,9 +2259,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", @@ -2538,8 +2547,7 @@ checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75" [[package]] name = "snarkos-algorithms" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "cb07037b1575665f3a727ef444c513b4727dda85378c5eba26b4c881bc3046e8" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "blake2", "derivative", @@ -2559,8 +2567,7 @@ dependencies = [ [[package]] name = "snarkos-curves" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "3aee88d337863483d07cd91e5dbc1c12de1375c1a133c49fe18f771924a80d6e" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "derivative", "rand", @@ -2575,8 +2582,7 @@ dependencies = [ [[package]] name = "snarkos-derives" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a8f6ce35f9f73c13e5381c6938747935ca105e22717998489c3e5ddb8c13120d" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "proc-macro2 1.0.24", "quote 1.0.7", @@ -2586,8 +2592,7 @@ dependencies = [ [[package]] name = "snarkos-dpc" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "51ecd7bcea91bbae1e636949b32908df2c674b7381387beadde364d6a3af6ad0" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "blake2", "derivative", @@ -2608,8 +2613,7 @@ dependencies = [ [[package]] name = "snarkos-errors" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "df927c3b41badf8a8479dd6b23340e4799bec44abb7a479cb253d912e888a1ca" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "base58", "bech32", @@ -2625,8 +2629,7 @@ dependencies = [ [[package]] name = "snarkos-gadgets" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5f4bded425072f394dacf206323bcd3d2e199d6ec5f7ced3c36fb77f7d22300b" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "derivative", "digest 0.8.1", @@ -2641,16 +2644,17 @@ dependencies = [ [[package]] name = "snarkos-models" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "38d90d4fd9030e69dcbca1f7eaea3f14c08653f0f06600f42c2022e8cf72f82d" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "bincode", + "cfg-if 0.1.10", "derivative", + "fxhash", + "indexmap", "itertools 0.9.0", "rand", "rand_xorshift", "serde", - "smallvec", "snarkos-errors", "snarkos-utilities", ] @@ -2658,8 +2662,7 @@ dependencies = [ [[package]] name = "snarkos-objects" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "a5ec3bdfbe179a157d1484e11ec65fdd3d2bf377ad1a7695753c5f613a57a790" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "base58", "bech32", @@ -2680,8 +2683,7 @@ dependencies = [ [[package]] name = "snarkos-parameters" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e8d7634a5cd35a680b81d58dbd842ee38413e81cd9ad6b8317cd93f84c9513c3" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "curl", "hex", @@ -2694,14 +2696,12 @@ dependencies = [ [[package]] name = "snarkos-profiler" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "d0519c9371650425e332e3971ecfc691fbd1c67e03be15c20aba89ac8242ea2b" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" [[package]] name = "snarkos-storage" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "0c31a1de407b5d19365e0463ecf4536725055f7b3c52dbe350e153386303eeea" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "bincode", "hex", @@ -2720,8 +2720,7 @@ dependencies = [ [[package]] name = "snarkos-utilities" version = "1.1.4" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "6f6e1ccf791ace8d28266d3067d0bf93e3a0c1beafa472f186f55866fe8a7d73" +source = "git+https://github.com/AleoHQ/snarkOS.git#e4a58781a94ba2ffc5aac1ca487e1fb28414bfc9" dependencies = [ "bincode", "rand", diff --git a/Cargo.toml b/Cargo.toml index 99192f1beab..2a927137f26 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -69,27 +69,33 @@ path = "./state" version = "1.0.7" [dependencies.snarkos-algorithms] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-curves] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-gadgets] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dependencies.clap] version = "2.33.3" diff --git a/ast/Cargo.toml b/ast/Cargo.toml index d5d5552a264..1dd557e7596 100644 --- a/ast/Cargo.toml +++ b/ast/Cargo.toml @@ -35,11 +35,13 @@ path = "../input" version = "1.0.7" [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.indexmap] diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml index f05b3757670..6467f5c46a5 100644 --- a/compiler/Cargo.toml +++ b/compiler/Cargo.toml @@ -58,31 +58,38 @@ path = "../type-inference" version = "1.0.7" [dependencies.snarkos-curves] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-dpc] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-gadgets] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-objects] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dependencies.bincode] version = "1.0" @@ -123,7 +130,8 @@ version = "0.2" version = "0.3" [dev-dependencies.snarkos-algorithms] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [features] diff --git a/compiler/src/compiler.rs b/compiler/src/compiler.rs index 51e85d1d0fe..08e0a204d9d 100644 --- a/compiler/src/compiler.rs +++ b/compiler/src/compiler.rs @@ -303,7 +303,7 @@ impl> Compiler { pub fn compile_constraints>(self, cs: &mut CS) -> Result { let path = self.main_file_path; - generate_constraints::(cs, self.program, self.program_input, &self.imported_programs).map_err( + generate_constraints::(cs, &self.program, &self.program_input, &self.imported_programs).map_err( |mut error| { error.set_path(&path); @@ -329,11 +329,11 @@ impl> Compiler { /// Calls the internal generate_constraints method with arguments. /// pub fn generate_constraints_helper>( - self, + &self, cs: &mut CS, ) -> Result { - 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> ConstraintSynthesizer for Compil /// /// Synthesizes the circuit with program input. /// - fn generate_constraints>(self, cs: &mut CS) -> Result<(), SynthesisError> { + fn generate_constraints>(&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| { diff --git a/compiler/src/constraints/constraints.rs b/compiler/src/constraints/constraints.rs index cc4969f4897..2629c2e7dd9 100644 --- a/compiler/src/constraints/constraints.rs +++ b/compiler/src/constraints/constraints.rs @@ -38,15 +38,15 @@ use std::path::Path; pub fn generate_constraints, CS: ConstraintSystem>( cs: &mut CS, - program: Program, - input: Input, + program: &Program, + input: &Input, imported_programs: &ImportParser, ) -> Result { let mut resolved_program = ConstrainedProgram::::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>( 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()) { diff --git a/compiler/src/function/main_function.rs b/compiler/src/function/main_function.rs index a229025fa05..c3fdb37208e 100644 --- a/compiler/src/function/main_function.rs +++ b/compiler/src/function/main_function.rs @@ -36,7 +36,7 @@ impl> ConstrainedProgram { cs: &mut CS, scope: &str, function: Function, - input: Input, + input: &Input, ) -> Result { let function_name = new_scope(scope, function.get_name()); let registers = input.get_registers(); @@ -47,7 +47,7 @@ impl> ConstrainedProgram { 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) } diff --git a/core/Cargo.toml b/core/Cargo.toml index caf4e916254..273b65ad68f 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -26,19 +26,23 @@ path = "../gadgets" version = "1.0.7" [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-gadgets] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dependencies.rand] version = "0.7" @@ -52,8 +56,10 @@ default-features = false version = "1.0" [dev-dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dev-dependencies.snarkos-curves] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index 6a8fdd9d734..3bbad691216 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -18,15 +18,18 @@ license = "GPL-3.0" edition = "2018" [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dependencies.rand] version = "0.7" @@ -40,7 +43,8 @@ default-features = false version = "1.0" [dev-dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dev-dependencies.criterion] version = "0.3" diff --git a/input/Cargo.toml b/input/Cargo.toml index 85c9dc196b1..39ed20f5533 100644 --- a/input/Cargo.toml +++ b/input/Cargo.toml @@ -18,23 +18,28 @@ license = "GPL-3.0" edition = "2018" [dependencies.snarkos-algorithms] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-curves] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-gadgets] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.from-pest] diff --git a/leo/commands/prove.rs b/leo/commands/prove.rs index 37b9d8bd83d..1b269b7af79 100644 --- a/leo/commands/prove.rs +++ b/leo/commands/prove.rs @@ -62,7 +62,7 @@ impl CLI for ProveCommand { let start = Instant::now(); let rng = &mut thread_rng(); - let program_proof = Groth16::>::prove(¶meters, program, rng)?; + let program_proof = Groth16::>::prove(¶meters, &program, rng)?; // Finish the timer let end = start.elapsed().as_millis(); diff --git a/leo/commands/setup.rs b/leo/commands/setup.rs index 3e90c939e2e..33f568a4bb9 100644 --- a/leo/commands/setup.rs +++ b/leo/commands/setup.rs @@ -85,7 +85,7 @@ impl CLI for SetupCommand { // Run the program setup operation let rng = &mut thread_rng(); let (proving_key, prepared_verifying_key) = - Groth16::, Vec>::setup(program.clone(), rng).unwrap(); + Groth16::, Vec>::setup(&program, rng).unwrap(); // End the timer let end = setup_start.elapsed().as_millis(); diff --git a/leo/synthesizer/circuit_synthesizer.rs b/leo/synthesizer/circuit_synthesizer.rs index 0bdd6e7897f..0673055a1db 100644 --- a/leo/synthesizer/circuit_synthesizer.rs +++ b/leo/synthesizer/circuit_synthesizer.rs @@ -39,7 +39,7 @@ impl ConstraintSystem for CircuitSynthesizer { where F: FnOnce() -> Result, A: FnOnce() -> AR, - AR: Into, + AR: AsRef, { let index = self.aux_assignment.len(); self.aux_assignment.push(f()?); @@ -51,7 +51,7 @@ impl ConstraintSystem for CircuitSynthesizer { where F: FnOnce() -> Result, A: FnOnce() -> AR, - AR: Into, + AR: AsRef, { let index = self.input_assignment.len(); self.input_assignment.push(f()?); @@ -62,7 +62,7 @@ impl ConstraintSystem for CircuitSynthesizer { fn enforce(&mut self, _: A, a: LA, b: LB, c: LC) where A: FnOnce() -> AR, - AR: Into, + AR: AsRef, LA: FnOnce(LinearCombination) -> LinearCombination, LB: FnOnce(LinearCombination) -> LinearCombination, LC: FnOnce(LinearCombination) -> LinearCombination, @@ -82,7 +82,7 @@ impl ConstraintSystem for CircuitSynthesizer { fn push_namespace(&mut self, _: N) where - NR: Into, + NR: AsRef, N: FnOnce() -> NR, { // Do nothing; we don't care about namespaces in this context. diff --git a/state/Cargo.toml b/state/Cargo.toml index c3d5405f06f..18426a17081 100644 --- a/state/Cargo.toml +++ b/state/Cargo.toml @@ -26,31 +26,38 @@ path = "../ast" version = "1.0.7" [dependencies.snarkos-algorithms] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-curves] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-dpc] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-errors] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-models] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-objects] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" default-features = false [dependencies.snarkos-utilities] -version = "1.1.3" +git = "https://github.com/AleoHQ/snarkOS.git" +version = "1.1.4" [dependencies.indexmap] version = "1.6.1" @@ -66,4 +73,5 @@ version = "0.2" version = "1.0" [dev-dependencies.snarkos-storage] +git = "https://github.com/AleoHQ/snarkOS.git" version = "1.1.4" diff --git a/state/tests/test_verify_local_data_commitment.rs b/state/tests/test_verify_local_data_commitment.rs index 83dc69a46b5..7792fd19d90 100644 --- a/state/tests/test_verify_local_data_commitment.rs +++ b/state/tests/test_verify_local_data_commitment.rs @@ -98,14 +98,14 @@ fn test_generate_values_from_dpc() { let payload: [u8; 32] = rng.gen(); let old_record = DPC::generate_record( - &system_parameters, - &sn_nonce, - &dummy_account.address, + system_parameters.clone(), + sn_nonce, + dummy_account.address, false, value, - &RecordPayload::from_bytes(&payload), - &noop_program_id, - &noop_program_id, + RecordPayload::from_bytes(&payload), + noop_program_id.clone(), + noop_program_id.clone(), &mut rng, ) .unwrap(); @@ -137,16 +137,16 @@ fn test_generate_values_from_dpc() { let memo = [0u8; 32]; let context = >::execute_offline( - &system_parameters, - &old_records, - &old_account_private_keys, - &new_record_owners, + system_parameters.clone(), + old_records, + old_account_private_keys, + new_record_owners, &new_is_dummy_flags, &new_values, - &new_payloads, - &new_birth_program_ids, - &new_death_program_ids, - &memo, + new_payloads, + new_birth_program_ids, + new_death_program_ids, + memo, network_id, &mut rng, ) From 638f3679083dc041814ed48accffe2ed4b7c6f46 Mon Sep 17 00:00:00 2001 From: howardwu Date: Wed, 30 Dec 2020 11:43:54 -0400 Subject: [PATCH 2/7] Remove unused snarkos dev-dep --- gadgets/Cargo.toml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index 3bbad691216..a55189fbbf6 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -42,10 +42,6 @@ default-features = false [dependencies.thiserror] version = "1.0" -[dev-dependencies.snarkos-utilities] -git = "https://github.com/AleoHQ/snarkOS.git" -version = "1.1.4" - [dev-dependencies.criterion] version = "0.3" From 2d6451576332ace97f3d0582e3cc138b820fe410 Mon Sep 17 00:00:00 2001 From: howardwu Date: Wed, 30 Dec 2020 12:40:45 -0400 Subject: [PATCH 3/7] Migrate to snarkVM --- .travis.yml | 2 +- Cargo.lock | 188 +++++++++--------- Cargo.toml | 24 +-- compiler/Cargo.toml | 32 +-- compiler/src/compiler.rs | 6 +- compiler/src/console/assert.rs | 2 +- compiler/src/console/console.rs | 2 +- compiler/src/console/format.rs | 2 +- compiler/src/constraints/constraints.rs | 2 +- compiler/src/definition/definition.rs | 2 +- compiler/src/definition/definitions.rs | 2 +- compiler/src/errors/expression.rs | 2 +- compiler/src/errors/value/address.rs | 2 +- compiler/src/errors/value/boolean.rs | 2 +- compiler/src/errors/value/field.rs | 2 +- compiler/src/errors/value/group.rs | 2 +- compiler/src/errors/value/integer.rs | 2 +- compiler/src/expression/arithmetic/add.rs | 2 +- compiler/src/expression/arithmetic/div.rs | 2 +- compiler/src/expression/arithmetic/mul.rs | 2 +- compiler/src/expression/arithmetic/negate.rs | 2 +- compiler/src/expression/arithmetic/pow.rs | 2 +- compiler/src/expression/arithmetic/sub.rs | 2 +- compiler/src/expression/array/access.rs | 2 +- compiler/src/expression/array/array.rs | 2 +- compiler/src/expression/array/index.rs | 2 +- compiler/src/expression/binary/binary.rs | 2 +- compiler/src/expression/binary/operand.rs | 2 +- compiler/src/expression/circuit/access.rs | 2 +- compiler/src/expression/circuit/circuit.rs | 2 +- .../src/expression/circuit/static_access.rs | 2 +- .../src/expression/conditional/conditional.rs | 2 +- compiler/src/expression/expression.rs | 2 +- .../src/expression/function/core_circuit.rs | 2 +- compiler/src/expression/function/function.rs | 2 +- .../src/expression/identifier/identifier.rs | 2 +- compiler/src/expression/logical/and.rs | 2 +- compiler/src/expression/logical/not.rs | 2 +- compiler/src/expression/logical/or.rs | 2 +- compiler/src/expression/relational/eq.rs | 2 +- compiler/src/expression/relational/ge.rs | 2 +- compiler/src/expression/relational/gt.rs | 2 +- compiler/src/expression/relational/le.rs | 2 +- compiler/src/expression/relational/lt.rs | 2 +- compiler/src/expression/tuple/access.rs | 2 +- compiler/src/expression/tuple/tuple.rs | 2 +- compiler/src/function/function.rs | 2 +- compiler/src/function/input/array.rs | 2 +- compiler/src/function/input/function_input.rs | 2 +- compiler/src/function/input/input_keyword.rs | 2 +- compiler/src/function/input/input_section.rs | 2 +- .../src/function/input/main_function_input.rs | 2 +- compiler/src/function/input/tuple.rs | 2 +- compiler/src/function/main_function.rs | 2 +- compiler/src/function/result/result.rs | 2 +- compiler/src/import/store/core_package.rs | 2 +- compiler/src/import/store/import.rs | 2 +- compiler/src/import/store/symbol.rs | 2 +- compiler/src/output/output_bytes.rs | 2 +- compiler/src/program/program.rs | 2 +- compiler/src/statement/assign/assign.rs | 2 +- compiler/src/statement/assign/assignee.rs | 2 +- compiler/src/statement/block/block.rs | 2 +- .../src/statement/conditional/conditional.rs | 2 +- .../src/statement/definition/definition.rs | 2 +- compiler/src/statement/iteration/iteration.rs | 2 +- compiler/src/statement/return_/return_.rs | 2 +- compiler/src/statement/statement.rs | 2 +- compiler/src/value/address/address.rs | 10 +- compiler/src/value/boolean/input.rs | 4 +- compiler/src/value/field/field_type.rs | 4 +- compiler/src/value/field/input.rs | 4 +- compiler/src/value/group/group_type.rs | 2 +- compiler/src/value/group/input.rs | 4 +- .../src/value/group/targets/edwards_bls12.rs | 8 +- compiler/src/value/implicit/implicit.rs | 2 +- compiler/src/value/integer/integer.rs | 4 +- compiler/src/value/integer/macros.rs | 2 +- compiler/src/value/value.rs | 4 +- .../core/packages/unstable/blake2s/mod.rs | 6 +- compiler/tests/field/mod.rs | 4 +- compiler/tests/group/mod.rs | 2 +- compiler/tests/mod.rs | 4 +- core/Cargo.toml | 24 +-- core/src/errors/core_circuit.rs | 2 +- core/src/lib.rs | 2 +- core/src/packages/unstable/blake2s.rs | 8 +- core/src/types/core_circuit.rs | 2 +- core/src/types/value.rs | 2 +- gadgets/Cargo.toml | 12 +- gadgets/benches/integer_arithmetic.rs | 2 +- gadgets/src/arithmetic/add.rs | 4 +- gadgets/src/arithmetic/div.rs | 2 +- gadgets/src/arithmetic/mul.rs | 2 +- gadgets/src/arithmetic/neg.rs | 4 +- gadgets/src/arithmetic/pow.rs | 2 +- gadgets/src/arithmetic/sub.rs | 2 +- gadgets/src/bits/adder.rs | 4 +- gadgets/src/bits/comparator.rs | 4 +- gadgets/src/bits/rca.rs | 4 +- gadgets/src/bits/sign_extend.rs | 2 +- gadgets/src/errors/signed_integer.rs | 2 +- gadgets/src/signed_integer/arithmetic/add.rs | 2 +- gadgets/src/signed_integer/arithmetic/div.rs | 2 +- gadgets/src/signed_integer/arithmetic/mul.rs | 2 +- gadgets/src/signed_integer/arithmetic/neg.rs | 2 +- gadgets/src/signed_integer/arithmetic/pow.rs | 2 +- gadgets/src/signed_integer/arithmetic/sub.rs | 2 +- gadgets/src/signed_integer/int_impl.rs | 2 +- gadgets/src/signed_integer/relational/cmp.rs | 4 +- gadgets/src/signed_integer/relational/eq.rs | 4 +- gadgets/src/signed_integer/utilities/alloc.rs | 4 +- gadgets/src/signed_integer/utilities/eq.rs | 4 +- .../src/signed_integer/utilities/select.rs | 4 +- gadgets/tests/signed_integer/i128.rs | 2 +- gadgets/tests/signed_integer/i16.rs | 2 +- gadgets/tests/signed_integer/i32.rs | 2 +- gadgets/tests/signed_integer/i64.rs | 2 +- gadgets/tests/signed_integer/i8.rs | 2 +- leo/commands/build.rs | 4 +- leo/commands/prove.rs | 6 +- leo/commands/run.rs | 6 +- leo/commands/setup.rs | 6 +- leo/commands/test.rs | 2 +- leo/errors/cli.rs | 14 +- leo/synthesizer/circuit_synthesizer.rs | 4 +- leo/synthesizer/serialized_circuit.rs | 6 +- leo/synthesizer/serialized_field.rs | 4 +- leo/synthesizer/serialized_index.rs | 2 +- state/Cargo.toml | 32 +-- state/src/errors/dpc_record_values.rs | 2 +- state/src/errors/local_data_commitment.rs | 2 +- state/src/errors/record_commitment.rs | 2 +- .../local_data_commitment.rs | 8 +- .../record_commitment/dpc_record_values.rs | 4 +- .../record_commitment/record_commitment.rs | 6 +- .../test_verify_local_data_commitment.rs | 12 +- state/tests/test_verify_record_commitment.rs | 2 +- 138 files changed, 348 insertions(+), 348 deletions(-) diff --git a/.travis.yml b/.travis.yml index 7916812a54b..0962bf1c943 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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" \ diff --git a/Cargo.lock b/Cargo.lock index be054a6b03f..3685aca9115 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -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]] diff --git a/Cargo.toml b/Cargo.toml index 216ce99ce3d..4907302ef46 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -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] diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml index 8c9b42a9bf0..2e3bc512c6b 100644 --- a/compiler/Cargo.toml +++ b/compiler/Cargo.toml @@ -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 diff --git a/compiler/src/compiler.rs b/compiler/src/compiler.rs index 08e0a204d9d..e8786471409 100644 --- a/compiler/src/compiler.rs +++ b/compiler/src/compiler.rs @@ -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}, }; diff --git a/compiler/src/console/assert.rs b/compiler/src/console/assert.rs index e3df68ba9d8..3b946959b3c 100644 --- a/compiler/src/console/assert.rs +++ b/compiler/src/console/assert.rs @@ -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}, }; diff --git a/compiler/src/console/console.rs b/compiler/src/console/console.rs index 652b63d0dc4..8035a9238f2 100644 --- a/compiler/src/console/console.rs +++ b/compiler/src/console/console.rs @@ -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}, }; diff --git a/compiler/src/console/format.rs b/compiler/src/console/format.rs index 075b2c333fb..1c16f469553 100644 --- a/compiler/src/console/format.rs +++ b/compiler/src/console/format.rs @@ -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, }; diff --git a/compiler/src/constraints/constraints.rs b/compiler/src/constraints/constraints.rs index 2629c2e7dd9..4d4e1252e7d 100644 --- a/compiler/src/constraints/constraints.rs +++ b/compiler/src/constraints/constraints.rs @@ -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}, }; diff --git a/compiler/src/definition/definition.rs b/compiler/src/definition/definition.rs index b684eadb75c..ca9623ec0c6 100644 --- a/compiler/src/definition/definition.rs +++ b/compiler/src/definition/definition.rs @@ -23,7 +23,7 @@ use crate::{ }; use leo_ast::Identifier; -use snarkos_models::curves::{Field, PrimeField}; +use snarkvm_models::curves::{Field, PrimeField}; impl> ConstrainedProgram { pub fn store_definition( diff --git a/compiler/src/definition/definitions.rs b/compiler/src/definition/definitions.rs index f7707302ae8..d075c779f55 100644 --- a/compiler/src/definition/definitions.rs +++ b/compiler/src/definition/definitions.rs @@ -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> ConstrainedProgram { pub fn store_definitions( diff --git a/compiler/src/errors/expression.rs b/compiler/src/errors/expression.rs index be0deb5925f..00d75edcc8f 100644 --- a/compiler/src/errors/expression.rs +++ b/compiler/src/errors/expression.rs @@ -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)] diff --git a/compiler/src/errors/value/address.rs b/compiler/src/errors/value/address.rs index c48ae4a993e..7d8bcfbf008 100644 --- a/compiler/src/errors/value/address.rs +++ b/compiler/src/errors/value/address.rs @@ -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)] diff --git a/compiler/src/errors/value/boolean.rs b/compiler/src/errors/value/boolean.rs index 1160f38d7a0..375c312c7a6 100644 --- a/compiler/src/errors/value/boolean.rs +++ b/compiler/src/errors/value/boolean.rs @@ -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)] diff --git a/compiler/src/errors/value/field.rs b/compiler/src/errors/value/field.rs index 5dda86a6773..f125f0d8bc4 100644 --- a/compiler/src/errors/value/field.rs +++ b/compiler/src/errors/value/field.rs @@ -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)] diff --git a/compiler/src/errors/value/group.rs b/compiler/src/errors/value/group.rs index d03c6b502fb..88a4e4c9879 100644 --- a/compiler/src/errors/value/group.rs +++ b/compiler/src/errors/value/group.rs @@ -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)] diff --git a/compiler/src/errors/value/integer.rs b/compiler/src/errors/value/integer.rs index 5ff19eb4922..e2ce8ec1985 100644 --- a/compiler/src/errors/value/integer.rs +++ b/compiler/src/errors/value/integer.rs @@ -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)] diff --git a/compiler/src/expression/arithmetic/add.rs b/compiler/src/expression/arithmetic/add.rs index 504a4c99af2..a64218c78f5 100644 --- a/compiler/src/expression/arithmetic/add.rs +++ b/compiler/src/expression/arithmetic/add.rs @@ -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, }; diff --git a/compiler/src/expression/arithmetic/div.rs b/compiler/src/expression/arithmetic/div.rs index 6120e1ecf30..77a86c10b54 100644 --- a/compiler/src/expression/arithmetic/div.rs +++ b/compiler/src/expression/arithmetic/div.rs @@ -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, }; diff --git a/compiler/src/expression/arithmetic/mul.rs b/compiler/src/expression/arithmetic/mul.rs index 71eea3a6630..913c31f19ae 100644 --- a/compiler/src/expression/arithmetic/mul.rs +++ b/compiler/src/expression/arithmetic/mul.rs @@ -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, }; diff --git a/compiler/src/expression/arithmetic/negate.rs b/compiler/src/expression/arithmetic/negate.rs index 43c34837136..d7994d14b58 100644 --- a/compiler/src/expression/arithmetic/negate.rs +++ b/compiler/src/expression/arithmetic/negate.rs @@ -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, }; diff --git a/compiler/src/expression/arithmetic/pow.rs b/compiler/src/expression/arithmetic/pow.rs index 403e5f97d2c..a48458482f1 100644 --- a/compiler/src/expression/arithmetic/pow.rs +++ b/compiler/src/expression/arithmetic/pow.rs @@ -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, }; diff --git a/compiler/src/expression/arithmetic/sub.rs b/compiler/src/expression/arithmetic/sub.rs index a21aea905b1..632ed925fb5 100644 --- a/compiler/src/expression/arithmetic/sub.rs +++ b/compiler/src/expression/arithmetic/sub.rs @@ -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, }; diff --git a/compiler/src/expression/array/access.rs b/compiler/src/expression/array/access.rs index c6ed9084738..1079a46df10 100644 --- a/compiler/src/expression/array/access.rs +++ b/compiler/src/expression/array/access.rs @@ -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, }; diff --git a/compiler/src/expression/array/array.rs b/compiler/src/expression/array/array.rs index fe740cc0694..a56544befb6 100644 --- a/compiler/src/expression/array/array.rs +++ b/compiler/src/expression/array/array.rs @@ -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, }; diff --git a/compiler/src/expression/array/index.rs b/compiler/src/expression/array/index.rs index 02d361bae51..0c67ed4cdc5 100644 --- a/compiler/src/expression/array/index.rs +++ b/compiler/src/expression/array/index.rs @@ -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, }; diff --git a/compiler/src/expression/binary/binary.rs b/compiler/src/expression/binary/binary.rs index fade74bb0b4..270e05fb1d7 100644 --- a/compiler/src/expression/binary/binary.rs +++ b/compiler/src/expression/binary/binary.rs @@ -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, }; diff --git a/compiler/src/expression/binary/operand.rs b/compiler/src/expression/binary/operand.rs index e9853b8adfb..44730d2fea9 100644 --- a/compiler/src/expression/binary/operand.rs +++ b/compiler/src/expression/binary/operand.rs @@ -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, }; diff --git a/compiler/src/expression/circuit/access.rs b/compiler/src/expression/circuit/access.rs index 4172c8c4764..244fc4512cd 100644 --- a/compiler/src/expression/circuit/access.rs +++ b/compiler/src/expression/circuit/access.rs @@ -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, }; diff --git a/compiler/src/expression/circuit/circuit.rs b/compiler/src/expression/circuit/circuit.rs index b1e8687a74c..09f9c525d69 100644 --- a/compiler/src/expression/circuit/circuit.rs +++ b/compiler/src/expression/circuit/circuit.rs @@ -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, }; diff --git a/compiler/src/expression/circuit/static_access.rs b/compiler/src/expression/circuit/static_access.rs index 92c4f58b5bc..b10e9d04403 100644 --- a/compiler/src/expression/circuit/static_access.rs +++ b/compiler/src/expression/circuit/static_access.rs @@ -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, }; diff --git a/compiler/src/expression/conditional/conditional.rs b/compiler/src/expression/conditional/conditional.rs index a0b8e5a090f..8d55c797419 100644 --- a/compiler/src/expression/conditional/conditional.rs +++ b/compiler/src/expression/conditional/conditional.rs @@ -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}, }; diff --git a/compiler/src/expression/expression.rs b/compiler/src/expression/expression.rs index ec47da8ace1..23a7f66da59 100644 --- a/compiler/src/expression/expression.rs +++ b/compiler/src/expression/expression.rs @@ -30,7 +30,7 @@ use crate::{ }; use leo_ast::{expression::*, Expression, Type}; -use snarkos_models::{ +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::r1cs::ConstraintSystem, }; diff --git a/compiler/src/expression/function/core_circuit.rs b/compiler/src/expression/function/core_circuit.rs index 7e9835f0761..5e74cf38cff 100644 --- a/compiler/src/expression/function/core_circuit.rs +++ b/compiler/src/expression/function/core_circuit.rs @@ -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, }; diff --git a/compiler/src/expression/function/function.rs b/compiler/src/expression/function/function.rs index e9fc295edb7..24f510c2fee 100644 --- a/compiler/src/expression/function/function.rs +++ b/compiler/src/expression/function/function.rs @@ -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, }; diff --git a/compiler/src/expression/identifier/identifier.rs b/compiler/src/expression/identifier/identifier.rs index 58abdddb30e..de30d839124 100644 --- a/compiler/src/expression/identifier/identifier.rs +++ b/compiler/src/expression/identifier/identifier.rs @@ -25,7 +25,7 @@ use crate::{ }; use leo_ast::{Identifier, Type}; -use snarkos_models::curves::{Field, PrimeField}; +use snarkvm_models::curves::{Field, PrimeField}; impl> ConstrainedProgram { /// Enforce a variable expression by getting the resolved value diff --git a/compiler/src/expression/logical/and.rs b/compiler/src/expression/logical/and.rs index b58cdb614f7..1000a2b7ded 100644 --- a/compiler/src/expression/logical/and.rs +++ b/compiler/src/expression/logical/and.rs @@ -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}, }; diff --git a/compiler/src/expression/logical/not.rs b/compiler/src/expression/logical/not.rs index f40089f982d..1401ed99d2f 100644 --- a/compiler/src/expression/logical/not.rs +++ b/compiler/src/expression/logical/not.rs @@ -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>( value: ConstrainedValue, diff --git a/compiler/src/expression/logical/or.rs b/compiler/src/expression/logical/or.rs index 0915d3e77b4..d8bce5d7cca 100644 --- a/compiler/src/expression/logical/or.rs +++ b/compiler/src/expression/logical/or.rs @@ -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}, }; diff --git a/compiler/src/expression/relational/eq.rs b/compiler/src/expression/relational/eq.rs index 75f8de4ae95..fc140d9203f 100644 --- a/compiler/src/expression/relational/eq.rs +++ b/compiler/src/expression/relational/eq.rs @@ -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, diff --git a/compiler/src/expression/relational/ge.rs b/compiler/src/expression/relational/ge.rs index c7ebb817d7d..9ffdae4f7e1 100644 --- a/compiler/src/expression/relational/ge.rs +++ b/compiler/src/expression/relational/ge.rs @@ -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, }; diff --git a/compiler/src/expression/relational/gt.rs b/compiler/src/expression/relational/gt.rs index e7d1283b110..7f7e817660e 100644 --- a/compiler/src/expression/relational/gt.rs +++ b/compiler/src/expression/relational/gt.rs @@ -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, }; diff --git a/compiler/src/expression/relational/le.rs b/compiler/src/expression/relational/le.rs index d5794ca9bd2..ef615a76b48 100644 --- a/compiler/src/expression/relational/le.rs +++ b/compiler/src/expression/relational/le.rs @@ -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, }; diff --git a/compiler/src/expression/relational/lt.rs b/compiler/src/expression/relational/lt.rs index 17af89b8323..f77fdb2a733 100644 --- a/compiler/src/expression/relational/lt.rs +++ b/compiler/src/expression/relational/lt.rs @@ -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, }; diff --git a/compiler/src/expression/tuple/access.rs b/compiler/src/expression/tuple/access.rs index 03cc03ebcee..1218cdf15bb 100644 --- a/compiler/src/expression/tuple/access.rs +++ b/compiler/src/expression/tuple/access.rs @@ -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, }; diff --git a/compiler/src/expression/tuple/tuple.rs b/compiler/src/expression/tuple/tuple.rs index b002908a460..358def9bdf7 100644 --- a/compiler/src/expression/tuple/tuple.rs +++ b/compiler/src/expression/tuple/tuple.rs @@ -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, }; diff --git a/compiler/src/function/function.rs b/compiler/src/function/function.rs index 4786fb7d5ad..18cc1d86dc9 100644 --- a/compiler/src/function/function.rs +++ b/compiler/src/function/function.rs @@ -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}, }; diff --git a/compiler/src/function/input/array.rs b/compiler/src/function/input/array.rs index 5158947d0c4..78df4e18020 100644 --- a/compiler/src/function/input/array.rs +++ b/compiler/src/function/input/array.rs @@ -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, }; diff --git a/compiler/src/function/input/function_input.rs b/compiler/src/function/input/function_input.rs index 77624fbfc61..aee14ff3e69 100644 --- a/compiler/src/function/input/function_input.rs +++ b/compiler/src/function/input/function_input.rs @@ -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, }; diff --git a/compiler/src/function/input/input_keyword.rs b/compiler/src/function/input/input_keyword.rs index 3d40090a3f4..0f74c35b064 100644 --- a/compiler/src/function/input/input_keyword.rs +++ b/compiler/src/function/input/input_keyword.rs @@ -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, }; diff --git a/compiler/src/function/input/input_section.rs b/compiler/src/function/input/input_section.rs index c33bc396365..69947906d77 100644 --- a/compiler/src/function/input/input_section.rs +++ b/compiler/src/function/input/input_section.rs @@ -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, }; diff --git a/compiler/src/function/input/main_function_input.rs b/compiler/src/function/input/main_function_input.rs index 7bed5fc2734..0a14a9ac617 100644 --- a/compiler/src/function/input/main_function_input.rs +++ b/compiler/src/function/input/main_function_input.rs @@ -32,7 +32,7 @@ use crate::{ use leo_ast::{InputValue, Span, Type}; -use snarkos_models::{ +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::r1cs::ConstraintSystem, }; diff --git a/compiler/src/function/input/tuple.rs b/compiler/src/function/input/tuple.rs index 8ad74507d06..db75c63ed05 100644 --- a/compiler/src/function/input/tuple.rs +++ b/compiler/src/function/input/tuple.rs @@ -25,7 +25,7 @@ use crate::{ use leo_ast::{InputValue, Span, Type}; -use snarkos_models::{ +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::r1cs::ConstraintSystem, }; diff --git a/compiler/src/function/main_function.rs b/compiler/src/function/main_function.rs index c3fdb37208e..d08faa169ff 100644 --- a/compiler/src/function/main_function.rs +++ b/compiler/src/function/main_function.rs @@ -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, }; diff --git a/compiler/src/function/result/result.rs b/compiler/src/function/result/result.rs index 1971dd7c4ea..81aa93b55b9 100644 --- a/compiler/src/function/result/result.rs +++ b/compiler/src/function/result/result.rs @@ -27,7 +27,7 @@ use crate::{ use leo_ast::{Span, Type}; -use snarkos_models::{ +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::{ r1cs::ConstraintSystem, diff --git a/compiler/src/import/store/core_package.rs b/compiler/src/import/store/core_package.rs index 4eb6b49924a..efefe7147a2 100644 --- a/compiler/src/import/store/core_package.rs +++ b/compiler/src/import/store/core_package.rs @@ -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> ConstrainedProgram { pub(crate) fn store_core_package(&mut self, scope: &str, package: Package) -> Result<(), LeoCorePackageError> { diff --git a/compiler/src/import/store/import.rs b/compiler/src/import/store/import.rs index 9c03ae4c114..37f82065059 100644 --- a/compiler/src/import/store/import.rs +++ b/compiler/src/import/store/import.rs @@ -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> ConstrainedProgram { pub(crate) fn store_import( diff --git a/compiler/src/import/store/symbol.rs b/compiler/src/import/store/symbol.rs index e20e1e14bbc..61b781b8e29 100644 --- a/compiler/src/import/store/symbol.rs +++ b/compiler/src/import/store/symbol.rs @@ -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> ConstrainedProgram { pub(crate) fn store_symbol( diff --git a/compiler/src/output/output_bytes.rs b/compiler/src/output/output_bytes.rs index 8a797dae737..db41582b221 100644 --- a/compiler/src/output/output_bytes.rs +++ b/compiler/src/output/output_bytes.rs @@ -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}; diff --git a/compiler/src/program/program.rs b/compiler/src/program/program.rs index 75f36f46778..e97ac493702 100644 --- a/compiler/src/program/program.rs +++ b/compiler/src/program/program.rs @@ -18,7 +18,7 @@ use crate::{value::ConstrainedValue, GroupType}; -use snarkos_models::curves::{Field, PrimeField}; +use snarkvm_models::curves::{Field, PrimeField}; use indexmap::IndexMap; diff --git a/compiler/src/statement/assign/assign.rs b/compiler/src/statement/assign/assign.rs index 1dd1c4ac158..da95bde3699 100644 --- a/compiler/src/statement/assign/assign.rs +++ b/compiler/src/statement/assign/assign.rs @@ -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, diff --git a/compiler/src/statement/assign/assignee.rs b/compiler/src/statement/assign/assignee.rs index 8a2dfdf9c1f..deac8ba26ae 100644 --- a/compiler/src/statement/assign/assignee.rs +++ b/compiler/src/statement/assign/assignee.rs @@ -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, }; diff --git a/compiler/src/statement/block/block.rs b/compiler/src/statement/block/block.rs index b7168520410..68fdb6177c6 100644 --- a/compiler/src/statement/block/block.rs +++ b/compiler/src/statement/block/block.rs @@ -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}, }; diff --git a/compiler/src/statement/conditional/conditional.rs b/compiler/src/statement/conditional/conditional.rs index caa5d1f9176..1dd761da5db 100644 --- a/compiler/src/statement/conditional/conditional.rs +++ b/compiler/src/statement/conditional/conditional.rs @@ -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}, }; diff --git a/compiler/src/statement/definition/definition.rs b/compiler/src/statement/definition/definition.rs index aedb1acc97f..326ee692767 100644 --- a/compiler/src/statement/definition/definition.rs +++ b/compiler/src/statement/definition/definition.rs @@ -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, }; diff --git a/compiler/src/statement/iteration/iteration.rs b/compiler/src/statement/iteration/iteration.rs index 7273fb6c599..c446029368e 100644 --- a/compiler/src/statement/iteration/iteration.rs +++ b/compiler/src/statement/iteration/iteration.rs @@ -27,7 +27,7 @@ use crate::{ }; use leo_ast::{IterationStatement, Type}; -use snarkos_models::{ +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::{ r1cs::ConstraintSystem, diff --git a/compiler/src/statement/return_/return_.rs b/compiler/src/statement/return_/return_.rs index bf57dbe58cf..bb2450350d6 100644 --- a/compiler/src/statement/return_/return_.rs +++ b/compiler/src/statement/return_/return_.rs @@ -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, }; diff --git a/compiler/src/statement/statement.rs b/compiler/src/statement/statement.rs index 90fdba9c9b8..5156df84b3c 100644 --- a/compiler/src/statement/statement.rs +++ b/compiler/src/statement/statement.rs @@ -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}, }; diff --git a/compiler/src/value/address/address.rs b/compiler/src/value/address/address.rs index 95566475b04..7f63cdfde67 100644 --- a/compiler/src/value/address/address.rs +++ b/compiler/src/value/address/address.rs @@ -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 diff --git a/compiler/src/value/boolean/input.rs b/compiler/src/value/boolean/input.rs index d35661f112e..f09eea94607 100644 --- a/compiler/src/value/boolean/input.rs +++ b/compiler/src/value/boolean/input.rs @@ -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, diff --git a/compiler/src/value/field/field_type.rs b/compiler/src/value/field/field_type.rs index 39146ae5931..372cf8bacfd 100644 --- a/compiler/src/value/field/field_type.rs +++ b/compiler/src/value/field/field_type.rs @@ -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}, diff --git a/compiler/src/value/field/input.rs b/compiler/src/value/field/input.rs index a498b253459..12674b151a1 100644 --- a/compiler/src/value/field/input.rs +++ b/compiler/src/value/field/input.rs @@ -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}, }; diff --git a/compiler/src/value/group/group_type.rs b/compiler/src/value/group/group_type.rs index c80a6a8325e..00ebc44f9cf 100644 --- a/compiler/src/value/group/group_type.rs +++ b/compiler/src/value/group/group_type.rs @@ -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, diff --git a/compiler/src/value/group/input.rs b/compiler/src/value/group/input.rs index 2ff04b6095c..d1cbd7c06f3 100644 --- a/compiler/src/value/group/input.rs +++ b/compiler/src/value/group/input.rs @@ -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, }; diff --git a/compiler/src/value/group/targets/edwards_bls12.rs b/compiler/src/value/group/targets/edwards_bls12.rs index 7a1ab306dcf..0102d859ac9 100644 --- a/compiler/src/value/group/targets/edwards_bls12.rs +++ b/compiler/src/value/group/targets/edwards_bls12.rs @@ -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}, diff --git a/compiler/src/value/implicit/implicit.rs b/compiler/src/value/implicit/implicit.rs index d72c9f4648b..bb8398ad878 100644 --- a/compiler/src/value/implicit/implicit.rs +++ b/compiler/src/value/implicit/implicit.rs @@ -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>( expected_type: Option, diff --git a/compiler/src/value/integer/integer.rs b/compiler/src/value/integer/integer.rs index 13f8170a04f..c9f23232759 100644 --- a/compiler/src/value/integer/integer.rs +++ b/compiler/src/value/integer/integer.rs @@ -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, diff --git a/compiler/src/value/integer/macros.rs b/compiler/src/value/integer/macros.rs index 3d7018f8d1b..dbe4dd0099f 100644 --- a/compiler/src/value/integer/macros.rs +++ b/compiler/src/value/integer/macros.rs @@ -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}, }; diff --git a/compiler/src/value/value.rs b/compiler/src/value/value.rs index 35dd5bf1fad..b936c9b3d9b 100644 --- a/compiler/src/value/value.rs +++ b/compiler/src/value/value.rs @@ -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, diff --git a/compiler/tests/core/packages/unstable/blake2s/mod.rs b/compiler/tests/core/packages/unstable/blake2s/mod.rs index 7bef75b1c4f..db8877fd211 100644 --- a/compiler/tests/core/packages/unstable/blake2s/mod.rs +++ b/compiler/tests/core/packages/unstable/blake2s/mod.rs @@ -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 diff --git a/compiler/tests/field/mod.rs b/compiler/tests/field/mod.rs index fa57001223c..9219a8beabd 100644 --- a/compiler/tests/field/mod.rs +++ b/compiler/tests/field/mod.rs @@ -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}; diff --git a/compiler/tests/group/mod.rs b/compiler/tests/group/mod.rs index ca383a33e3e..9cb54cea76d 100644 --- a/compiler/tests/group/mod.rs +++ b/compiler/tests/group/mod.rs @@ -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; diff --git a/compiler/tests/mod.rs b/compiler/tests/mod.rs index 52e50e9188d..7f20a942178 100644 --- a/compiler/tests/mod.rs +++ b/compiler/tests/mod.rs @@ -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; diff --git a/core/Cargo.toml b/core/Cargo.toml index 273b65ad68f..f4d9f0e0b79 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -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 diff --git a/core/src/errors/core_circuit.rs b/core/src/errors/core_circuit.rs index ce394e18de9..1882b016e80 100644 --- a/core/src/errors/core_circuit.rs +++ b/core/src/errors/core_circuit.rs @@ -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; diff --git a/core/src/lib.rs b/core/src/lib.rs index 67533ae4a5b..d8b39b5f305 100644 --- a/core/src/lib.rs +++ b/core/src/lib.rs @@ -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, }; diff --git a/core/src/packages/unstable/blake2s.rs b/core/src/packages/unstable/blake2s.rs index 60c07ee777e..dd5cfd7a736 100644 --- a/core/src/packages/unstable/blake2s.rs +++ b/core/src/packages/unstable/blake2s.rs @@ -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 #[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}, }; diff --git a/core/src/types/core_circuit.rs b/core/src/types/core_circuit.rs index b098db3970c..6e21c6667c7 100644 --- a/core/src/types/core_circuit.rs +++ b/core/src/types/core_circuit.rs @@ -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, }; diff --git a/core/src/types/value.rs b/core/src/types/value.rs index 0113e14cc22..d950bd35507 100644 --- a/core/src/types/value.rs +++ b/core/src/types/value.rs @@ -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 diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index a55189fbbf6..37f871a969a 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -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] diff --git a/gadgets/benches/integer_arithmetic.rs b/gadgets/benches/integer_arithmetic.rs index e0f4d3e1517..104a952576d 100644 --- a/gadgets/benches/integer_arithmetic.rs +++ b/gadgets/benches/integer_arithmetic.rs @@ -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, }; diff --git a/gadgets/src/arithmetic/add.rs b/gadgets/src/arithmetic/add.rs index 2702e4d5f58..63deb689950 100644 --- a/gadgets/src/arithmetic/add.rs +++ b/gadgets/src/arithmetic/add.rs @@ -14,8 +14,8 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/arithmetic/div.rs b/gadgets/src/arithmetic/div.rs index 18328f6e388..3094d529a24 100644 --- a/gadgets/src/arithmetic/div.rs +++ b/gadgets/src/arithmetic/div.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -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 diff --git a/gadgets/src/arithmetic/mul.rs b/gadgets/src/arithmetic/mul.rs index 0cb70682329..f2f56aef644 100644 --- a/gadgets/src/arithmetic/mul.rs +++ b/gadgets/src/arithmetic/mul.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -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 diff --git a/gadgets/src/arithmetic/neg.rs b/gadgets/src/arithmetic/neg.rs index a35f474f46c..2279ee9f54f 100644 --- a/gadgets/src/arithmetic/neg.rs +++ b/gadgets/src/arithmetic/neg.rs @@ -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}, }; diff --git a/gadgets/src/arithmetic/pow.rs b/gadgets/src/arithmetic/pow.rs index a6b5d6f572d..d17b8bea028 100644 --- a/gadgets/src/arithmetic/pow.rs +++ b/gadgets/src/arithmetic/pow.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -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 diff --git a/gadgets/src/arithmetic/sub.rs b/gadgets/src/arithmetic/sub.rs index 53174a26e27..f7f5e7dbed6 100644 --- a/gadgets/src/arithmetic/sub.rs +++ b/gadgets/src/arithmetic/sub.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -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 diff --git a/gadgets/src/bits/adder.rs b/gadgets/src/bits/adder.rs index f12549abb95..7616592fc65 100644 --- a/gadgets/src/bits/adder.rs +++ b/gadgets/src/bits/adder.rs @@ -14,8 +14,8 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::Field, gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean}, }; diff --git a/gadgets/src/bits/comparator.rs b/gadgets/src/bits/comparator.rs index df48fe10cee..e14d3dda825 100644 --- a/gadgets/src/bits/comparator.rs +++ b/gadgets/src/bits/comparator.rs @@ -14,8 +14,8 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::{Field, PrimeField}, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/bits/rca.rs b/gadgets/src/bits/rca.rs index 8b51197dd9e..9c07c78bf97 100644 --- a/gadgets/src/bits/rca.rs +++ b/gadgets/src/bits/rca.rs @@ -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}, }; diff --git a/gadgets/src/bits/sign_extend.rs b/gadgets/src/bits/sign_extend.rs index 4bdede76d8d..44791ca41b1 100644 --- a/gadgets/src/bits/sign_extend.rs +++ b/gadgets/src/bits/sign_extend.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_models::gadgets::utilities::boolean::Boolean; +use snarkvm_models::gadgets::utilities::boolean::Boolean; use std::iter; diff --git a/gadgets/src/errors/signed_integer.rs b/gadgets/src/errors/signed_integer.rs index 0fef69fba70..318ca70217e 100644 --- a/gadgets/src/errors/signed_integer.rs +++ b/gadgets/src/errors/signed_integer.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_errors::gadgets::SynthesisError; +use snarkvm_errors::gadgets::SynthesisError; #[derive(Debug, Error)] pub enum SignedIntegerError { diff --git a/gadgets/src/signed_integer/arithmetic/add.rs b/gadgets/src/signed_integer/arithmetic/add.rs index b4d4e8671c5..1ef982f1c1d 100644 --- a/gadgets/src/signed_integer/arithmetic/add.rs +++ b/gadgets/src/signed_integer/arithmetic/add.rs @@ -26,7 +26,7 @@ use crate::{ Int8, }; -use snarkos_models::{ +use snarkvm_models::{ curves::{fp_parameters::FpParameters, PrimeField}, gadgets::{ r1cs::{Assignment, ConstraintSystem, LinearCombination}, diff --git a/gadgets/src/signed_integer/arithmetic/div.rs b/gadgets/src/signed_integer/arithmetic/div.rs index 2d12584bd63..f185062c4ac 100644 --- a/gadgets/src/signed_integer/arithmetic/div.rs +++ b/gadgets/src/signed_integer/arithmetic/div.rs @@ -25,7 +25,7 @@ use crate::{ Int64, Int8, }; -use snarkos_models::{ +use snarkvm_models::{ curves::PrimeField, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/signed_integer/arithmetic/mul.rs b/gadgets/src/signed_integer/arithmetic/mul.rs index 214b5d09824..620e3ea4915 100644 --- a/gadgets/src/signed_integer/arithmetic/mul.rs +++ b/gadgets/src/signed_integer/arithmetic/mul.rs @@ -25,7 +25,7 @@ use crate::{ Int64, Int8, }; -use snarkos_models::{ +use snarkvm_models::{ curves::{FpParameters, PrimeField}, gadgets::{ r1cs::{Assignment, ConstraintSystem, LinearCombination}, diff --git a/gadgets/src/signed_integer/arithmetic/neg.rs b/gadgets/src/signed_integer/arithmetic/neg.rs index c81daa7baa9..fdcc89dd779 100644 --- a/gadgets/src/signed_integer/arithmetic/neg.rs +++ b/gadgets/src/signed_integer/arithmetic/neg.rs @@ -16,7 +16,7 @@ use crate::{arithmetic::Neg, errors::SignedIntegerError, signed_integer::*}; -use snarkos_models::{curves::PrimeField, gadgets::r1cs::ConstraintSystem}; +use snarkvm_models::{curves::PrimeField, gadgets::r1cs::ConstraintSystem}; macro_rules! neg_int_impl { ($($gadget: ident)*) => ($( diff --git a/gadgets/src/signed_integer/arithmetic/pow.rs b/gadgets/src/signed_integer/arithmetic/pow.rs index dc90b34bbe2..1b9174b218f 100644 --- a/gadgets/src/signed_integer/arithmetic/pow.rs +++ b/gadgets/src/signed_integer/arithmetic/pow.rs @@ -25,7 +25,7 @@ use crate::{ Int8, }; -use snarkos_models::{ +use snarkvm_models::{ curves::PrimeField, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/signed_integer/arithmetic/sub.rs b/gadgets/src/signed_integer/arithmetic/sub.rs index cc1bf411399..9d24638762b 100644 --- a/gadgets/src/signed_integer/arithmetic/sub.rs +++ b/gadgets/src/signed_integer/arithmetic/sub.rs @@ -23,7 +23,7 @@ use crate::{ Int64, Int8, }; -use snarkos_models::{curves::PrimeField, gadgets::r1cs::ConstraintSystem}; +use snarkvm_models::{curves::PrimeField, gadgets::r1cs::ConstraintSystem}; macro_rules! sub_int_impl { ($($gadget: ident)*) => ($( diff --git a/gadgets/src/signed_integer/int_impl.rs b/gadgets/src/signed_integer/int_impl.rs index cb90ea20997..45dcdd0b24f 100644 --- a/gadgets/src/signed_integer/int_impl.rs +++ b/gadgets/src/signed_integer/int_impl.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_models::gadgets::utilities::boolean::Boolean; +use snarkvm_models::gadgets::utilities::boolean::Boolean; use std::fmt::Debug; diff --git a/gadgets/src/signed_integer/relational/cmp.rs b/gadgets/src/signed_integer/relational/cmp.rs index 1d02ec166d4..1735d088441 100644 --- a/gadgets/src/signed_integer/relational/cmp.rs +++ b/gadgets/src/signed_integer/relational/cmp.rs @@ -23,8 +23,8 @@ use crate::{ Int8, }; -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::PrimeField, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/signed_integer/relational/eq.rs b/gadgets/src/signed_integer/relational/eq.rs index d783deb3406..4c0b488e463 100644 --- a/gadgets/src/signed_integer/relational/eq.rs +++ b/gadgets/src/signed_integer/relational/eq.rs @@ -16,8 +16,8 @@ use crate::{Int, Int128, Int16, Int32, Int64, Int8}; -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::PrimeField, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/signed_integer/utilities/alloc.rs b/gadgets/src/signed_integer/utilities/alloc.rs index b47016a10b0..ad8be3afa77 100644 --- a/gadgets/src/signed_integer/utilities/alloc.rs +++ b/gadgets/src/signed_integer/utilities/alloc.rs @@ -17,8 +17,8 @@ use crate::{Int, Int128, Int16, Int32, Int64, Int8}; use core::{borrow::Borrow, iter}; -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::Field, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/signed_integer/utilities/eq.rs b/gadgets/src/signed_integer/utilities/eq.rs index 9a854819c53..7094421f97c 100644 --- a/gadgets/src/signed_integer/utilities/eq.rs +++ b/gadgets/src/signed_integer/utilities/eq.rs @@ -16,8 +16,8 @@ use crate::signed_integer::*; -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::PrimeField, gadgets::{ r1cs::ConstraintSystem, diff --git a/gadgets/src/signed_integer/utilities/select.rs b/gadgets/src/signed_integer/utilities/select.rs index 7a5f8932a00..0a7b202a1e4 100644 --- a/gadgets/src/signed_integer/utilities/select.rs +++ b/gadgets/src/signed_integer/utilities/select.rs @@ -16,8 +16,8 @@ use crate::signed_integer::*; -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::PrimeField, gadgets::{ r1cs::{Assignment, ConstraintSystem}, diff --git a/gadgets/tests/signed_integer/i128.rs b/gadgets/tests/signed_integer/i128.rs index 42711ecb268..bdbd17532d4 100644 --- a/gadgets/tests/signed_integer/i128.rs +++ b/gadgets/tests/signed_integer/i128.rs @@ -16,7 +16,7 @@ use leo_gadgets::{arithmetic::*, Int128}; -use snarkos_models::{ +use snarkvm_models::{ curves::{One, Zero}, gadgets::{ r1cs::{ConstraintSystem, Fr, TestConstraintSystem}, diff --git a/gadgets/tests/signed_integer/i16.rs b/gadgets/tests/signed_integer/i16.rs index c03e553e753..442ccb590db 100644 --- a/gadgets/tests/signed_integer/i16.rs +++ b/gadgets/tests/signed_integer/i16.rs @@ -16,7 +16,7 @@ use leo_gadgets::{arithmetic::*, Int16}; -use snarkos_models::{ +use snarkvm_models::{ curves::{One, Zero}, gadgets::{ r1cs::{ConstraintSystem, Fr, TestConstraintSystem}, diff --git a/gadgets/tests/signed_integer/i32.rs b/gadgets/tests/signed_integer/i32.rs index 167ec9e6755..72bc3d99e56 100644 --- a/gadgets/tests/signed_integer/i32.rs +++ b/gadgets/tests/signed_integer/i32.rs @@ -16,7 +16,7 @@ use leo_gadgets::{arithmetic::*, Int32}; -use snarkos_models::{ +use snarkvm_models::{ curves::{One, Zero}, gadgets::{ r1cs::{ConstraintSystem, Fr, TestConstraintSystem}, diff --git a/gadgets/tests/signed_integer/i64.rs b/gadgets/tests/signed_integer/i64.rs index 86f370e780d..6723c13842c 100644 --- a/gadgets/tests/signed_integer/i64.rs +++ b/gadgets/tests/signed_integer/i64.rs @@ -16,7 +16,7 @@ use leo_gadgets::{arithmetic::*, Int64}; -use snarkos_models::{ +use snarkvm_models::{ curves::{One, Zero}, gadgets::{ r1cs::{ConstraintSystem, Fr, TestConstraintSystem}, diff --git a/gadgets/tests/signed_integer/i8.rs b/gadgets/tests/signed_integer/i8.rs index 4f6ba035d8d..aa15b9549d3 100644 --- a/gadgets/tests/signed_integer/i8.rs +++ b/gadgets/tests/signed_integer/i8.rs @@ -16,7 +16,7 @@ use leo_gadgets::{arithmetic::*, Int8}; -use snarkos_models::{ +use snarkvm_models::{ curves::{One, Zero}, gadgets::{ r1cs::{ConstraintSystem, Fr, TestConstraintSystem}, diff --git a/leo/commands/build.rs b/leo/commands/build.rs index 57c45dcca9c..a51f0ca4ce8 100644 --- a/leo/commands/build.rs +++ b/leo/commands/build.rs @@ -28,8 +28,8 @@ use leo_package::{ source::{LibraryFile, MainFile, LIBRARY_FILENAME, MAIN_FILENAME, SOURCE_DIRECTORY_NAME}, }; -use snarkos_curves::{bls12_377::Bls12_377, edwards_bls12::Fq}; -use snarkos_models::gadgets::r1cs::ConstraintSystem; +use snarkvm_curves::{bls12_377::Bls12_377, edwards_bls12::Fq}; +use snarkvm_models::gadgets::r1cs::ConstraintSystem; use clap::ArgMatches; use std::{convert::TryFrom, env::current_dir, time::Instant}; diff --git a/leo/commands/prove.rs b/leo/commands/prove.rs index 1b269b7af79..71eb4df9d51 100644 --- a/leo/commands/prove.rs +++ b/leo/commands/prove.rs @@ -17,9 +17,9 @@ use crate::{cli::*, cli_types::*, commands::SetupCommand, errors::CLIError}; use leo_package::{outputs::ProofFile, root::Manifest}; -use snarkos_algorithms::snark::groth16::{Groth16, PreparedVerifyingKey, Proof}; -use snarkos_curves::bls12_377::{Bls12_377, Fr}; -use snarkos_models::algorithms::SNARK; +use snarkvm_algorithms::snark::groth16::{Groth16, PreparedVerifyingKey, Proof}; +use snarkvm_curves::bls12_377::{Bls12_377, Fr}; +use snarkvm_models::algorithms::SNARK; use clap::ArgMatches; use rand::thread_rng; diff --git a/leo/commands/run.rs b/leo/commands/run.rs index 14b3e759fac..29e3dce217b 100644 --- a/leo/commands/run.rs +++ b/leo/commands/run.rs @@ -17,9 +17,9 @@ use crate::{cli::*, cli_types::*, commands::ProveCommand, errors::CLIError}; use leo_compiler::{compiler::Compiler, group::targets::edwards_bls12::EdwardsGroupType}; -use snarkos_algorithms::snark::groth16::Groth16; -use snarkos_curves::bls12_377::{Bls12_377, Fr}; -use snarkos_models::algorithms::SNARK; +use snarkvm_algorithms::snark::groth16::Groth16; +use snarkvm_curves::bls12_377::{Bls12_377, Fr}; +use snarkvm_models::algorithms::SNARK; use clap::ArgMatches; use std::time::Instant; diff --git a/leo/commands/setup.rs b/leo/commands/setup.rs index 33f568a4bb9..d85d70e1b9e 100644 --- a/leo/commands/setup.rs +++ b/leo/commands/setup.rs @@ -27,9 +27,9 @@ use leo_package::{ source::{MAIN_FILENAME, SOURCE_DIRECTORY_NAME}, }; -use snarkos_algorithms::snark::groth16::{Groth16, Parameters, PreparedVerifyingKey, VerifyingKey}; -use snarkos_curves::bls12_377::{Bls12_377, Fr}; -use snarkos_models::algorithms::snark::SNARK; +use snarkvm_algorithms::snark::groth16::{Groth16, Parameters, PreparedVerifyingKey, VerifyingKey}; +use snarkvm_curves::bls12_377::{Bls12_377, Fr}; +use snarkvm_models::algorithms::snark::SNARK; use clap::ArgMatches; use rand::thread_rng; diff --git a/leo/commands/test.rs b/leo/commands/test.rs index c96eecf1baa..e1b53e4e194 100644 --- a/leo/commands/test.rs +++ b/leo/commands/test.rs @@ -27,7 +27,7 @@ use leo_package::{ source::{LibraryFile, MainFile, LIBRARY_FILENAME, MAIN_FILENAME, SOURCE_DIRECTORY_NAME}, }; -use snarkos_curves::edwards_bls12::Fq; +use snarkvm_curves::edwards_bls12::Fq; use clap::ArgMatches; use std::{convert::TryFrom, env::current_dir, time::Instant}; diff --git a/leo/errors/cli.rs b/leo/errors/cli.rs index 3dbb2645143..a2b6de693d9 100644 --- a/leo/errors/cli.rs +++ b/leo/errors/cli.rs @@ -93,7 +93,7 @@ pub enum CLIError { RunError(RunError), #[error("{}", _0)] - SNARKError(snarkos_errors::algorithms::snark::SNARKError), + SNARKError(snarkvm_errors::algorithms::snark::SNARKError), #[error("{}", _0)] SourceDirectoryError(SourceDirectoryError), @@ -184,17 +184,17 @@ impl From for CLIError { } } -impl From for CLIError { - fn from(error: snarkos_errors::algorithms::snark::SNARKError) -> Self { +impl From for CLIError { + fn from(error: snarkvm_errors::algorithms::snark::SNARKError) -> Self { tracing::error!("{}\n", error); - CLIError::Crate("snarkos_errors", error.to_string()) + CLIError::Crate("snarkvm_errors", error.to_string()) } } -impl From for CLIError { - fn from(error: snarkos_errors::gadgets::SynthesisError) -> Self { +impl From for CLIError { + fn from(error: snarkvm_errors::gadgets::SynthesisError) -> Self { tracing::error!("{}\n", error); - CLIError::Crate("snarkos_errors", error.to_string()) + CLIError::Crate("snarkvm_errors", error.to_string()) } } diff --git a/leo/synthesizer/circuit_synthesizer.rs b/leo/synthesizer/circuit_synthesizer.rs index 0673055a1db..2ace9633214 100644 --- a/leo/synthesizer/circuit_synthesizer.rs +++ b/leo/synthesizer/circuit_synthesizer.rs @@ -14,8 +14,8 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_errors::gadgets::SynthesisError; -use snarkos_models::{ +use snarkvm_errors::gadgets::SynthesisError; +use snarkvm_models::{ curves::{Field, PairingEngine}, gadgets::r1cs::{ConstraintSystem, Index, LinearCombination, Variable}, }; diff --git a/leo/synthesizer/serialized_circuit.rs b/leo/synthesizer/serialized_circuit.rs index 182cda2e4b6..94ce4ea104b 100644 --- a/leo/synthesizer/serialized_circuit.rs +++ b/leo/synthesizer/serialized_circuit.rs @@ -16,9 +16,9 @@ use crate::synthesizer::{CircuitSynthesizer, SerializedField, SerializedIndex}; -use snarkos_curves::bls12_377::Bls12_377; -use snarkos_errors::curves::FieldError; -use snarkos_models::{ +use snarkvm_curves::bls12_377::Bls12_377; +use snarkvm_errors::curves::FieldError; +use snarkvm_models::{ curves::PairingEngine, gadgets::r1cs::{ConstraintSystem, Index}, }; diff --git a/leo/synthesizer/serialized_field.rs b/leo/synthesizer/serialized_field.rs index 80c25d8471f..1c59e99267d 100644 --- a/leo/synthesizer/serialized_field.rs +++ b/leo/synthesizer/serialized_field.rs @@ -14,8 +14,8 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_errors::curves::FieldError; -use snarkos_models::curves::{Field, Fp256, Fp256Parameters}; +use snarkvm_errors::curves::FieldError; +use snarkvm_models::curves::{Field, Fp256, Fp256Parameters}; use num_bigint::BigUint; use serde::{Deserialize, Serialize}; diff --git a/leo/synthesizer/serialized_index.rs b/leo/synthesizer/serialized_index.rs index 88246be6958..76a05cced45 100644 --- a/leo/synthesizer/serialized_index.rs +++ b/leo/synthesizer/serialized_index.rs @@ -14,7 +14,7 @@ // You should have received a copy of the GNU General Public License // along with the Leo library. If not, see . -use snarkos_models::gadgets::r1cs::Index; +use snarkvm_models::gadgets::r1cs::Index; use serde::{Deserialize, Serialize}; diff --git a/state/Cargo.toml b/state/Cargo.toml index 18426a17081..7ae929940f0 100644 --- a/state/Cargo.toml +++ b/state/Cargo.toml @@ -25,38 +25,38 @@ version = "1.0.7" path = "../ast" 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-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-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.indexmap] @@ -72,6 +72,6 @@ version = "0.2" [dependencies.thiserror] version = "1.0" -[dev-dependencies.snarkos-storage] -git = "https://github.com/AleoHQ/snarkOS.git" +[dev-dependencies.snarkvm-storage] +git = "https://github.com/AleoHQ/snarkVM.git" version = "1.1.4" diff --git a/state/src/errors/dpc_record_values.rs b/state/src/errors/dpc_record_values.rs index 39aa9c558e2..56e7ed07fd2 100644 --- a/state/src/errors/dpc_record_values.rs +++ b/state/src/errors/dpc_record_values.rs @@ -16,7 +16,7 @@ use crate::InputValueError; -use snarkos_errors::objects::account::AccountError; +use snarkvm_errors::objects::account::AccountError; use std::{num::ParseIntError, str::ParseBoolError}; diff --git a/state/src/errors/local_data_commitment.rs b/state/src/errors/local_data_commitment.rs index 6f3c954cb14..f5539b01ae9 100644 --- a/state/src/errors/local_data_commitment.rs +++ b/state/src/errors/local_data_commitment.rs @@ -16,7 +16,7 @@ use crate::{RecordVerificationError, StateLeafValuesError, StateValuesError}; -use snarkos_errors::algorithms::{CommitmentError, MerkleError}; +use snarkvm_errors::algorithms::{CommitmentError, MerkleError}; use std::io::Error as IOError; diff --git a/state/src/errors/record_commitment.rs b/state/src/errors/record_commitment.rs index 3ca813f2770..a919dce2d15 100644 --- a/state/src/errors/record_commitment.rs +++ b/state/src/errors/record_commitment.rs @@ -16,7 +16,7 @@ use crate::DPCRecordValuesError; -use snarkos_errors::algorithms::CommitmentError; +use snarkvm_errors::algorithms::CommitmentError; use std::io::Error as IOError; diff --git a/state/src/local_data_commitment/local_data_commitment.rs b/state/src/local_data_commitment/local_data_commitment.rs index 3e7c69d9ad6..0615c71f21a 100644 --- a/state/src/local_data_commitment/local_data_commitment.rs +++ b/state/src/local_data_commitment/local_data_commitment.rs @@ -17,16 +17,16 @@ use crate::{verify_record_commitment, LocalDataVerificationError, StateLeafValues, StateValues}; use leo_ast::Input as AstInput; -use snarkos_algorithms::commitment_tree::CommitmentMerklePath; -use snarkos_dpc::base_dpc::{ +use snarkvm_algorithms::commitment_tree::CommitmentMerklePath; +use snarkvm_dpc::base_dpc::{ instantiated::{Components, LocalDataCRH, LocalDataCommitment}, parameters::SystemParameters, }; -use snarkos_models::{ +use snarkvm_models::{ algorithms::{CommitmentScheme, CRH}, dpc::DPCComponents, }; -use snarkos_utilities::{bytes::ToBytes, to_bytes, FromBytes}; +use snarkvm_utilities::{bytes::ToBytes, to_bytes, FromBytes}; use std::convert::TryFrom; diff --git a/state/src/record_commitment/dpc_record_values.rs b/state/src/record_commitment/dpc_record_values.rs index 12ae7b84fc4..3ee90d87798 100644 --- a/state/src/record_commitment/dpc_record_values.rs +++ b/state/src/record_commitment/dpc_record_values.rs @@ -17,8 +17,8 @@ use crate::{utilities::*, DPCRecordValuesError}; use leo_ast::Record as AstRecord; -use snarkos_dpc::base_dpc::instantiated::Components; -use snarkos_objects::AccountAddress; +use snarkvm_dpc::base_dpc::instantiated::Components; +use snarkvm_objects::AccountAddress; use std::{convert::TryFrom, str::FromStr}; diff --git a/state/src/record_commitment/record_commitment.rs b/state/src/record_commitment/record_commitment.rs index 3dd4ea69e0a..24e730ab863 100644 --- a/state/src/record_commitment/record_commitment.rs +++ b/state/src/record_commitment/record_commitment.rs @@ -17,12 +17,12 @@ use crate::{DPCRecordValues, RecordVerificationError}; use leo_ast::Record as AstRecord; -use snarkos_dpc::base_dpc::{ +use snarkvm_dpc::base_dpc::{ instantiated::{Components, RecordCommitment}, parameters::SystemParameters, }; -use snarkos_models::algorithms::CommitmentScheme; -use snarkos_utilities::{bytes::ToBytes, to_bytes, FromBytes}; +use snarkvm_models::algorithms::CommitmentScheme; +use snarkvm_utilities::{bytes::ToBytes, to_bytes, FromBytes}; use std::convert::TryFrom; diff --git a/state/tests/test_verify_local_data_commitment.rs b/state/tests/test_verify_local_data_commitment.rs index 7792fd19d90..7df7f583576 100644 --- a/state/tests/test_verify_local_data_commitment.rs +++ b/state/tests/test_verify_local_data_commitment.rs @@ -18,19 +18,19 @@ use leo_ast::Input; use leo_input::LeoInputParser; use leo_state::verify_local_data_commitment; -use snarkos_dpc::base_dpc::{instantiated::*, record_payload::RecordPayload, DPC}; -use snarkos_models::{ +use snarkvm_dpc::base_dpc::{instantiated::*, record_payload::RecordPayload, DPC}; +use snarkvm_models::{ algorithms::{CommitmentScheme, CRH}, dpc::Record, objects::AccountScheme, }; -use snarkos_objects::Account; -use snarkos_utilities::{bytes::ToBytes, to_bytes}; +use snarkvm_objects::Account; +use snarkvm_utilities::{bytes::ToBytes, to_bytes}; use rand::{Rng, SeedableRng}; use rand_xorshift::XorShiftRng; -use snarkos_models::dpc::DPCScheme; -use snarkos_storage::Ledger; +use snarkvm_models::dpc::DPCScheme; +use snarkvm_storage::Ledger; // TODO (Collin): Update input to reflect new parameter ordering. #[test] diff --git a/state/tests/test_verify_record_commitment.rs b/state/tests/test_verify_record_commitment.rs index 0a148a407fd..98fc1543c48 100644 --- a/state/tests/test_verify_record_commitment.rs +++ b/state/tests/test_verify_record_commitment.rs @@ -18,7 +18,7 @@ use leo_ast::Input; use leo_input::LeoInputParser; use leo_state::verify_record_commitment; -use snarkos_dpc::base_dpc::instantiated::*; +use snarkvm_dpc::base_dpc::instantiated::*; use rand::SeedableRng; use rand_xorshift::XorShiftRng; From f4ad1ffff40fb25e71c7a8d7fec212682112309e Mon Sep 17 00:00:00 2001 From: howardwu Date: Wed, 30 Dec 2020 12:54:48 -0400 Subject: [PATCH 4/7] Add revision for snarkvm --- Cargo.lock | 48 ++++++++++++++++++++++----------------------- Cargo.toml | 18 +++++++++++------ compiler/Cargo.toml | 24 +++++++++++++++-------- core/Cargo.toml | 18 +++++++++++------ gadgets/Cargo.toml | 9 ++++++--- state/Cargo.toml | 24 +++++++++++++++-------- 6 files changed, 86 insertions(+), 55 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 3685aca9115..3229fbb3b28 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2509,8 +2509,8 @@ checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75" [[package]] name = "snarkvm-algorithms" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "blake2", "derivative", @@ -2529,8 +2529,8 @@ dependencies = [ [[package]] name = "snarkvm-curves" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "derivative", "rand", @@ -2544,8 +2544,8 @@ dependencies = [ [[package]] name = "snarkvm-derives" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "proc-macro2 1.0.24", "quote 1.0.7", @@ -2554,8 +2554,8 @@ dependencies = [ [[package]] name = "snarkvm-dpc" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "blake2", "derivative", @@ -2575,8 +2575,8 @@ dependencies = [ [[package]] name = "snarkvm-errors" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "base58", "bech32", @@ -2591,8 +2591,8 @@ dependencies = [ [[package]] name = "snarkvm-gadgets" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "derivative", "digest 0.8.1", @@ -2606,8 +2606,8 @@ dependencies = [ [[package]] name = "snarkvm-models" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "bincode", "cfg-if 0.1.10", @@ -2624,8 +2624,8 @@ dependencies = [ [[package]] name = "snarkvm-objects" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "base58", "bech32", @@ -2645,8 +2645,8 @@ dependencies = [ [[package]] name = "snarkvm-parameters" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "curl", "hex", @@ -2658,13 +2658,13 @@ dependencies = [ [[package]] name = "snarkvm-profiler" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" [[package]] name = "snarkvm-storage" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "bincode", "hex", @@ -2682,8 +2682,8 @@ dependencies = [ [[package]] name = "snarkvm-utilities" -version = "1.1.4" -source = "git+https://github.com/AleoHQ/snarkVM.git#2e1312c12b3e7896e279bce284c49d7330e95dba" +version = "0.0.1" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" dependencies = [ "bincode", "rand", diff --git a/Cargo.toml b/Cargo.toml index 4907302ef46..801e16a88e1 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -70,32 +70,38 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" [dependencies.clap] version = "2.33.3" diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml index 2e3bc512c6b..b40b3793fe9 100644 --- a/compiler/Cargo.toml +++ b/compiler/Cargo.toml @@ -59,37 +59,44 @@ version = "1.0.7" [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" [dependencies.bincode] version = "1.0" @@ -128,7 +135,8 @@ version = "0.3" [dev-dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [features] diff --git a/core/Cargo.toml b/core/Cargo.toml index f4d9f0e0b79..27281bf9de3 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -27,22 +27,26 @@ version = "1.0.7" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" [dependencies.rand] version = "0.7" @@ -57,9 +61,11 @@ version = "1.0" [dev-dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" [dev-dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index 37f871a969a..3ae59b43753 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -19,17 +19,20 @@ edition = "2018" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" [dependencies.rand] version = "0.7" diff --git a/state/Cargo.toml b/state/Cargo.toml index 7ae929940f0..4d2a31417f4 100644 --- a/state/Cargo.toml +++ b/state/Cargo.toml @@ -27,37 +27,44 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" [dependencies.indexmap] version = "1.6.1" @@ -74,4 +81,5 @@ version = "1.0" [dev-dependencies.snarkvm-storage] git = "https://github.com/AleoHQ/snarkVM.git" -version = "1.1.4" +rev = "0e2f38f" +version = "0.0.1" From 11fc60c9e064fc597dc6c982cd74aa0bc5dc1590 Mon Sep 17 00:00:00 2001 From: howardwu Date: Wed, 30 Dec 2020 18:07:20 -0400 Subject: [PATCH 5/7] Update revision --- Cargo.lock | 24 ++++++++++++------------ Cargo.toml | 12 ++++++------ compiler/Cargo.toml | 16 ++++++++-------- core/Cargo.toml | 12 ++++++------ gadgets/Cargo.toml | 6 +++--- state/Cargo.toml | 16 ++++++++-------- 6 files changed, 43 insertions(+), 43 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 3229fbb3b28..cfe460a377e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2510,7 +2510,7 @@ checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75" [[package]] name = "snarkvm-algorithms" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "blake2", "derivative", @@ -2530,7 +2530,7 @@ dependencies = [ [[package]] name = "snarkvm-curves" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "derivative", "rand", @@ -2545,7 +2545,7 @@ dependencies = [ [[package]] name = "snarkvm-derives" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "proc-macro2 1.0.24", "quote 1.0.7", @@ -2555,7 +2555,7 @@ dependencies = [ [[package]] name = "snarkvm-dpc" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "blake2", "derivative", @@ -2576,7 +2576,7 @@ dependencies = [ [[package]] name = "snarkvm-errors" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "base58", "bech32", @@ -2592,7 +2592,7 @@ dependencies = [ [[package]] name = "snarkvm-gadgets" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "derivative", "digest 0.8.1", @@ -2607,7 +2607,7 @@ dependencies = [ [[package]] name = "snarkvm-models" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "bincode", "cfg-if 0.1.10", @@ -2625,7 +2625,7 @@ dependencies = [ [[package]] name = "snarkvm-objects" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "base58", "bech32", @@ -2646,7 +2646,7 @@ dependencies = [ [[package]] name = "snarkvm-parameters" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "curl", "hex", @@ -2659,12 +2659,12 @@ dependencies = [ [[package]] name = "snarkvm-profiler" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" [[package]] name = "snarkvm-storage" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "bincode", "hex", @@ -2683,7 +2683,7 @@ dependencies = [ [[package]] name = "snarkvm-utilities" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=0e2f38f#0e2f38f5ee7818f8fbac6caa6163beb8eec6ca0f" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" dependencies = [ "bincode", "rand", diff --git a/Cargo.toml b/Cargo.toml index 801e16a88e1..ef2233e5c08 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -70,37 +70,37 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" [dependencies.clap] diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml index b40b3793fe9..da0d529d7fe 100644 --- a/compiler/Cargo.toml +++ b/compiler/Cargo.toml @@ -59,43 +59,43 @@ version = "1.0.7" [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" [dependencies.bincode] @@ -135,7 +135,7 @@ version = "0.3" [dev-dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false diff --git a/core/Cargo.toml b/core/Cargo.toml index 27281bf9de3..f0b83c77d33 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -27,25 +27,25 @@ version = "1.0.7" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" [dependencies.rand] @@ -61,11 +61,11 @@ version = "1.0" [dev-dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" [dev-dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index 3ae59b43753..7227cca204c 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -19,19 +19,19 @@ edition = "2018" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" [dependencies.rand] diff --git a/state/Cargo.toml b/state/Cargo.toml index 4d2a31417f4..f26ab293b8a 100644 --- a/state/Cargo.toml +++ b/state/Cargo.toml @@ -27,43 +27,43 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" [dependencies.indexmap] @@ -81,5 +81,5 @@ version = "1.0" [dev-dependencies.snarkvm-storage] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "0e2f38f" +rev = "ce04949" version = "0.0.1" From c20822e828ebd151d1e30655be261058ac08d31b Mon Sep 17 00:00:00 2001 From: howardwu Date: Sat, 2 Jan 2021 18:17:26 -0400 Subject: [PATCH 6/7] Update revision --- Cargo.lock | 34 ++++++++++++++++++++++------------ Cargo.toml | 12 ++++++------ compiler/Cargo.toml | 16 ++++++++-------- core/Cargo.toml | 12 ++++++------ gadgets/Cargo.toml | 6 +++--- state/Cargo.toml | 16 ++++++++-------- 6 files changed, 53 insertions(+), 43 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index cfe460a377e..f04a5dd0a05 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -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" @@ -2510,7 +2516,7 @@ checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75" [[package]] name = "snarkvm-algorithms" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "blake2", "derivative", @@ -2530,7 +2536,7 @@ dependencies = [ [[package]] name = "snarkvm-curves" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "derivative", "rand", @@ -2545,7 +2551,7 @@ dependencies = [ [[package]] name = "snarkvm-derives" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "proc-macro2 1.0.24", "quote 1.0.7", @@ -2555,8 +2561,9 @@ dependencies = [ [[package]] name = "snarkvm-dpc" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ + "anyhow", "blake2", "derivative", "hex", @@ -2576,7 +2583,7 @@ dependencies = [ [[package]] name = "snarkvm-errors" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "base58", "bech32", @@ -2592,7 +2599,7 @@ dependencies = [ [[package]] name = "snarkvm-gadgets" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "derivative", "digest 0.8.1", @@ -2607,8 +2614,9 @@ dependencies = [ [[package]] name = "snarkvm-models" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ + "anyhow", "bincode", "cfg-if 0.1.10", "derivative", @@ -2625,7 +2633,7 @@ dependencies = [ [[package]] name = "snarkvm-objects" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "base58", "bech32", @@ -2646,7 +2654,7 @@ dependencies = [ [[package]] name = "snarkvm-parameters" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "curl", "hex", @@ -2659,13 +2667,14 @@ dependencies = [ [[package]] name = "snarkvm-profiler" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" [[package]] name = "snarkvm-storage" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ + "anyhow", "bincode", "hex", "parking_lot", @@ -2678,12 +2687,13 @@ dependencies = [ "snarkvm-objects", "snarkvm-parameters", "snarkvm-utilities", + "thiserror", ] [[package]] name = "snarkvm-utilities" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=ce04949#ce049493c44cff62f3b12c2ca440835fd7fdb68e" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" dependencies = [ "bincode", "rand", diff --git a/Cargo.toml b/Cargo.toml index ef2233e5c08..b3ceb5161a3 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -70,37 +70,37 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" [dependencies.clap] diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml index da0d529d7fe..1d8d97aa7ea 100644 --- a/compiler/Cargo.toml +++ b/compiler/Cargo.toml @@ -59,43 +59,43 @@ version = "1.0.7" [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" [dependencies.bincode] @@ -135,7 +135,7 @@ version = "0.3" [dev-dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false diff --git a/core/Cargo.toml b/core/Cargo.toml index f0b83c77d33..d025325ed4b 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -27,25 +27,25 @@ version = "1.0.7" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" [dependencies.rand] @@ -61,11 +61,11 @@ version = "1.0" [dev-dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" [dev-dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index 7227cca204c..9585e898ae1 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -19,19 +19,19 @@ edition = "2018" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" [dependencies.rand] diff --git a/state/Cargo.toml b/state/Cargo.toml index f26ab293b8a..df45ae7591f 100644 --- a/state/Cargo.toml +++ b/state/Cargo.toml @@ -27,43 +27,43 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" [dependencies.indexmap] @@ -81,5 +81,5 @@ version = "1.0" [dev-dependencies.snarkvm-storage] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "ce04949" +rev = "14d1f50" version = "0.0.1" From d5cb59c206d16b1b1f98c40e278f1712072894a7 Mon Sep 17 00:00:00 2001 From: howardwu Date: Sat, 2 Jan 2021 19:18:38 -0400 Subject: [PATCH 7/7] Update ci.yml --- .github/workflows/ci.yml | 2 +- Cargo.lock | 24 ++++++++++++------------ Cargo.toml | 12 ++++++------ compiler/Cargo.toml | 16 ++++++++-------- core/Cargo.toml | 12 ++++++------ gadgets/Cargo.toml | 6 +++--- state/Cargo.toml | 16 ++++++++-------- 7 files changed, 44 insertions(+), 44 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 622ee22ed8e..0470b290262 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 diff --git a/Cargo.lock b/Cargo.lock index f04a5dd0a05..28d73b79d5e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -2516,7 +2516,7 @@ checksum = "ae524f056d7d770e174287294f562e95044c68e88dec909a00d2094805db9d75" [[package]] name = "snarkvm-algorithms" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "blake2", "derivative", @@ -2536,7 +2536,7 @@ dependencies = [ [[package]] name = "snarkvm-curves" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "derivative", "rand", @@ -2551,7 +2551,7 @@ dependencies = [ [[package]] name = "snarkvm-derives" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "proc-macro2 1.0.24", "quote 1.0.7", @@ -2561,7 +2561,7 @@ dependencies = [ [[package]] name = "snarkvm-dpc" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "anyhow", "blake2", @@ -2583,7 +2583,7 @@ dependencies = [ [[package]] name = "snarkvm-errors" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "base58", "bech32", @@ -2599,7 +2599,7 @@ dependencies = [ [[package]] name = "snarkvm-gadgets" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "derivative", "digest 0.8.1", @@ -2614,7 +2614,7 @@ dependencies = [ [[package]] name = "snarkvm-models" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "anyhow", "bincode", @@ -2633,7 +2633,7 @@ dependencies = [ [[package]] name = "snarkvm-objects" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "base58", "bech32", @@ -2654,7 +2654,7 @@ dependencies = [ [[package]] name = "snarkvm-parameters" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "curl", "hex", @@ -2667,12 +2667,12 @@ dependencies = [ [[package]] name = "snarkvm-profiler" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" [[package]] name = "snarkvm-storage" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "anyhow", "bincode", @@ -2693,7 +2693,7 @@ dependencies = [ [[package]] name = "snarkvm-utilities" version = "0.0.1" -source = "git+https://github.com/AleoHQ/snarkVM.git?rev=14d1f50#14d1f50a59f61340123f89b4c8ee0ec80cfe957d" +source = "git+https://github.com/AleoHQ/snarkVM.git?rev=f99f13d#f99f13dca012293f192eead5ba01e417a14b2a8e" dependencies = [ "bincode", "rand", diff --git a/Cargo.toml b/Cargo.toml index b3ceb5161a3..7a3cdabf6be 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -70,37 +70,37 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" [dependencies.clap] diff --git a/compiler/Cargo.toml b/compiler/Cargo.toml index 1d8d97aa7ea..a6b74822217 100644 --- a/compiler/Cargo.toml +++ b/compiler/Cargo.toml @@ -59,43 +59,43 @@ version = "1.0.7" [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" [dependencies.bincode] @@ -135,7 +135,7 @@ version = "0.3" [dev-dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false diff --git a/core/Cargo.toml b/core/Cargo.toml index d025325ed4b..dbe7cafc10a 100644 --- a/core/Cargo.toml +++ b/core/Cargo.toml @@ -27,25 +27,25 @@ version = "1.0.7" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-gadgets] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" [dependencies.rand] @@ -61,11 +61,11 @@ version = "1.0" [dev-dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" [dev-dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false diff --git a/gadgets/Cargo.toml b/gadgets/Cargo.toml index 9585e898ae1..e9f998509d0 100644 --- a/gadgets/Cargo.toml +++ b/gadgets/Cargo.toml @@ -19,19 +19,19 @@ edition = "2018" [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" [dependencies.rand] diff --git a/state/Cargo.toml b/state/Cargo.toml index df45ae7591f..7639bac710e 100644 --- a/state/Cargo.toml +++ b/state/Cargo.toml @@ -27,43 +27,43 @@ version = "1.0.7" [dependencies.snarkvm-algorithms] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-curves] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-dpc] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-errors] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-models] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-objects] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" default-features = false [dependencies.snarkvm-utilities] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1" [dependencies.indexmap] @@ -81,5 +81,5 @@ version = "1.0" [dev-dependencies.snarkvm-storage] git = "https://github.com/AleoHQ/snarkVM.git" -rev = "14d1f50" +rev = "f99f13d" version = "0.0.1"