github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 04:08:33 +00:00
Code Issues Projects Releases Wiki Activity

revert to default prettier version, run prettier

Browse source
This commit is contained in:
schaeff 2022-08-29 12:51:16 +02:00
parent e8e943dba9
commit 530991dc16
231 changed files with 10531 additions and 10600 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/js-format-check.yml vendored
View file

@ -9,4 +9,4 @@ jobs:
uses: creyD/prettier_action@v4.2
with:
dry: True
prettier_options: "--check"
file_pattern: ./**/*.{js,ts,json}

8
zokrates_cli/tests/code/multidim_update.arguments.json
View file

@ -1,6 +1,6 @@
[
[
["0", "0"],
["0", "0"]
]
[
["0", "0"],
["0", "0"]
]
]

54
zokrates_core_test/tests/tests/add.json
View file

@ -1,30 +1,30 @@
{
"entry_point": "./tests/tests/add.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"abi": false,
"tests": [
{
"input": {
"values": ["1", "2"]
},
"output": {
"Ok": {
"value": ["3"]
}
}
},
{
"input": {
"values": ["1", "2", "42"]
},
"output": {
"Err": {
"WrongInputCount": {
"expected": 2,
"received": 3
}
}
}
"entry_point": "./tests/tests/add.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"abi": false,
"tests": [
{
"input": {
"values": ["1", "2"]
},
"output": {
"Ok": {
"value": ["3"]
}
]
}
},
{
"input": {
"values": ["1", "2", "42"]
},
"output": {
"Err": {
"WrongInputCount": {
"expected": 2,
"received": 3
}
}
}
}
]
}

46
zokrates_core_test/tests/tests/array_conditional.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/array_conditional.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["1", "2"], ["3", "4"], "1"]
},
"output": {
"Ok": {
"value": ["1", "2"]
}
}
},
{
"input": {
"values": [["1", "2"], ["3", "4"], "2"]
},
"output": {
"Ok": {
"value": ["3", "4"]
}
}
"entry_point": "./tests/tests/array_conditional.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["1", "2"], ["3", "4"], "1"]
},
"output": {
"Ok": {
"value": ["1", "2"]
}
]
}
},
{
"input": {
"values": [["1", "2"], ["3", "4"], "2"]
},
"output": {
"Ok": {
"value": ["3", "4"]
}
}
}
]
}

6
zokrates_core_test/tests/tests/arrays/fun_spread.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/arrays/fun_spread.zok",
"max_constraint_count": 1050,
"tests": []
"entry_point": "./tests/tests/arrays/fun_spread.zok",
"max_constraint_count": 1050,
"tests": []
}

76
zokrates_core_test/tests/tests/arrays/identity.json
View file

@ -1,41 +1,41 @@
{
"entry_point": "./tests/tests/arrays/identity.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"abi": false,
"tests": [
{
"input": {
"values": ["0", "0", "0"]
},
"output": {
"Ok": {
"value": ["0", "0", "0"]
}
}
},
{
"input": {
"values": ["1", "0", "1"]
},
"output": {
"Ok": {
"value": ["1", "0", "1"]
}
}
},
{
"input": {
"values": ["2", "1", "1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "4",
"right": "2",
"error": "ArgumentBitness"
}
}
}
"entry_point": "./tests/tests/arrays/identity.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"abi": false,
"tests": [
{
"input": {
"values": ["0", "0", "0"]
},
"output": {
"Ok": {
"value": ["0", "0", "0"]
}
]
}
},
{
"input": {
"values": ["1", "0", "1"]
},
"output": {
"Ok": {
"value": ["1", "0", "1"]
}
}
},
{
"input": {
"values": ["2", "1", "1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "4",
"right": "2",
"error": "ArgumentBitness"
}
}
}
}
]
}

96
zokrates_core_test/tests/tests/arrays/select.json
View file

@ -1,51 +1,51 @@
{
"entry_point": "./tests/tests/arrays/select.zok",
"max_constraint_count": 44,
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["0", "11", "22"], "0"]
},
"output": {
"Ok": {
"value": "0"
}
}
},
{
"input": {
"values": [["0", "11", "22"], "1"]
},
"output": {
"Ok": {
"value": "11"
}
}
},
{
"input": {
"values": [["0", "11", "22"], "2"]
},
"output": {
"Ok": {
"value": "22"
}
}
},
{
"input": {
"values": [["0", "11", "22"], "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0",
"error": "SelectRangeCheck"
}
}
}
"entry_point": "./tests/tests/arrays/select.zok",
"max_constraint_count": 44,
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["0", "11", "22"], "0"]
},
"output": {
"Ok": {
"value": "0"
}
]
}
},
{
"input": {
"values": [["0", "11", "22"], "1"]
},
"output": {
"Ok": {
"value": "11"
}
}
},
{
"input": {
"values": [["0", "11", "22"], "2"]
},
"output": {
"Ok": {
"value": "22"
}
}
},
{
"input": {
"values": [["0", "11", "22"], "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0",
"error": "SelectRangeCheck"
}
}
}
}
]
}

58
zokrates_core_test/tests/tests/assert_array_equality.json
View file

@ -1,32 +1,32 @@
{
"entry_point": "./tests/tests/assert_array_equality.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["1", "2"]]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": [["1", "1"]]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/assert_array_equality.zok:2:5"
}
}
}
}
"entry_point": "./tests/tests/assert_array_equality.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["1", "2"]]
},
"output": {
"Ok": {
"value": []
}
]
}
},
{
"input": {
"values": [["1", "1"]]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/assert_array_equality.zok:2:5"
}
}
}
}
}
]
}

36
zokrates_core_test/tests/tests/assert_one.json
View file

@ -1,22 +1,22 @@
{
"entry_point": "./tests/tests/assert_one.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/assert_one.zok:2:2"
}
}
}
"entry_point": "./tests/tests/assert_one.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/assert_one.zok:2:2"
}
}
}
]
}
}
]
}

66
zokrates_core_test/tests/tests/bool_compare.json
View file

@ -1,36 +1,36 @@
{
"entry_point": "./tests/tests/bool_compare.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [true, true]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": [true, false]
},
"output": {
"Ok": {
"value": false
}
}
},
{
"input": {
"values": [false, false]
},
"output": {
"Ok": {
"value": true
}
}
"entry_point": "./tests/tests/bool_compare.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [true, true]
},
"output": {
"Ok": {
"value": true
}
]
}
},
{
"input": {
"values": [true, false]
},
"output": {
"Ok": {
"value": false
}
}
},
{
"input": {
"values": [false, false]
},
"output": {
"Ok": {
"value": true
}
}
}
]
}

6
zokrates_core_test/tests/tests/cached_condition.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/cached_condition.zok",
"max_constraint_count": 2015,
"tests": []
"entry_point": "./tests/tests/cached_condition.zok",
"max_constraint_count": 2015,
"tests": []
}

26
zokrates_core_test/tests/tests/compare_min_to_max.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/compare_min_to_max.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": false
}
}
"entry_point": "./tests/tests/compare_min_to_max.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": false
}
]
}
}
]
}

29
zokrates_core_test/tests/tests/complex_call.json
View file

@ -1,20 +1,15 @@
{
"entry_point": "./tests/tests/complex_call.zok",
"tests": [
{
"input": {
"values": [
true,
"2",
{ "a": [false, true], "b": "2" },
["3", "4"]
]
},
"output": {
"Ok": {
"value": [{ "a": [true, true], "b": "3" }, "4"]
}
}
"entry_point": "./tests/tests/complex_call.zok",
"tests": [
{
"input": {
"values": [true, "2", { "a": [false, true], "b": "2" }, ["3", "4"]]
},
"output": {
"Ok": {
"value": [{ "a": [true, true], "b": "3" }, "4"]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/array.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/array.zok",
"max_constraint_count": 2,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": ["1", "2"]
}
}
"entry_point": "./tests/tests/constants/array.zok",
"max_constraint_count": 2,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": ["1", "2"]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/array_size.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/array_size.zok",
"max_constraint_count": 2,
"tests": [
{
"input": {
"values": [["42", "42"]]
},
"output": {
"Ok": {
"value": ["42", "42"]
}
}
"entry_point": "./tests/tests/constants/array_size.zok",
"max_constraint_count": 2,
"tests": [
{
"input": {
"values": [["42", "42"]]
},
"output": {
"Ok": {
"value": ["42", "42"]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/bool.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/bool.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": true
}
}
"entry_point": "./tests/tests/constants/bool.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": true
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/field.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/field.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "1"
}
}
"entry_point": "./tests/tests/constants/field.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "1"
}
]
}
}
]
}

4
zokrates_core_test/tests/tests/constants/import/destination.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/constants/import/destination.zok",
"tests": []
"entry_point": "./tests/tests/constants/import/destination.zok",
"tests": []
}

4
zokrates_core_test/tests/tests/constants/issue_1038/a.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/constants/issue_1038/a.zok",
"tests": []
"entry_point": "./tests/tests/constants/issue_1038/a.zok",
"tests": []
}

4
zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/constants/issue_1038/reversed/b.zok",
"tests": []
"entry_point": "./tests/tests/constants/issue_1038/reversed/b.zok",
"tests": []
}

4
zokrates_core_test/tests/tests/constants/issue_1047/a.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/constants/issue_1047/a.zok",
"tests": []
"entry_point": "./tests/tests/constants/issue_1047/a.zok",
"tests": []
}

4
zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/constants/issue_1047/reversed/b.zok",
"tests": []
"entry_point": "./tests/tests/constants/issue_1047/reversed/b.zok",
"tests": []
}

40
zokrates_core_test/tests/tests/constants/mixed.json
View file

@ -1,25 +1,25 @@
{
"entry_point": "./tests/tests/constants/mixed.zok",
"max_constraint_count": 6,
"tests": [
{
"input": {
"values": []
"entry_point": "./tests/tests/constants/mixed.zok",
"max_constraint_count": 6,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": [
{
"a": ["1", "2"],
"b": true
},
"output": {
"Ok": {
"value": [
{
"a": ["1", "2"],
"b": true
},
{
"a": ["3", "4"],
"b": false
}
]
}
{
"a": ["3", "4"],
"b": false
}
]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/nested.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/nested.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "8"
}
}
"entry_point": "./tests/tests/constants/nested.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "8"
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/propagate.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/propagate.zok",
"max_constraint_count": 4,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": ["42", "42", "42", "42"]
}
}
"entry_point": "./tests/tests/constants/propagate.zok",
"max_constraint_count": 4,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": ["42", "42", "42", "42"]
}
]
}
}
]
}

38
zokrates_core_test/tests/tests/constants/struct.json
View file

@ -1,22 +1,22 @@
{
"entry_point": "./tests/tests/constants/struct.zok",
"max_constraint_count": 6,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": {
"a": ["1", "2"],
"b": [
["3", "4"],
["5", "6"]
]
}
}
}
"entry_point": "./tests/tests/constants/struct.zok",
"max_constraint_count": 6,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": {
"a": ["1", "2"],
"b": [
["3", "4"],
["5", "6"]
]
}
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/tuple.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/tuple.zok",
"max_constraint_count": 3,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": [["1", "1"], true]
}
}
"entry_point": "./tests/tests/constants/tuple.zok",
"max_constraint_count": 3,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": [["1", "1"], true]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/constants/uint.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/constants/uint.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "0x00000001"
}
}
"entry_point": "./tests/tests/constants/uint.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "0x00000001"
}
]
}
}
]
}

106
zokrates_core_test/tests/tests/fact_up_to_4.json
View file

@ -1,56 +1,56 @@
{
"entry_point": "./tests/tests/fact_up_to_4.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": "1"
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": "1"
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": "2"
}
}
},
{
"input": {
"values": ["3"]
},
"output": {
"Ok": {
"value": "6"
}
}
},
{
"input": {
"values": ["4"]
},
"output": {
"Ok": {
"value": "24"
}
}
"entry_point": "./tests/tests/fact_up_to_4.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": "1"
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": "1"
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": "2"
}
}
},
{
"input": {
"values": ["3"]
},
"output": {
"Ok": {
"value": "6"
}
}
},
{
"input": {
"values": ["4"]
},
"output": {
"Ok": {
"value": "24"
}
}
}
]
}

24
zokrates_core_test/tests/tests/generics/cache.json
View file

@ -1,15 +1,15 @@
{
"curves": ["Bn128", "Bls12_381"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
}
"curves": ["Bn128", "Bls12_381"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

4
zokrates_core_test/tests/tests/generics/call.json
View file

@ -1,4 +1,4 @@
{
"curves": ["Bn128", "Bls12_381"],
"tests": []
"curves": ["Bn128", "Bls12_381"],
"tests": []
}

4
zokrates_core_test/tests/tests/generics/embed.json
View file

@ -1,4 +1,4 @@
{
"curves": ["Bn128", "Bls12_381"],
"tests": []
"curves": ["Bn128", "Bls12_381"],
"tests": []
}

24
zokrates_core_test/tests/tests/generics/multidef.json
View file

@ -1,15 +1,15 @@
{
"curves": ["Bn128", "Bls12_381"],
"tests": [
{
"input": {
"values": [["1", "2", "3"]]
},
"output": {
"Ok": {
"value": ["1", "2", "3"]
}
}
"curves": ["Bn128", "Bls12_381"],
"tests": [
{
"input": {
"values": [["1", "2", "3"]]
},
"output": {
"Ok": {
"value": ["1", "2", "3"]
}
]
}
}
]
}

24
zokrates_core_test/tests/tests/generics/return_inference.json
View file

@ -1,15 +1,15 @@
{
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": ["42", "42"]
}
}
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": ["42", "42"]
}
]
}
}
]
}

24
zokrates_core_test/tests/tests/generics/same_parameter_name.json
View file

@ -1,15 +1,15 @@
{
"curves": ["Bn128", "Bls12_381"],
"tests": [
{
"input": {
"values": [["1", "2", "3"]]
},
"output": {
"Ok": {
"value": ["1", "2"]
}
}
"curves": ["Bn128", "Bls12_381"],
"tests": [
{
"input": {
"values": [["1", "2", "3"]]
},
"output": {
"Ok": {
"value": ["1", "2"]
}
]
}
}
]
}

24
zokrates_core_test/tests/tests/import/import.json
View file

@ -1,15 +1,15 @@
{
"entry_point": "./tests/tests/import/import.zok",
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "3"
}
}
"entry_point": "./tests/tests/import/import.zok",
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "3"
}
]
}
}
]
}

166
zokrates_core_test/tests/tests/le.json
View file

@ -1,86 +1,86 @@
{
"entry_point": "./tests/tests/le.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["41"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["42"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["43"]
},
"output": {
"Ok": {
"value": false
}
}
},
{
"input": {
"values": ["44"]
},
"output": {
"Ok": {
"value": false
}
}
},
{
"input": {
"values": ["100"]
},
"output": {
"Ok": {
"value": false
}
}
"entry_point": "./tests/tests/le.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": true
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["41"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["42"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["43"]
},
"output": {
"Ok": {
"value": false
}
}
},
{
"input": {
"values": ["44"]
},
"output": {
"Ok": {
"value": false
}
}
},
{
"input": {
"values": ["100"]
},
"output": {
"Ok": {
"value": false
}
}
}
]
}

86
zokrates_core_test/tests/tests/left_rotation.json
View file

@ -1,46 +1,46 @@
{
"entry_point": "./tests/tests/left_rotation.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x00000004"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x000000a8"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0x0000002a"
}
}
"entry_point": "./tests/tests/left_rotation.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
]
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x00000004"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x000000a8"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0x0000002a"
}
}
}
]
}

86
zokrates_core_test/tests/tests/left_rotation_bits.json
View file

@ -1,46 +1,46 @@
{
"entry_point": "./tests/tests/left_rotation_bits.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x00000004"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x000000a8"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0x0000002a"
}
}
"entry_point": "./tests/tests/left_rotation_bits.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
]
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x00000004"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x000000a8"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0x0000002a"
}
}
}
]
}

26
zokrates_core_test/tests/tests/memoize/memoize.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/memoize/memoize.zok",
"max_constraint_count": 32,
"tests": [
{
"input": {
"values": ["3"]
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/memoize/memoize.zok",
"max_constraint_count": 32,
"tests": [
{
"input": {
"values": ["3"]
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

24
zokrates_core_test/tests/tests/memoize/no_array_memoization.json
View file

@ -1,15 +1,15 @@
{
"entry_point": "./tests/tests/memoize/no_array_memoization.zok",
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/memoize/no_array_memoization.zok",
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

166
zokrates_core_test/tests/tests/native_le.json
View file

@ -1,86 +1,86 @@
{
"entry_point": "./tests/tests/native_le.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0", "0x00000000"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["1", "0x00000001"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["2", "0x00000002"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["41", "0x00000029"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["42", "0x0000002a"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["43", "0x0000002b"]
},
"output": {
"Ok": {
"value": [false, false]
}
}
},
{
"input": {
"values": ["44", "0x0000002c"]
},
"output": {
"Ok": {
"value": [false, false]
}
}
},
{
"input": {
"values": ["100", "0x00000064"]
},
"output": {
"Ok": {
"value": [false, false]
}
}
"entry_point": "./tests/tests/native_le.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0", "0x00000000"]
},
"output": {
"Ok": {
"value": [true, true]
}
]
}
},
{
"input": {
"values": ["1", "0x00000001"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["2", "0x00000002"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["41", "0x00000029"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["42", "0x0000002a"]
},
"output": {
"Ok": {
"value": [true, true]
}
}
},
{
"input": {
"values": ["43", "0x0000002b"]
},
"output": {
"Ok": {
"value": [false, false]
}
}
},
{
"input": {
"values": ["44", "0x0000002c"]
},
"output": {
"Ok": {
"value": [false, false]
}
}
},
{
"input": {
"values": ["100", "0x00000064"]
},
"output": {
"Ok": {
"value": [false, false]
}
}
}
]
}

40
zokrates_core_test/tests/tests/neg_pos.json
View file

@ -1,23 +1,23 @@
{
"entry_point": "./tests/tests/neg_pos.zok",
"tests": [
{
"input": {
"values": ["1", "2", "0x01", "0x02"]
},
"output": {
"Ok": {
"value": [
[
"21888242871839275222246405745257275088548364400416034343698204186575808495615",
"21888242871839275222246405745257275088548364400416034343698204186575808495616",
"21888242871839275222246405745257275088548364400416034343698204186575808495616",
"21888242871839275222246405745257275088548364400416034343698204186575808495616"
],
["0xfe", "0xff", "0xff", "0xff"]
]
}
}
"entry_point": "./tests/tests/neg_pos.zok",
"tests": [
{
"input": {
"values": ["1", "2", "0x01", "0x02"]
},
"output": {
"Ok": {
"value": [
[
"21888242871839275222246405745257275088548364400416034343698204186575808495615",
"21888242871839275222246405745257275088548364400416034343698204186575808495616",
"21888242871839275222246405745257275088548364400416034343698204186575808495616",
"21888242871839275222246405745257275088548364400416034343698204186575808495616"
],
["0xfe", "0xff", "0xff", "0xff"]
]
}
]
}
}
]
}

44
zokrates_core_test/tests/tests/nested_loop.json
View file

@ -1,25 +1,25 @@
{
"entry_point": "./tests/tests/nested_loop.zok",
"tests": [
{
"input": {
"values": [["1", "2", "3", "4"]]
},
"output": {
"Ok": {
"value": ["4838400", "10", "25"]
}
}
},
{
"input": {
"values": [["0", "1", "2", "3"]]
},
"output": {
"Ok": {
"value": ["0", "10", "25"]
}
}
"entry_point": "./tests/tests/nested_loop.zok",
"tests": [
{
"input": {
"values": [["1", "2", "3", "4"]]
},
"output": {
"Ok": {
"value": ["4838400", "10", "25"]
}
]
}
},
{
"input": {
"values": [["0", "1", "2", "3"]]
},
"output": {
"Ok": {
"value": ["0", "10", "25"]
}
}
}
]
}

100
zokrates_core_test/tests/tests/panics/conditional_bound_throw_no_isolation.json
View file

@ -1,54 +1,54 @@
{
"entry_point": "./tests/tests/panics/conditional_bound_throw.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/conditional_bound_throw.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/conditional_bound_throw.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["0x00000002"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "2",
"right": "0",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/conditional_bound_throw.zok:2:5"
}
}
}
"entry_point": "./tests/tests/panics/conditional_bound_throw.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/conditional_bound_throw.zok:2:5"
}
}
}
]
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/conditional_bound_throw.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["0x00000002"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "2",
"right": "0",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/conditional_bound_throw.zok:2:5"
}
}
}
}
}
]
}

92
zokrates_core_test/tests/tests/panics/deep_branch.json
View file

@ -1,49 +1,49 @@
{
"entry_point": "./tests/tests/panics/deep_branch.zok",
"curves": ["Bn128"],
"config": {
"isolate_branches": true
},
"tests": [
{
"input": {
"values": [[true, true, true]]
},
"output": {
"Ok": {
"value": [true, true, true]
}
}
},
{
"input": {
"values": [[false, false, false]]
},
"output": {
"Ok": {
"value": [false, false, false]
}
}
},
{
"input": {
"values": [[false, true, false]]
},
"output": {
"Ok": {
"value": [false, true, false]
}
}
},
{
"input": {
"values": [[true, false, true]]
},
"output": {
"Ok": {
"value": [true, false, true]
}
}
"entry_point": "./tests/tests/panics/deep_branch.zok",
"curves": ["Bn128"],
"config": {
"isolate_branches": true
},
"tests": [
{
"input": {
"values": [[true, true, true]]
},
"output": {
"Ok": {
"value": [true, true, true]
}
]
}
},
{
"input": {
"values": [[false, false, false]]
},
"output": {
"Ok": {
"value": [false, false, false]
}
}
},
{
"input": {
"values": [[false, true, false]]
},
"output": {
"Ok": {
"value": [false, true, false]
}
}
},
{
"input": {
"values": [[true, false, true]]
},
"output": {
"Ok": {
"value": [true, false, true]
}
}
}
]
}

36
zokrates_core_test/tests/tests/panics/deep_branch_no_isolation.json
View file

@ -1,22 +1,22 @@
{
"entry_point": "./tests/tests/panics/deep_branch.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [[false, false, false]]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/deep_branch.zok:2:5"
}
}
}
"entry_point": "./tests/tests/panics/deep_branch.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [[false, false, false]]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/deep_branch.zok:2:5"
}
}
}
]
}
}
]
}

52
zokrates_core_test/tests/tests/panics/internal_panic.json
View file

@ -1,29 +1,29 @@
{
"entry_point": "./tests/tests/panics/internal_panic.zok",
"curves": ["Bn128"],
"config": {
"isolate_branches": true
},
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": "1"
}
}
},
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": "0"
}
}
"entry_point": "./tests/tests/panics/internal_panic.zok",
"curves": ["Bn128"],
"config": {
"isolate_branches": true
},
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": "1"
}
]
}
},
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": "0"
}
}
}
]
}

54
zokrates_core_test/tests/tests/panics/internal_panic_no_isolation.json
View file

@ -1,30 +1,30 @@
{
"entry_point": "./tests/tests/panics/internal_panic.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": "1"
}
}
},
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": "Inverse"
}
}
}
"entry_point": "./tests/tests/panics/internal_panic.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": "1"
}
]
}
},
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": "Inverse"
}
}
}
}
]
}

56
zokrates_core_test/tests/tests/panics/loop_bound.json
View file

@ -1,32 +1,32 @@
{
"entry_point": "./tests/tests/panics/loop_bound.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/loop_bound.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": []
}
"entry_point": "./tests/tests/panics/loop_bound.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "0",
"right": "1",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/loop_bound.zok:2:5"
}
}
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": []
}
}
}
]
}

82
zokrates_core_test/tests/tests/panics/panic_isolation.json
View file

@ -1,45 +1,45 @@
{
"entry_point": "./tests/tests/panics/panic_isolation.zok",
"config": {
"isolate_branches": true
},
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [true, ["42", "42"], "0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "21888242871839275222246405745257275088548364400416034343698204186575808495577",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/panic_isolation.zok:22:5"
}
}
}
}
},
{
"input": {
"values": [true, ["1", "1"], "1"]
},
"output": {
"Ok": {
"value": [true, ["1", "1"], "1"]
}
}
},
{
"input": {
"values": [false, ["2", "2"], "0"]
},
"output": {
"Ok": {
"value": [false, ["2", "2"], "0"]
}
"entry_point": "./tests/tests/panics/panic_isolation.zok",
"config": {
"isolate_branches": true
},
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [true, ["42", "42"], "0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "21888242871839275222246405745257275088548364400416034343698204186575808495577",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/panic_isolation.zok:22:5"
}
}
}
]
}
},
{
"input": {
"values": [true, ["1", "1"], "1"]
},
"output": {
"Ok": {
"value": [true, ["1", "1"], "1"]
}
}
},
{
"input": {
"values": [false, ["2", "2"], "0"]
},
"output": {
"Ok": {
"value": [false, ["2", "2"], "0"]
}
}
}
]
}

42
zokrates_core_test/tests/tests/panics/panic_no_isolation.json
View file

@ -1,25 +1,25 @@
{
"entry_point": "./tests/tests/panics/panic_isolation.zok",
"config": {
"isolate_branches": false
},
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [true, ["1", "1"], "1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/panic_isolation.zok:17:5"
}
}
}
"entry_point": "./tests/tests/panics/panic_isolation.zok",
"config": {
"isolate_branches": false
},
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [true, ["1", "1"], "1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "1",
"right": "0",
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/panics/panic_isolation.zok:17:5"
}
}
}
]
}
}
]
}

33
zokrates_core_test/tests/tests/pass_by_value.json
View file

@ -1,23 +1,16 @@
{
"entry_point": "./tests/tests/pass_by_value.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["1"], { "a": "1" }, "1"]
},
"output": {
"Ok": {
"value": [
["2"],
["1"],
{ "a": "2" },
{ "a": "1" },
"2",
"1"
]
}
}
"entry_point": "./tests/tests/pass_by_value.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": [["1"], { "a": "1" }, "1"]
},
"output": {
"Ok": {
"value": [["2"], ["1"], { "a": "2" }, { "a": "1" }, "2", "1"]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/precedence.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/precedence.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/precedence.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

154
zokrates_core_test/tests/tests/range.json
View file

@ -1,80 +1,80 @@
{
"entry_point": "./tests/tests/range.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": [false, true, true, true, false]
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": [false, false, true, true, true]
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": [false, false, true, true, false]
}
}
},
{
"input": {
"values": ["254"]
},
"output": {
"Ok": {
"value": [false, false, true, true, false]
}
}
},
{
"input": {
"values": ["255"]
},
"output": {
"Ok": {
"value": [false, false, false, true, false]
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495615"
]
},
"output": {
"Ok": {
"value": [false, false, false, true, false]
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495616"
]
},
"output": {
"Ok": {
"value": [false, false, false, false, false]
}
}
"entry_point": "./tests/tests/range.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": [false, true, true, true, false]
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": [false, false, true, true, true]
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": [false, false, true, true, false]
}
}
},
{
"input": {
"values": ["254"]
},
"output": {
"Ok": {
"value": [false, false, true, true, false]
}
}
},
{
"input": {
"values": ["255"]
},
"output": {
"Ok": {
"value": [false, false, false, true, false]
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495615"
]
},
"output": {
"Ok": {
"value": [false, false, false, true, false]
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495616"
]
},
"output": {
"Ok": {
"value": [false, false, false, false, false]
}
}
}
]
}

102
zokrates_core_test/tests/tests/range_check/assert_ge.json
View file

@ -1,55 +1,55 @@
{
"entry_point": "./tests/tests/range_check/assert_ge.zok",
"max_constraint_count": 509,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_ge.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_ge.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Ok": {
"value": []
}
"entry_point": "./tests/tests/range_check/assert_ge.zok",
"max_constraint_count": 509,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_ge.zok:2:5"
}
}
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_ge.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Ok": {
"value": []
}
}
}
]
}

110
zokrates_core_test/tests/tests/range_check/assert_gt.json
View file

@ -1,59 +1,59 @@
{
"entry_point": "./tests/tests/range_check/assert_gt.zok",
"max_constraint_count": 508,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Ok": {
"value": []
}
"entry_point": "./tests/tests/range_check/assert_gt.zok",
"max_constraint_count": 508,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt.zok:2:5"
}
}
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Ok": {
"value": []
}
}
}
]
}

90
zokrates_core_test/tests/tests/range_check/assert_gt_big_constant.json
View file

@ -1,49 +1,49 @@
{
"entry_point": "./tests/tests/range_check/assert_gt_big_constant.zok",
"max_constraint_count": 3,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt_big_constant.zok:4:5"
}
}
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495615"
]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt_big_constant.zok:4:5"
}
}
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495616"
]
},
"output": {
"Ok": {
"value": []
}
"entry_point": "./tests/tests/range_check/assert_gt_big_constant.zok",
"max_constraint_count": 3,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt_big_constant.zok:4:5"
}
}
}
]
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495615"
]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_gt_big_constant.zok:4:5"
}
}
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495616"
]
},
"output": {
"Ok": {
"value": []
}
}
}
]
}

104
zokrates_core_test/tests/tests/range_check/assert_le.json
View file

@ -1,55 +1,55 @@
{
"entry_point": "./tests/tests/range_check/assert_le.zok",
"max_constraint_count": 5,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_le.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_le.zok:2:5"
}
}
}
}
"entry_point": "./tests/tests/range_check/assert_le.zok",
"max_constraint_count": 5,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": []
}
]
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_le.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_le.zok:2:5"
}
}
}
}
}
]
}

104
zokrates_core_test/tests/tests/range_check/assert_lt.json
View file

@ -1,55 +1,55 @@
{
"entry_point": "./tests/tests/range_check/assert_lt.zok",
"max_constraint_count": 4,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt.zok:2:5"
}
}
}
}
"entry_point": "./tests/tests/range_check/assert_lt.zok",
"max_constraint_count": 4,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": []
}
]
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt.zok:2:5"
}
}
}
}
}
]
}

84
zokrates_core_test/tests/tests/range_check/assert_lt_big_constant.json
View file

@ -1,45 +1,45 @@
{
"entry_point": "./tests/tests/range_check/assert_lt_big_constant.zok",
"max_constraint_count": 509,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495614"
]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495615"
]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt_big_constant.zok:4:5"
}
}
}
}
"entry_point": "./tests/tests/range_check/assert_lt_big_constant.zok",
"max_constraint_count": 509,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"value": []
}
]
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495614"
]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": [
"21888242871839275222246405745257275088548364400416034343698204186575808495615"
]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt_big_constant.zok:4:5"
}
}
}
}
}
]
}

104
zokrates_core_test/tests/tests/range_check/assert_lt_u8.json
View file

@ -1,55 +1,55 @@
{
"entry_point": "./tests/tests/range_check/assert_lt_u8.zok",
"max_constraint_count": 9,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0x00"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["0x01"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["0x02"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt_u8.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["0x0f"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt_u8.zok:2:5"
}
}
}
}
"entry_point": "./tests/tests/range_check/assert_lt_u8.zok",
"max_constraint_count": 9,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0x00"]
},
"output": {
"Ok": {
"value": []
}
]
}
},
{
"input": {
"values": ["0x01"]
},
"output": {
"Ok": {
"value": []
}
}
},
{
"input": {
"values": ["0x02"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt_u8.zok:2:5"
}
}
}
}
},
{
"input": {
"values": ["0x0f"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"error": {
"SourceAssertion": "Assertion failed at ./tests/tests/range_check/assert_lt_u8.zok:2:5"
}
}
}
}
}
]
}

86
zokrates_core_test/tests/tests/right_rotation.json
View file

@ -1,46 +1,46 @@
{
"entry_point": "./tests/tests/right_rotation.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x40000000"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x8000000a"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0xa0000002"
}
}
"entry_point": "./tests/tests/right_rotation.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
]
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x40000000"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x8000000a"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0xa0000002"
}
}
}
]
}

86
zokrates_core_test/tests/tests/right_rotation_bits.json
View file

@ -1,46 +1,46 @@
{
"entry_point": "./tests/tests/right_rotation_bits.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x40000000"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x8000000a"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0xa0000002"
}
}
"entry_point": "./tests/tests/right_rotation_bits.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
]
}
},
{
"input": {
"values": ["0x00000001"]
},
"output": {
"Ok": {
"value": "0x40000000"
}
}
},
{
"input": {
"values": ["0x0000002a"]
},
"output": {
"Ok": {
"value": "0x8000000a"
}
}
},
{
"input": {
"values": ["0x8000000a"]
},
"output": {
"Ok": {
"value": "0xa0000002"
}
}
}
]
}

4
zokrates_core_test/tests/tests/single_return.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/single_return.zok",
"tests": []
"entry_point": "./tests/tests/single_return.zok",
"tests": []
}

94
zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_1.json
View file

@ -1,50 +1,50 @@
{
"entry_point": "./tests/tests/snark/snark_verify_bls12_377_1.zok",
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": [
[
"14854361253166356985827940126714566475275412573126716429346293669288261212877767002588736768495892518280555332082",
"213732210873464696846782550184555137228225514409080200587629835423679101735680889388490505365220726936653232900722",
"87538607630632344401950048588801759619324114043687193925268161368645768079512372989046887060116208844098222887523",
"5657143080315521889991799092902512094315245718355471372723437558193333983953910948320586493950523700874011063560",
"57443068623489368358651325326719858590550354409074784986003051193396111859230778144944186401073595967957696940521",
"239017299818740889416561988179003000999440599788233589838386981563280711497257601212385904595560069610856834048609",
"210817940648895568697680255986492415724502544301527123629003695092329489846191300997148203752109923795482648905049",
"104796720182429147963427519368170838521257629224027565408974396362211239635140389257768036297199752289691646178885"
],
["1"],
[
"237849156256827398282019388933972533154056715710612980343582379691235964002811111531637163291964836316287473866944",
"121324456153144638357885760921484124420296650752569739652599982435599667566663818850130137668154167962818124679946",
"73600332144130508132510040050892177274732799381796146541825372722030832659283233558443467575385522990242420388929",
"44732797483932307692113794160403754043679743522093845554740681666841720206796756514002159097899004452746371432672",
"11133333007786916806537653763736510041397904969121754556887982143919681840159919608974969747422557814633960596319",
"90561577672782365102721874737156537447800052875073945376839636447536979602099666234669817779872333362600029687267",
"5450223346768511418345330845468131514992561567665451102957435878264997759483533580796977034429945593412389724558",
"235853237950439075722577332685219091953664185148611937130324227335365792837509030624805785387473218289296335533890",
"89396333230537847366322364436342481695658547414236326093675863540417141298105682739791578537835191912089484203681",
"115830385654423364502343021113073028365721746246232924567075277636234346135515984504152518055968175024342452068593",
"11263613907940703510226043272578077114062568830909561875804816268614922948545123959608046723806484765856945366386",
"85099371298035679603247495321780481321948685394995318303952199333118698031562067002765732094949837892213467834453",
"237849156256827398282019388933972533154056715710612980343582379691235964002811111531637163291964836316287473866944",
"121324456153144638357885760921484124420296650752569739652599982435599667566663818850130137668154167962818124679946",
"73600332144130508132510040050892177274732799381796146541825372722030832659283233558443467575385522990242420388929",
"44732797483932307692113794160403754043679743522093845554740681666841720206796756514002159097899004452746371432672",
"147751075268067473595930126919015490789314687953476809410426208666203744311411068892162888393693647317357680788622",
"253223744369647051774471619931702227054534749249995484100066505466186263584769989160049762529720081850824722544795",
"226753899873357669326157359116609350824063726018578587491538482132599227769745752321252816012800490263881222618536",
"176875521207730154886136120529839690202784860066517231969835480145708453592054364059780266900035568058186799176840"
]
]
},
"output": {
"Ok": {
"value": true
}
}
"entry_point": "./tests/tests/snark/snark_verify_bls12_377_1.zok",
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": [
[
"14854361253166356985827940126714566475275412573126716429346293669288261212877767002588736768495892518280555332082",
"213732210873464696846782550184555137228225514409080200587629835423679101735680889388490505365220726936653232900722",
"87538607630632344401950048588801759619324114043687193925268161368645768079512372989046887060116208844098222887523",
"5657143080315521889991799092902512094315245718355471372723437558193333983953910948320586493950523700874011063560",
"57443068623489368358651325326719858590550354409074784986003051193396111859230778144944186401073595967957696940521",
"239017299818740889416561988179003000999440599788233589838386981563280711497257601212385904595560069610856834048609",
"210817940648895568697680255986492415724502544301527123629003695092329489846191300997148203752109923795482648905049",
"104796720182429147963427519368170838521257629224027565408974396362211239635140389257768036297199752289691646178885"
],
["1"],
[
"237849156256827398282019388933972533154056715710612980343582379691235964002811111531637163291964836316287473866944",
"121324456153144638357885760921484124420296650752569739652599982435599667566663818850130137668154167962818124679946",
"73600332144130508132510040050892177274732799381796146541825372722030832659283233558443467575385522990242420388929",
"44732797483932307692113794160403754043679743522093845554740681666841720206796756514002159097899004452746371432672",
"11133333007786916806537653763736510041397904969121754556887982143919681840159919608974969747422557814633960596319",
"90561577672782365102721874737156537447800052875073945376839636447536979602099666234669817779872333362600029687267",
"5450223346768511418345330845468131514992561567665451102957435878264997759483533580796977034429945593412389724558",
"235853237950439075722577332685219091953664185148611937130324227335365792837509030624805785387473218289296335533890",
"89396333230537847366322364436342481695658547414236326093675863540417141298105682739791578537835191912089484203681",
"115830385654423364502343021113073028365721746246232924567075277636234346135515984504152518055968175024342452068593",
"11263613907940703510226043272578077114062568830909561875804816268614922948545123959608046723806484765856945366386",
"85099371298035679603247495321780481321948685394995318303952199333118698031562067002765732094949837892213467834453",
"237849156256827398282019388933972533154056715710612980343582379691235964002811111531637163291964836316287473866944",
"121324456153144638357885760921484124420296650752569739652599982435599667566663818850130137668154167962818124679946",
"73600332144130508132510040050892177274732799381796146541825372722030832659283233558443467575385522990242420388929",
"44732797483932307692113794160403754043679743522093845554740681666841720206796756514002159097899004452746371432672",
"147751075268067473595930126919015490789314687953476809410426208666203744311411068892162888393693647317357680788622",
"253223744369647051774471619931702227054534749249995484100066505466186263584769989160049762529720081850824722544795",
"226753899873357669326157359116609350824063726018578587491538482132599227769745752321252816012800490263881222618536",
"176875521207730154886136120529839690202784860066517231969835480145708453592054364059780266900035568058186799176840"
]
]
},
"output": {
"Ok": {
"value": true
}
]
}
}
]
}

98
zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_2.json
View file

@ -1,52 +1,52 @@
{
"entry_point": "./tests/tests/snark/snark_verify_bls12_377_2.zok",
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": [
[
"30886639936493049016175318852868223421962513695924799011862965798142544864756272917016480650319179059444391880142",
"210714472424410627451557273311118253425679108293022860127144278352441005505195339659420709617036779682326673533186",
"101969549978420613687361685686211943788361418391955806064423246725556175258043096446227634997412743489772585976407",
"225606981549539274850150853435430709464645103097569777238240148161962808333007149588258118157237589076622092111900",
"94477902787810056005140833707514971680416163466937669331638397632516292559333058429168736236263588445181668773613",
"156965166665593649649919836247487186182263277589020558979047044043456286367751723077006781061358137877318135673282",
"137741518433065408317198878994358008499493756319076293122811213051853618947340414216838530582726247267590705502194",
"126547036337175013106414910386451161000910611736141896590177615068467376299665795605927145787930213987505973766731"
],
["2", "4"],
[
"26150522755032959261786285436959898551137848025504557005325333189168466417284586793885098543725273736029879389211",
"169754513648720531797744265077389392707096818238531464510797707592538650668826008029773773893361012602508598834793",
"172926009578431040673671475398833553033375949638930965254433842547261096474109828672139964685904707258254717562981",
"190737508410333459842769941580905855813961948279753848892816073188168697419955701512184037596994386514528425558736",
"1619785665530270858283718034422422029553639813181597813279549759777153426792287594479505827096186872882300711765",
"63694115876363306907024906479487765094262979049817897093877772048737865300854356915611214233650510384715733840309",
"138256625715993632167333368395637908886726696039897946710436000177289042559378071109224721507617736881530800812544",
"107857276706363405428900669135705736327281608718185524590709570009027542794964888233568166787710632979062032163927",
"117681951719142414345371029336876269027160875021843115377112400246872843732924494507290756295050251515524804614493",
"16932482238351125436073535332269385696327441869886865463514408400096260901383164481505901002564992831623879258663",
"46308513493241827384377341904914105301671994851198058483103383539450400464257917932036866988024757095122827891763",
"12774065758179916688827174319525442607170697024774973507481660009802587305759263737719583503498828398179974682702",
"26150522755032959261786285436959898551137848025504557005325333189168466417284586793885098543725273736029879389211",
"169754513648720531797744265077389392707096818238531464510797707592538650668826008029773773893361012602508598834793",
"172926009578431040673671475398833553033375949638930965254433842547261096474109828672139964685904707258254717562981",
"190737508410333459842769941580905855813961948279753848892816073188168697419955701512184037596994386514528425558736",
"187872074241198211214687054253180244660204447307195753216396863454451962530721491538379804696965671145239859590846",
"172889367615248592096001816975404506869611319851954669628812891122278364377518978073247194031011246327549860771430",
"227539811502856876734690781228675876891342950061206768786526280217867721882979938383152839106086209430522325241347",
"33214331578997688306993838825659395665609935174693430136691944882187065031251282996759071511854109007793069549563",
"231745969633345194328768544928321593376710672347115907704852838281813505601170157293937606734791368236398411854640",
"47237328152391646101146711114931457284784793248831449686265996627039097119070481703804420386021717476164037563466"
]
]
},
"output": {
"Ok": {
"value": true
}
}
"entry_point": "./tests/tests/snark/snark_verify_bls12_377_2.zok",
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": [
[
"30886639936493049016175318852868223421962513695924799011862965798142544864756272917016480650319179059444391880142",
"210714472424410627451557273311118253425679108293022860127144278352441005505195339659420709617036779682326673533186",
"101969549978420613687361685686211943788361418391955806064423246725556175258043096446227634997412743489772585976407",
"225606981549539274850150853435430709464645103097569777238240148161962808333007149588258118157237589076622092111900",
"94477902787810056005140833707514971680416163466937669331638397632516292559333058429168736236263588445181668773613",
"156965166665593649649919836247487186182263277589020558979047044043456286367751723077006781061358137877318135673282",
"137741518433065408317198878994358008499493756319076293122811213051853618947340414216838530582726247267590705502194",
"126547036337175013106414910386451161000910611736141896590177615068467376299665795605927145787930213987505973766731"
],
["2", "4"],
[
"26150522755032959261786285436959898551137848025504557005325333189168466417284586793885098543725273736029879389211",
"169754513648720531797744265077389392707096818238531464510797707592538650668826008029773773893361012602508598834793",
"172926009578431040673671475398833553033375949638930965254433842547261096474109828672139964685904707258254717562981",
"190737508410333459842769941580905855813961948279753848892816073188168697419955701512184037596994386514528425558736",
"1619785665530270858283718034422422029553639813181597813279549759777153426792287594479505827096186872882300711765",
"63694115876363306907024906479487765094262979049817897093877772048737865300854356915611214233650510384715733840309",
"138256625715993632167333368395637908886726696039897946710436000177289042559378071109224721507617736881530800812544",
"107857276706363405428900669135705736327281608718185524590709570009027542794964888233568166787710632979062032163927",
"117681951719142414345371029336876269027160875021843115377112400246872843732924494507290756295050251515524804614493",
"16932482238351125436073535332269385696327441869886865463514408400096260901383164481505901002564992831623879258663",
"46308513493241827384377341904914105301671994851198058483103383539450400464257917932036866988024757095122827891763",
"12774065758179916688827174319525442607170697024774973507481660009802587305759263737719583503498828398179974682702",
"26150522755032959261786285436959898551137848025504557005325333189168466417284586793885098543725273736029879389211",
"169754513648720531797744265077389392707096818238531464510797707592538650668826008029773773893361012602508598834793",
"172926009578431040673671475398833553033375949638930965254433842547261096474109828672139964685904707258254717562981",
"190737508410333459842769941580905855813961948279753848892816073188168697419955701512184037596994386514528425558736",
"187872074241198211214687054253180244660204447307195753216396863454451962530721491538379804696965671145239859590846",
"172889367615248592096001816975404506869611319851954669628812891122278364377518978073247194031011246327549860771430",
"227539811502856876734690781228675876891342950061206768786526280217867721882979938383152839106086209430522325241347",
"33214331578997688306993838825659395665609935174693430136691944882187065031251282996759071511854109007793069549563",
"231745969633345194328768544928321593376710672347115907704852838281813505601170157293937606734791368236398411854640",
"47237328152391646101146711114931457284784793248831449686265996627039097119070481703804420386021717476164037563466"
]
]
},
"output": {
"Ok": {
"value": true
}
]
}
}
]
}

110
zokrates_core_test/tests/tests/snark/snark_verify_bls12_377_5.json
View file

@ -1,58 +1,58 @@
{
"entry_point": "./tests/tests/snark/snark_verify_bls12_377_5.zok",
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": [
[
"60457684924193218954780799695448128402450659922819148866042534731462934804174889585425668379894806827192129355035",
"30692976080216123852486339295726836787768525847434467843252380267593056117653493955651719058012291818530914713503",
"125357500613234885873309304302314409734224357144836572740733227274842238671614205545693580811504410323545780196986",
"247651569074486453849718457544382537302063316144666696072138162914150063434773021124866593709430271032906775848230",
"205925817697152648573187530836257591106879527302418969217282393297385329815356611501846344314549412686571096624542",
"52408210490520029867007596145203947635265945726032430791270964404506413872638222587937059680769423104224418341783",
"245391920863498220927838330312555206148254951255756591670548373412908886220063896460749603543488483619267089689381",
"78589112605630898410537770266153128219408270888620016803188045523021815277982064356841045190284469829851165791293"
],
["2", "2", "2", "2", "8"],
[
"177010185638377511324501604520563739739317808509681430951164029757345810095174696221494505373089763385490312116358",
"153053794329278051178743982884522858761476481700312111393093980133181276780354993379856934110282786295862092443919",
"119352601414532465114802089751399530705471140760948692288569726825270783170792459863146836606243083937386903791326",
"154395739702801688661668736325735092854144372763349598896957725187031688340840056329057020108410010039817499025290",
"219300867221825583189537695275783744511701200221265601874271468574900788700976161865886103325397401233680596662586",
"6184162650897786738969218350774078215930829358700672611442020481749290685465136203052430712512726892174302053960",
"223615432567648858214064557325028920329759681028000034077399269834838357009569712943919669143358231307616009815434",
"175981229674044997402551815995123920812483064905277870260193130162059294237262155034620065210131116619520563506519",
"149763821034046861511733819294494872607002147076380551480035933618221202037885306159876853613449195409389418630899",
"63613896436066139625271941484202721828670668029032907443649108037543119043920396499152980372905932782160074585332",
"83664647128245200609718804963435898883339854035469313658046832013326011731523365594256699720796643575140884572905",
"144568623182910160643612162930255558274463299944237682869943691750723939109705466332836308875557772911097578331002",
"177010185638377511324501604520563739739317808509681430951164029757345810095174696221494505373089763385490312116358",
"153053794329278051178743982884522858761476481700312111393093980133181276780354993379856934110282786295862092443919",
"119352601414532465114802089751399530705471140760948692288569726825270783170792459863146836606243083937386903791326",
"154395739702801688661668736325735092854144372763349598896957725187031688340840056329057020108410010039817499025290",
"149057616125424973478283591473814309565673764317022249169395023211664620308712452144732942791215282170059517214134",
"41780114592407788188439225711342125468082786659527520800331438243958377257657588645284569742745602805176661321513",
"221720891820590314635918157317325200201212159883016241641294528146177946855934688201173659819769674033460232363042",
"50797017918692117248188277962054664678983362179572320962314605303222488912037808946253081883636411158993624881368",
"45015881196637283857089803245084152220024891684216432418680197321055655838083895789012460620698622411348666936603",
"6614931577154387449192604140382084380965299734550787093003728565193454839715263838958636766466130999302518638149",
"245269024464910939632469903406535269950072210280644644046910525955649284275684019199442256400616717695144071175450",
"43420687027898212877864397162744483839228857355048382441491263977288496076621257227893835793326940537504242772685",
"83272518748948630820579332810320118472860479700707035306680609335770289292207880205558249065217561951629308682324",
"6938552589263177251253935997174459628120498877543020100980702178088439767196046212767463370826879237199769600513",
"170649759404749298159628447642105098367401676132263627894428382159110486377464596992614660456131317719055604455895",
"52917028619173381482821776446008133295138882162362339762583394451153359715914188291769779536313083815565710768404"
]
]
},
"output": {
"Ok": {
"value": true
}
}
"entry_point": "./tests/tests/snark/snark_verify_bls12_377_5.zok",
"curves": ["Bw6_761"],
"tests": [
{
"input": {
"values": [
[
"60457684924193218954780799695448128402450659922819148866042534731462934804174889585425668379894806827192129355035",
"30692976080216123852486339295726836787768525847434467843252380267593056117653493955651719058012291818530914713503",
"125357500613234885873309304302314409734224357144836572740733227274842238671614205545693580811504410323545780196986",
"247651569074486453849718457544382537302063316144666696072138162914150063434773021124866593709430271032906775848230",
"205925817697152648573187530836257591106879527302418969217282393297385329815356611501846344314549412686571096624542",
"52408210490520029867007596145203947635265945726032430791270964404506413872638222587937059680769423104224418341783",
"245391920863498220927838330312555206148254951255756591670548373412908886220063896460749603543488483619267089689381",
"78589112605630898410537770266153128219408270888620016803188045523021815277982064356841045190284469829851165791293"
],
["2", "2", "2", "2", "8"],
[
"177010185638377511324501604520563739739317808509681430951164029757345810095174696221494505373089763385490312116358",
"153053794329278051178743982884522858761476481700312111393093980133181276780354993379856934110282786295862092443919",
"119352601414532465114802089751399530705471140760948692288569726825270783170792459863146836606243083937386903791326",
"154395739702801688661668736325735092854144372763349598896957725187031688340840056329057020108410010039817499025290",
"219300867221825583189537695275783744511701200221265601874271468574900788700976161865886103325397401233680596662586",
"6184162650897786738969218350774078215930829358700672611442020481749290685465136203052430712512726892174302053960",
"223615432567648858214064557325028920329759681028000034077399269834838357009569712943919669143358231307616009815434",
"175981229674044997402551815995123920812483064905277870260193130162059294237262155034620065210131116619520563506519",
"149763821034046861511733819294494872607002147076380551480035933618221202037885306159876853613449195409389418630899",
"63613896436066139625271941484202721828670668029032907443649108037543119043920396499152980372905932782160074585332",
"83664647128245200609718804963435898883339854035469313658046832013326011731523365594256699720796643575140884572905",
"144568623182910160643612162930255558274463299944237682869943691750723939109705466332836308875557772911097578331002",
"177010185638377511324501604520563739739317808509681430951164029757345810095174696221494505373089763385490312116358",
"153053794329278051178743982884522858761476481700312111393093980133181276780354993379856934110282786295862092443919",
"119352601414532465114802089751399530705471140760948692288569726825270783170792459863146836606243083937386903791326",
"154395739702801688661668736325735092854144372763349598896957725187031688340840056329057020108410010039817499025290",
"149057616125424973478283591473814309565673764317022249169395023211664620308712452144732942791215282170059517214134",
"41780114592407788188439225711342125468082786659527520800331438243958377257657588645284569742745602805176661321513",
"221720891820590314635918157317325200201212159883016241641294528146177946855934688201173659819769674033460232363042",
"50797017918692117248188277962054664678983362179572320962314605303222488912037808946253081883636411158993624881368",
"45015881196637283857089803245084152220024891684216432418680197321055655838083895789012460620698622411348666936603",
"6614931577154387449192604140382084380965299734550787093003728565193454839715263838958636766466130999302518638149",
"245269024464910939632469903406535269950072210280644644046910525955649284275684019199442256400616717695144071175450",
"43420687027898212877864397162744483839228857355048382441491263977288496076621257227893835793326940537504242772685",
"83272518748948630820579332810320118472860479700707035306680609335770289292207880205558249065217561951629308682324",
"6938552589263177251253935997174459628120498877543020100980702178088439767196046212767463370826879237199769600513",
"170649759404749298159628447642105098367401676132263627894428382159110486377464596992614660456131317719055604455895",
"52917028619173381482821776446008133295138882162362339762583394451153359715914188291769779536313083815565710768404"
]
]
},
"output": {
"Ok": {
"value": true
}
]
}
}
]
}

2142
zokrates_core_test/tests/tests/split_bls.json
View file

File diff suppressed because it is too large Load diff

2134
zokrates_core_test/tests/tests/split_bn.json
View file

File diff suppressed because it is too large Load diff

28
zokrates_core_test/tests/tests/spread_slice.json
View file

@ -1,17 +1,17 @@
{
"entry_point": "./tests/tests/spread_slice.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"max_constraint_count": 9,
"tests": [
{
"input": {
"values": [["1", "2", "3"], ["4", "5", "6"], "7"]
},
"output": {
"Ok": {
"value": ["1", "2", "5", "6", "1", "2", "3", "5", "7"]
}
}
"entry_point": "./tests/tests/spread_slice.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"max_constraint_count": 9,
"tests": [
{
"input": {
"values": [["1", "2", "3"], ["4", "5", "6"], "7"]
},
"output": {
"Ok": {
"value": ["1", "2", "5", "6", "1", "2", "3", "5", "7"]
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/structs/constant.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/structs/constant.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/structs/constant.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

76
zokrates_core_test/tests/tests/structs/identity.json
View file

@ -1,41 +1,41 @@
{
"entry_point": "./tests/tests/structs/identity.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"abi": false,
"tests": [
{
"input": {
"values": ["42", "0"]
},
"output": {
"Ok": {
"value": ["42", "0"]
}
}
},
{
"input": {
"values": ["42", "1"]
},
"output": {
"Ok": {
"value": ["42", "1"]
}
}
},
{
"input": {
"values": ["42", "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "9",
"right": "3",
"error": "ArgumentBitness"
}
}
}
"entry_point": "./tests/tests/structs/identity.zok",
"curves": ["Bn128", "Bls12_381", "Bls12_377", "Bw6_761"],
"abi": false,
"tests": [
{
"input": {
"values": ["42", "0"]
},
"output": {
"Ok": {
"value": ["42", "0"]
}
]
}
},
{
"input": {
"values": ["42", "1"]
},
"output": {
"Ok": {
"value": ["42", "1"]
}
}
},
{
"input": {
"values": ["42", "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "9",
"right": "3",
"error": "ArgumentBitness"
}
}
}
}
]
}

38
zokrates_core_test/tests/tests/structs/member_order.json
View file

@ -1,22 +1,22 @@
{
"entry_point": "./tests/tests/structs/member_order.zok",
"curves": ["Bn128"],
"tests": [
{
"abi": true,
"input": {
"values": [
{
"a": true,
"b": "3"
}
]
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/structs/member_order.zok",
"curves": ["Bn128"],
"tests": [
{
"abi": true,
"input": {
"values": [
{
"a": true,
"b": "3"
}
]
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

66
zokrates_core_test/tests/tests/ternary.json
View file

@ -1,36 +1,36 @@
{
"entry_point": "./tests/tests/ternary.zok",
"max_constraint_count": 6,
"tests": [
{
"input": {
"values": [true, false]
},
"output": {
"Ok": {
"value": "1"
}
}
},
{
"input": {
"values": [false, true]
},
"output": {
"Ok": {
"value": "2"
}
}
},
{
"input": {
"values": [false, false]
},
"output": {
"Ok": {
"value": "3"
}
}
"entry_point": "./tests/tests/ternary.zok",
"max_constraint_count": 6,
"tests": [
{
"input": {
"values": [true, false]
},
"output": {
"Ok": {
"value": "1"
}
]
}
},
{
"input": {
"values": [false, true]
},
"output": {
"Ok": {
"value": "2"
}
}
},
{
"input": {
"values": [false, false]
},
"output": {
"Ok": {
"value": "3"
}
}
}
]
}

46
zokrates_core_test/tests/tests/tuples/conditional.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/tuples/conditional.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [true]
},
"output": {
"Ok": {
"value": ["1", "2"]
}
}
},
{
"input": {
"values": [false]
},
"output": {
"Ok": {
"value": ["2", "1"]
}
}
"entry_point": "./tests/tests/tuples/conditional.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [true]
},
"output": {
"Ok": {
"value": ["1", "2"]
}
]
}
},
{
"input": {
"values": [false]
},
"output": {
"Ok": {
"value": ["2", "1"]
}
}
}
]
}

26
zokrates_core_test/tests/tests/tuples/constant.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/tuples/constant.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/tuples/constant.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/tuples/element_order.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/tuples/element_order.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [["3", true]]
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/tuples/element_order.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [["3", true]]
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/tuples/empty.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/tuples/empty.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [[]]
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/tuples/empty.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [[]]
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

76
zokrates_core_test/tests/tests/tuples/identity.json
View file

@ -1,41 +1,41 @@
{
"entry_point": "./tests/tests/tuples/identity.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [["42", false]]
},
"output": {
"Ok": {
"value": ["42", false]
}
}
},
{
"input": {
"values": [["42", true]]
},
"output": {
"Ok": {
"value": ["42", true]
}
}
},
{
"abi": false,
"input": {
"values": ["42", "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "9",
"right": "3",
"error": "ArgumentBitness"
}
}
}
"entry_point": "./tests/tests/tuples/identity.zok",
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": [["42", false]]
},
"output": {
"Ok": {
"value": ["42", false]
}
]
}
},
{
"input": {
"values": [["42", true]]
},
"output": {
"Ok": {
"value": ["42", true]
}
}
},
{
"abi": false,
"input": {
"values": ["42", "3"]
},
"output": {
"Err": {
"UnsatisfiedConstraint": {
"left": "9",
"right": "3",
"error": "ArgumentBitness"
}
}
}
}
]
}

6
zokrates_core_test/tests/tests/uint/add_loop.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/uint/add_loop.zok",
"max_constraint_count": 76,
"tests": []
"entry_point": "./tests/tests/uint/add_loop.zok",
"max_constraint_count": 76,
"tests": []
}

26
zokrates_core_test/tests/tests/uint/ch.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/uint/ch.zok",
"max_constraint_count": 200,
"tests": [
{
"input": {
"values": ["0x00000000", "0x00000000", "0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
}
"entry_point": "./tests/tests/uint/ch.zok",
"max_constraint_count": 200,
"tests": [
{
"input": {
"values": ["0x00000000", "0x00000000", "0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
]
}
}
]
}

46
zokrates_core_test/tests/tests/uint/conditional.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/uint/conditional.zok",
"max_constraint_count": 31,
"tests": [
{
"input": {
"values": [true, "0x00", "0xff"]
},
"output": {
"Ok": {
"value": "0x00"
}
}
},
{
"input": {
"values": [false, "0x00", "0xff"]
},
"output": {
"Ok": {
"value": "0xff"
}
}
"entry_point": "./tests/tests/uint/conditional.zok",
"max_constraint_count": 31,
"tests": [
{
"input": {
"values": [true, "0x00", "0xff"]
},
"output": {
"Ok": {
"value": "0x00"
}
]
}
},
{
"input": {
"values": [false, "0x00", "0xff"]
},
"output": {
"Ok": {
"value": "0xff"
}
}
}
]
}

26
zokrates_core_test/tests/tests/uint/constant.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/uint/constant.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "0x01234567"
}
}
"entry_point": "./tests/tests/uint/constant.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": "0x01234567"
}
]
}
}
]
}

4
zokrates_core_test/tests/tests/uint/eq.json
View file

@ -1,4 +1,4 @@
{
"entry_point": "./tests/tests/uint/eq.zok",
"tests": []
"entry_point": "./tests/tests/uint/eq.zok",
"tests": []
}

6
zokrates_core_test/tests/tests/uint/extend.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/uint/extend.zok",
"max_constraint_count": 2280,
"tests": []
"entry_point": "./tests/tests/uint/extend.zok",
"max_constraint_count": 2280,
"tests": []
}

81
zokrates_core_test/tests/tests/uint/from_to_bits.json
View file

@ -1,51 +1,36 @@
{
"entry_point": "./tests/tests/uint/from_to_bits.zok",
"max_constraint_count": 128,
"tests": [
{
"input": {
"values": ["0x0000000000000000", "0x00000000", "0x0000", "0x00"]
},
"output": {
"Ok": {
"value": [
"0x0000000000000000",
"0x00000000",
"0x0000",
"0x00"
]
}
}
},
{
"input": {
"values": ["0xffffffffffffffff", "0xffffffff", "0xffff", "0xff"]
},
"output": {
"Ok": {
"value": [
"0xffffffffffffffff",
"0xffffffff",
"0xffff",
"0xff"
]
}
}
},
{
"input": {
"values": ["0x1234567812345678", "0x12345678", "0x1234", "0x12"]
},
"output": {
"Ok": {
"value": [
"0x1234567812345678",
"0x12345678",
"0x1234",
"0x12"
]
}
}
"entry_point": "./tests/tests/uint/from_to_bits.zok",
"max_constraint_count": 128,
"tests": [
{
"input": {
"values": ["0x0000000000000000", "0x00000000", "0x0000", "0x00"]
},
"output": {
"Ok": {
"value": ["0x0000000000000000", "0x00000000", "0x0000", "0x00"]
}
]
}
},
{
"input": {
"values": ["0xffffffffffffffff", "0xffffffff", "0xffff", "0xff"]
},
"output": {
"Ok": {
"value": ["0xffffffffffffffff", "0xffffffff", "0xffff", "0xff"]
}
}
},
{
"input": {
"values": ["0x1234567812345678", "0x12345678", "0x1234", "0x12"]
},
"output": {
"Ok": {
"value": ["0x1234567812345678", "0x12345678", "0x1234", "0x12"]
}
}
}
]
}

46
zokrates_core_test/tests/tests/uint/maj.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/uint/maj.zok",
"max_constraint_count": 166,
"tests": [
{
"input": {
"values": ["0x00000000", "0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
}
},
{
"input": {
"values": ["0x01234567", "0x23456789"]
},
"output": {
"Ok": {
"value": "0x03254769"
}
}
"entry_point": "./tests/tests/uint/maj.zok",
"max_constraint_count": 166,
"tests": [
{
"input": {
"values": ["0x00000000", "0x00000000"]
},
"output": {
"Ok": {
"value": "0x00000000"
}
]
}
},
{
"input": {
"values": ["0x01234567", "0x23456789"]
},
"output": {
"Ok": {
"value": "0x03254769"
}
}
}
]
}

32
zokrates_core_test/tests/tests/uint/operations.json
View file

@ -1,19 +1,19 @@
{
"entry_point": "./tests/tests/uint/operations.zok",
"tests": [
{
"input": {
"values": [
"0x12345678",
"0x01234567",
["0xfefefefe", "0xefefefef", "0xffffffff", "0xeeeeeeee"]
]
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/uint/operations.zok",
"tests": [
{
"input": {
"values": [
"0x12345678",
"0x01234567",
["0xfefefefe", "0xefefefef", "0xffffffff", "0xeeeeeeee"]
]
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

26
zokrates_core_test/tests/tests/uint/propagation/rotate.json
View file

@ -1,16 +1,16 @@
{
"entry_point": "./tests/tests/uint/propagation/rotate.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
}
"entry_point": "./tests/tests/uint/propagation/rotate.zok",
"max_constraint_count": 1,
"tests": [
{
"input": {
"values": []
},
"output": {
"Ok": {
"value": []
}
]
}
}
]
}

46
zokrates_core_test/tests/tests/uint/rotate.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/uint/rotate.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x000000f0"]
},
"output": {
"Ok": {
"value": "0x0000000f"
}
}
},
{
"input": {
"values": ["0x12345678"]
},
"output": {
"Ok": {
"value": "0x81234567"
}
}
"entry_point": "./tests/tests/uint/rotate.zok",
"max_constraint_count": 34,
"tests": [
{
"input": {
"values": ["0x000000f0"]
},
"output": {
"Ok": {
"value": "0x0000000f"
}
]
}
},
{
"input": {
"values": ["0x12345678"]
},
"output": {
"Ok": {
"value": "0x81234567"
}
}
}
]
}

86
zokrates_core_test/tests/tests/uint/sha256.json
View file

@ -1,46 +1,46 @@
{
"entry_point": "./tests/tests/uint/sha256.zok",
"max_constraint_count": 30000,
"tests": [
{
"input": {
"values": [
[
[
"0x243f6a88",
"0x85a308d3",
"0x13198a2e",
"0x03707344",
"0xa4093822",
"0x299f31d0",
"0x082efa98",
"0xec4e6c89",
"0x452821e6",
"0x38d01377",
"0xbe5466cf",
"0x34e90c6c",
"0xc0ac29b7",
"0xc97c50dd",
"0x3f84d5b5",
"0xb5470917"
]
]
]
},
"output": {
"Ok": {
"value": [
"0xcf0ae4eb",
"0x67d38ffe",
"0xb9406898",
"0x4b22abde",
"0x4e92bc54",
"0x8d14585e",
"0x48dca888",
"0x2d7b09ce"
]
}
}
"entry_point": "./tests/tests/uint/sha256.zok",
"max_constraint_count": 30000,
"tests": [
{
"input": {
"values": [
[
[
"0x243f6a88",
"0x85a308d3",
"0x13198a2e",
"0x03707344",
"0xa4093822",
"0x299f31d0",
"0x082efa98",
"0xec4e6c89",
"0x452821e6",
"0x38d01377",
"0xbe5466cf",
"0x34e90c6c",
"0xc0ac29b7",
"0xc97c50dd",
"0x3f84d5b5",
"0xb5470917"
]
]
]
},
"output": {
"Ok": {
"value": [
"0xcf0ae4eb",
"0x67d38ffe",
"0xb9406898",
"0x4b22abde",
"0x4e92bc54",
"0x8d14585e",
"0x48dca888",
"0x2d7b09ce"
]
}
]
}
}
]
}

6
zokrates_core_test/tests/tests/uint/temp1.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/uint/temp1.zok",
"max_constraint_count": 398,
"tests": []
"entry_point": "./tests/tests/uint/temp1.zok",
"max_constraint_count": 398,
"tests": []
}

6
zokrates_core_test/tests/tests/uint/temp2.json
View file

@ -1,5 +1,5 @@
{
"entry_point": "./tests/tests/uint/temp2.zok",
"max_constraint_count": 364,
"tests": []
"entry_point": "./tests/tests/uint/temp2.zok",
"max_constraint_count": 364,
"tests": []
}

66
zokrates_core_test/tests/tests/uint/u16/add.json
View file

@ -1,36 +1,36 @@
{
"entry_point": "./tests/tests/uint/u16/add.zok",
"max_constraint_count": 53,
"tests": [
{
"input": {
"values": ["0xffff", "0x0001"]
},
"output": {
"Ok": {
"value": "0x0000"
}
}
},
{
"input": {
"values": ["0x1000", "0x1000"]
},
"output": {
"Ok": {
"value": "0x2000"
}
}
},
{
"input": {
"values": ["0xffff", "0xffff"]
},
"output": {
"Ok": {
"value": "0xfffe"
}
}
"entry_point": "./tests/tests/uint/u16/add.zok",
"max_constraint_count": 53,
"tests": [
{
"input": {
"values": ["0xffff", "0x0001"]
},
"output": {
"Ok": {
"value": "0x0000"
}
]
}
},
{
"input": {
"values": ["0x1000", "0x1000"]
},
"output": {
"Ok": {
"value": "0x2000"
}
}
},
{
"input": {
"values": ["0xffff", "0xffff"]
},
"output": {
"Ok": {
"value": "0xfffe"
}
}
}
]
}

66
zokrates_core_test/tests/tests/uint/u16/and.json
View file

@ -1,36 +1,36 @@
{
"entry_point": "./tests/tests/uint/u16/and.zok",
"max_constraint_count": 51,
"tests": [
{
"input": {
"values": ["0xffff", "0xffff"]
},
"output": {
"Ok": {
"value": "0xffff"
}
}
},
{
"input": {
"values": ["0xffff", "0x0000"]
},
"output": {
"Ok": {
"value": "0x0000"
}
}
},
{
"input": {
"values": ["0x1234", "0x5678"]
},
"output": {
"Ok": {
"value": "0x1230"
}
}
"entry_point": "./tests/tests/uint/u16/and.zok",
"max_constraint_count": 51,
"tests": [
{
"input": {
"values": ["0xffff", "0xffff"]
},
"output": {
"Ok": {
"value": "0xffff"
}
]
}
},
{
"input": {
"values": ["0xffff", "0x0000"]
},
"output": {
"Ok": {
"value": "0x0000"
}
}
},
{
"input": {
"values": ["0x1234", "0x5678"]
},
"output": {
"Ok": {
"value": "0x1230"
}
}
}
]
}

66
zokrates_core_test/tests/tests/uint/u16/div.json
View file

@ -1,36 +1,36 @@
{
"entry_point": "./tests/tests/uint/u16/div.zok",
"max_constraint_count": 88,
"tests": [
{
"input": {
"values": ["0x1000", "0x1000"]
},
"output": {
"Ok": {
"value": "0x0001"
}
}
},
{
"input": {
"values": ["0x1000", "0x0002"]
},
"output": {
"Ok": {
"value": "0x0800"
}
}
},
{
"input": {
"values": ["0x1001", "0x0002"]
},
"output": {
"Ok": {
"value": "0x0800"
}
}
"entry_point": "./tests/tests/uint/u16/div.zok",
"max_constraint_count": 88,
"tests": [
{
"input": {
"values": ["0x1000", "0x1000"]
},
"output": {
"Ok": {
"value": "0x0001"
}
]
}
},
{
"input": {
"values": ["0x1000", "0x0002"]
},
"output": {
"Ok": {
"value": "0x0800"
}
}
},
{
"input": {
"values": ["0x1001", "0x0002"]
},
"output": {
"Ok": {
"value": "0x0800"
}
}
}
]
}

46
zokrates_core_test/tests/tests/uint/u16/eq.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/uint/u16/eq.zok",
"max_constraint_count": 37,
"tests": [
{
"input": {
"values": ["0x0002", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["0x0002", "0x0004"]
},
"output": {
"Ok": {
"value": false
}
}
"entry_point": "./tests/tests/uint/u16/eq.zok",
"max_constraint_count": 37,
"tests": [
{
"input": {
"values": ["0x0002", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
]
}
},
{
"input": {
"values": ["0x0002", "0x0004"]
},
"output": {
"Ok": {
"value": false
}
}
}
]
}

46
zokrates_core_test/tests/tests/uint/u16/gt.json
View file

@ -1,26 +1,26 @@
{
"entry_point": "./tests/tests/uint/u16/gt.zok",
"max_constraint_count": 697,
"tests": [
{
"input": {
"values": ["0x0004", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["0x0002", "0x0002"]
},
"output": {
"Ok": {
"value": false
}
}
"entry_point": "./tests/tests/uint/u16/gt.zok",
"max_constraint_count": 697,
"tests": [
{
"input": {
"values": ["0x0004", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
]
}
},
{
"input": {
"values": ["0x0002", "0x0002"]
},
"output": {
"Ok": {
"value": false
}
}
}
]
}

66
zokrates_core_test/tests/tests/uint/u16/gte.json
View file

@ -1,36 +1,36 @@
{
"entry_point": "./tests/tests/uint/u16/gte.zok",
"max_constraint_count": 699,
"tests": [
{
"input": {
"values": ["0x0004", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["0x0002", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["0x0001", "0x0002"]
},
"output": {
"Ok": {
"value": false
}
}
"entry_point": "./tests/tests/uint/u16/gte.zok",
"max_constraint_count": 699,
"tests": [
{
"input": {
"values": ["0x0004", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
]
}
},
{
"input": {
"values": ["0x0002", "0x0002"]
},
"output": {
"Ok": {
"value": true
}
}
},
{
"input": {
"values": ["0x0001", "0x0002"]
},
"output": {
"Ok": {
"value": false
}
}
}
]
}

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