| .. |
|
arrays
|
update tests
|
2021-07-06 18:31:03 +02:00 |
|
constants
|
add FIELD_MIN and FIELD_MAX constants to field module, update tests
|
2021-06-17 13:27:24 +02:00 |
|
generics
|
remove strict ordering of declarations, refactor import logic
|
2021-05-12 20:03:08 +02:00 |
|
import
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
memoize
|
make tests panic if max constraint count is exceeded
|
2021-04-19 13:50:42 +02:00 |
|
panics
|
update tests
|
2021-07-06 18:31:03 +02:00 |
|
snark
|
add instructions to snark verification tests
|
2021-07-07 17:52:37 +02:00 |
|
structs
|
add gm17 passing test
|
2021-07-25 16:56:59 +02:00 |
|
uint
|
Merge pull request #863 from Zokrates/remove-strict-ordering
|
2021-05-17 22:52:11 +02:00 |
|
add.json
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
add.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
array_if.json
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
array_if.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
assert_one.json
|
update tests
|
2021-07-06 18:31:03 +02:00 |
|
assert_one.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
bool_compare.json
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
bool_compare.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
cached_condition.json
|
add FIELD_SIZE_IN_BITS constant embed
|
2021-06-08 20:42:32 +02:00 |
|
cached_condition.zok
|
avoid creating empty if-else statements, cache conditions when flattening
|
2021-06-04 13:02:17 +02:00 |
|
complex_call.json
|
add test
|
2019-12-27 17:43:40 +01:00 |
|
complex_call.zok
|
update code for new semantics
|
2020-04-14 16:32:14 +02:00 |
|
fact_up_to_4.json
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
fact_up_to_4.zok
|
wip
|
2020-11-04 21:50:44 +00:00 |
|
le.json
|
wip
|
2021-04-15 15:58:10 +02:00 |
|
le.zok
|
wip
|
2021-04-15 15:58:10 +02:00 |
|
left_rotation.json
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
left_rotation.zok
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
left_rotation_bits.json
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
left_rotation_bits.zok
|
remove strict ordering of declarations, refactor import logic
|
2021-05-12 20:03:08 +02:00 |
|
native_le.json
|
clean, fix native le test
|
2021-04-21 16:33:45 +02:00 |
|
native_le.zok
|
use field constants to avoid curve dependant code
|
2021-07-14 14:10:16 +02:00 |
|
neg_pos.json
|
add negative and positive operators
|
2021-03-16 19:22:32 +01:00 |
|
neg_pos.zok
|
merge dev, implement inference for neg and pos, fix conclicts
|
2021-04-01 17:34:05 +02:00 |
|
nested_loop.json
|
extend example, add doc
|
2020-01-21 15:39:24 +01:00 |
|
nested_loop.zok
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
pass_by_value.json
|
more complete test
|
2021-05-05 16:26:27 +02:00 |
|
pass_by_value.zok
|
more complete test
|
2021-05-05 16:26:27 +02:00 |
|
precedence.json
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
precedence.zok
|
merge dev, implement inference for neg and pos, fix conclicts
|
2021-04-01 17:34:05 +02:00 |
|
range.json
|
extract eq check code, implement c < x checks, update tests to use dynamic comparison
|
2021-03-16 12:24:32 +01:00 |
|
range.zok
|
extract eq check code, implement c < x checks, update tests to use dynamic comparison
|
2021-03-16 12:24:32 +01:00 |
|
right_rotation.json
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
right_rotation.zok
|
replace XOR with OR
|
2021-04-14 20:07:05 +02:00 |
|
right_rotation_bits.json
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
right_rotation_bits.zok
|
remove strict ordering of declarations, refactor import logic
|
2021-05-12 20:03:08 +02:00 |
|
single_return.json
|
fix parser, fmt
|
2020-03-02 11:42:24 +01:00 |
|
single_return.zok
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
split.zok
|
use field constants to avoid curve dependant code
|
2021-07-14 14:10:16 +02:00 |
|
split_bls.json
|
use field constants to avoid curve dependant code
|
2021-07-14 14:10:16 +02:00 |
|
split_bn.json
|
use field constants to avoid curve dependant code
|
2021-07-14 14:10:16 +02:00 |
|
spread_slice.json
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
spread_slice.zok
|
change file endings
|
2019-09-24 12:05:43 +02:00 |
|
ternary.json
|
correct max constraint count
|
2021-09-16 18:10:45 +02:00 |
|
ternary.zok
|
improve tests
|
2021-09-16 15:54:03 +02:00 |
