Merge pull request #1073 from AleoHQ/update-to-snarkvm-0.6.0

Update to snarkvm 0.6.0

Author: acoglio

.circleci/config.yml

@@ -44,7 +44,7 @@ jobs:
 
   rust-stable:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - checkout
@@ -77,7 +77,7 @@ jobs:
 
   leo-executable:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - checkout
@@ -95,7 +95,7 @@ jobs:
 
   leo-new:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -108,7 +108,7 @@ jobs:
 
   leo-init:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -121,7 +121,7 @@ jobs:
 
   leo-clean:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -134,7 +134,7 @@ jobs:
 
   leo-setup:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -147,7 +147,7 @@ jobs:
 
   leo-add-remove:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -173,7 +173,7 @@ jobs:
 
   leo-login-logout:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -186,7 +186,7 @@ jobs:
 
   leo-clone:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:
@@ -199,7 +199,7 @@ jobs:
 
   leo-publish:
     docker:
-      - image: cimg/rust:1.51.0
+      - image: cimg/rust:1.52.1
     resource_class: xlarge
     steps:
       - attach_workspace:

Cargo.lock

@@ -70,22 +70,22 @@ path = "./synthesizer"
 version = "1.5.2"
 
 [dependencies.snarkvm-algorithms]
-version = "0.5.4"
+version = "0.6.0"
 
 [dependencies.snarkvm-curves]
-version = "0.5.5"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-gadgets]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-r1cs]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-utilities]
-version = "0.5.4"
+version = "0.6.0"
 
 [dependencies.anyhow]
 version = "1.0"

Cargo.toml

@@ -57,27 +57,27 @@ version = "1.5.2"
 version = "0.4"
 
 [dependencies.snarkvm-curves]
-version = "0.5.5"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-fields]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-dpc]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-gadgets]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-r1cs]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-utilities]
-version = "0.5.4"
+version = "0.6.0"
 
 [dependencies.bincode]
 version = "1.3"
@@ -118,7 +118,7 @@ version = "0.3"
 default-features = false
 
 [dev-dependencies.snarkvm-algorithms]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 
 [dev-dependencies.tempfile]

compiler/Cargo.toml

@@ -41,7 +41,7 @@ use snarkvm_gadgets::{
 use snarkvm_r1cs::{ConstraintSystem, SynthesisError};
 use std::{
     borrow::Borrow,
-    ops::{Mul, Neg, Sub},
+    ops::{Add, Mul, Neg, Sub},
     str::FromStr,
 };
 
@@ -153,7 +153,7 @@ impl EdwardsGroupType {
                 (number, _) => Fp256::from_str(&number).map_err(|_| GroupError::n_group(number, span))?,
             };
 
-            let result: EdwardsAffine = one.mul(&number_value);
+            let result: EdwardsAffine = one.mul(number_value);
 
             Ok(result)
         }

compiler/src/value/group/targets/edwards_bls12.rs

@@ -26,19 +26,19 @@ path = "../ast"
 version = "1.5.2"
 
 [dependencies.snarkvm-algorithms]
-version = "0.5.4"
+version = "0.6.0"
 
 [dependencies.snarkvm-curves]
-version = "0.5.5"
+version = "0.6.0"
 default-features = false
 
 [dependencies.snarkvm-dpc]
-version = "0.5.4"
+version = "0.6.0"
 default-features = false
 features = [ "testnet1" ]
 
 [dependencies.snarkvm-utilities]
-version = "0.5.4"
+version = "0.6.0"
 
 [dependencies.indexmap]
 version = "1.6.2"