github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

add tests

Browse source
This commit is contained in:
dark64 2022-01-11 11:03:54 +01:00
parent 19ff179cc5
commit 5e3bebad86
13 changed files with 367 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
zokrates_core/src/flatten/mod.rs
View file

@ -628,7 +628,13 @@ impl<'ast, T: Field> Flattener<'ast, T> {
let c = c - T::one();
let c_bit_width = c.bits() as usize;
let e_bits_be = self.get_bits(&e, c_bit_width, c_bit_width, statements_flattened);
let e_bits_be = self.get_bits(
&e,
c_bit_width,
c_bit_width,
statements_flattened,
error.clone(),
);
let c_bits_be = c.to_bits_be();
self.enforce_constant_le_check(
@ -659,7 +665,13 @@ impl<'ast, T: Field> Flattener<'ast, T> {
let e_id = FlatExpression::Identifier(e_var);
let bitwidth = T::get_required_bits();
let e_bits_be = self.get_bits(&e_id, bitwidth, bitwidth, statements_flattened);
let e_bits_be = self.get_bits(
&e_id,
bitwidth,
bitwidth,
statements_flattened,
RuntimeError::ConstantLtSum,
);
// check that this decomposition does not overflow the field
self.enforce_constant_le_check(
@ -1334,6 +1346,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
target_bitwidth,
target_bitwidth,
statements_flattened,
RuntimeError::Sum,
);
// r in range
@ -1342,6 +1355,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
target_bitwidth,
target_bitwidth,
statements_flattened,
RuntimeError::Sum,
);
// r < d <=> r - d + 2**w < 2**w
@ -1353,6 +1367,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
target_bitwidth,
target_bitwidth,
statements_flattened,
RuntimeError::Sum,
);
// q*d == n - r
@ -1826,6 +1841,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
actual_bitwidth,
target_bitwidth.to_usize(),
statements_flattened,
RuntimeError::Sum,
),
};
@ -1862,6 +1878,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
from: usize,
to: usize,
statements_flattened: &mut FlatStatements<T>,
error: RuntimeError,
) -> Vec<FlatExpression<T>> {
assert!(from <= T::get_required_bits());
assert!(to <= T::get_required_bits());
@ -1915,7 +1932,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
statements_flattened.push_back(FlatStatement::Condition(
e.clone(),
sum.clone(),
RuntimeError::Sum,
error,
));
// truncate to the `to` lowest bits
@ -2355,8 +2372,13 @@ impl<'ast, T: Field> Flattener<'ast, T> {
match (lhs, rhs) {
(e, FlatExpression::Number(constant)) => {
let bitwidth = constant.bits() as usize;
let e_bits_be =
self.get_bits(&e, bitwidth, bitwidth, statements_flattened);
let e_bits_be = self.get_bits(
&e,
bitwidth,
bitwidth,
statements_flattened,
error.clone().into(),
);
self.enforce_constant_le_check(
statements_flattened,
@ -2370,8 +2392,13 @@ impl<'ast, T: Field> Flattener<'ast, T> {
let constant = T::max_value() - constant;
let bitwidth = constant.bits() as usize;
let e_bits_be =
self.get_bits(&e, bitwidth, bitwidth, statements_flattened);
let e_bits_be = self.get_bits(
&e,
bitwidth,
bitwidth,
statements_flattened,
error.clone().into(),
);
self.enforce_constant_le_check(
statements_flattened,
@ -2615,6 +2642,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
bitwidth.to_usize(),
bitwidth.to_usize(),
statements_flattened,
RuntimeError::Sum,
);
}
Type::Boolean => {

55
zokrates_core_test/tests/tests/range_check/assert_ge.json Normal file
View file

@ -0,0 +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": {
"values": []
}
}
},
{
"input": {
"values": ["15"]
},
"output": {
"Ok": {
"values": []
}
}
}
]
}

3
zokrates_core_test/tests/tests/range_check/assert_ge.zok Normal file
View file

@ -0,0 +1,3 @@
def main(field x):
assert(x >= 2)
return

59
zokrates_core_test/tests/tests/range_check/assert_gt.json Normal file
View file

@ -0,0 +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": {
"values": []
}
}
}
]
}

3
zokrates_core_test/tests/tests/range_check/assert_gt.zok Normal file
View file

@ -0,0 +1,3 @@
def main(field x):
assert(x > 2)
return

45
zokrates_core_test/tests/tests/range_check/assert_gt_big_constant.json Normal file
View file

@ -0,0 +1,45 @@
{
"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": {
"values": []
}
}
}
]
}

5
zokrates_core_test/tests/tests/range_check/assert_gt_big_constant.zok Normal file
View file

@ -0,0 +1,5 @@
from "field" import FIELD_MAX
def main(field x):
assert(x > FIELD_MAX - 1)
return

55
zokrates_core_test/tests/tests/range_check/assert_le.json Normal file
View file

@ -0,0 +1,55 @@
{
"entry_point": "./tests/tests/range_check/assert_le.zok",
"max_constraint_count": 5,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"values": []
}
}
},
{
"input": {
"values": ["2"]
},
"output": {
"Ok": {
"values": []
}
}
},
{
"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"
}
}
}
}
}
]
}

3
zokrates_core_test/tests/tests/range_check/assert_le.zok Normal file
View file

@ -0,0 +1,3 @@
def main(field x):
assert(x <= 2)
return

55
zokrates_core_test/tests/tests/range_check/assert_lt.json Normal file
View file

@ -0,0 +1,55 @@
{
"entry_point": "./tests/tests/range_check/assert_lt.zok",
"max_constraint_count": 4,
"curves": ["Bn128"],
"tests": [
{
"input": {
"values": ["0"]
},
"output": {
"Ok": {
"values": []
}
}
},
{
"input": {
"values": ["1"]
},
"output": {
"Ok": {
"values": []
}
}
},
{
"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"
}
}
}
}
}
]
}

3
zokrates_core_test/tests/tests/range_check/assert_lt.zok Normal file
View file

@ -0,0 +1,3 @@
def main(field x):
assert(x < 2)
return

41
zokrates_core_test/tests/tests/range_check/assert_lt_big_constant.json Normal file
View file

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

5
zokrates_core_test/tests/tests/range_check/assert_lt_big_constant.zok Normal file
View file

@ -0,0 +1,5 @@
from "field" import FIELD_MAX
def main(field x):
assert(x < FIELD_MAX - 1)
return