update example to that of issue, bump version numbers

Zokrates · Jun 4, 2020 · 7b13fb2 · 7b13fb2
1 parent c750328
commit 7b13fb2
Show file tree

Hide file tree

Showing 8 changed files with 17 additions and 16 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/zokrates_cli/Cargo.toml b/zokrates_cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_cli"
-version = "0.5.2"
+version = "0.5.3"
 authors = ["Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>", "Dennis Kuhnert <mail@kyroy.com>", "Thibaut Schaeffer <thibaut@schaeff.fr>"]
 repository = "https://github.com/JacobEberhardt/ZoKrates.git"
 edition = "2018"

diff --git a/zokrates_core/Cargo.toml b/zokrates_core/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_core"
-version = "0.4.2"
+version = "0.4.3"
 authors = ["Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>", "Dennis Kuhnert <mail@kyroy.com>"]
 repository = "https://github.com/JacobEberhardt/ZoKrates"
 readme = "README.md"

diff --git a/zokrates_core/tests/out_of_range.rs b/zokrates_core/tests/out_of_range.rs
@@ -11,14 +11,15 @@ use zokrates_field::field::FieldPrime;
 #[test]
 fn out_of_range() {
     let source = r#"
-		def main(field a) -> ():
-			true == a < 1
-			return
+		def main(private field a) -> (field):
+	        field x = if a < 5555 then 3333 else 4444 fi
+	        x == 3333
+			return 1
 	"#
     .to_string();
 
-    // let's try to prove that "2 < 1" is true by exploiting
-    // the fact that `2*2 - 2*1` has two distinct bit decompositions
+    // let's try to prove that "10000 < 5555" is true by exploiting
+    // the fact that `2*10000 - 2*5555` has two distinct bit decompositions
     // we chose the one which is out of range, ie the sum check features an overflow
 
     let res: CompilationArtifacts<FieldPrime> =
@@ -27,6 +28,6 @@ fn out_of_range() {
     let interpreter = Interpreter::try_out_of_range();
 
     assert!(interpreter
-        .execute(&res.prog(), &vec![FieldPrime::from(2)])
+        .execute(&res.prog(), &vec![FieldPrime::from(10000)])
         .is_err());
 }
diff --git a/zokrates_core_test/Cargo.toml b/zokrates_core_test/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_core_test"
-version = "0.1.1"
+version = "0.1.2"
 authors = ["schaeff <thibaut@schaeff.fr>"]
 edition = "2018"
 

diff --git a/zokrates_field/Cargo.toml b/zokrates_field/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_field"
-version = "0.3.5"
+version = "0.3.6"
 authors = ["Thibaut Schaeffer <thibaut@schaeff.fr>", "Guillaume Ballet <gballet@gmail.com>"]
 edition = "2018"
 

diff --git a/zokrates_js/Cargo.toml b/zokrates_js/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zokrates_js"
-version = "1.0.21"
+version = "1.0.22"
 authors = ["Darko Macesic"]
 edition = "2018"
 

diff --git a/zokrates_js/package.json b/zokrates_js/package.json
@@ -2,7 +2,7 @@
   "name": "zokrates-js",
   "main": "index.js",
   "author": "Darko Macesic <darem966@gmail.com>",
-  "version": "1.0.21",
+  "version": "1.0.22",
   "keywords": [
     "zokrates",
     "wasm-bindgen",