dark64
|
aba16cdc8b
|
use field constants to avoid curve dependant code
|
2021-07-14 14:10:16 +02:00 |
|
schaeff
|
ef4241e177
|
resolve conflicts, add errors for ark
|
2021-07-08 10:42:40 +02:00 |
|
Thibaut Schaeffer
|
ffac53c793
|
Merge pull request #918 from Zokrates/recursive-verifier
Recursive verification
|
2021-07-07 18:45:09 +02:00 |
|
dark64
|
bda8c0b0b6
|
add instructions to snark verification tests
|
2021-07-07 17:52:37 +02:00 |
|
dark64
|
41d30c5d7d
|
update test description
|
2021-07-07 15:58:59 +02:00 |
|
dark64
|
6f0821f129
|
remove unreachable variant, add comments to snark verification tests
|
2021-07-07 15:46:56 +02:00 |
|
schaeff
|
575b1b1626
|
update tests
|
2021-07-06 18:31:03 +02:00 |
|
dark64
|
ce3a137432
|
rename verify embed, update changelog
|
2021-07-05 15:58:53 +02:00 |
|
dark64
|
b4ebb1f7c1
|
cleanup
|
2021-07-05 12:18:44 +02:00 |
|
schaeff
|
9fc66516c4
|
add test
|
2021-06-30 13:18:38 +02:00 |
|
dark64
|
b1974da128
|
add FIELD_MIN and FIELD_MAX constants to field module, update tests
|
2021-06-17 13:27:24 +02:00 |
|
dark64
|
c3cc316591
|
Merge branch 'develop' into field-size-in-bits
|
2021-06-17 12:22:16 +02:00 |
|
Thibaut Schaeffer
|
17095e966c
|
Merge pull request #913 from Zokrates/use-global-constant-map
Use global constant map for constant inlining
|
2021-06-17 12:13:29 +02:00 |
|
dark64
|
c2e1f3d544
|
add FIELD_SIZE_IN_BITS constant embed
|
2021-06-08 20:42:32 +02:00 |
|
schaeff
|
5d6f29cb4e
|
make tests pass
|
2021-06-08 16:56:29 +02:00 |
|
schaeff
|
1ff672a7e6
|
merge dev
|
2021-06-08 10:25:30 +02:00 |
|
schaeff
|
46cc73d735
|
wip
|
2021-06-08 10:12:37 +02:00 |
|
schaeff
|
3d05d7386b
|
add breaking test
|
2021-06-07 16:13:24 +02:00 |
|
schaeff
|
8553d9d745
|
avoid creating empty if-else statements, cache conditions when flattening
|
2021-06-04 13:02:17 +02:00 |
|
schaeff
|
ef4484f7ef
|
introduce if-else expression, implement case in propagation when consequence and alternative are equal, adjust tests
|
2021-05-31 19:55:23 +02:00 |
|
schaeff
|
6e37b15973
|
merge dev
|
2021-05-17 23:04:16 +02:00 |
|
Thibaut Schaeffer
|
62dc3b072e
|
Merge pull request #863 from Zokrates/remove-strict-ordering
Relax ordering of symbol declarations
|
2021-05-17 22:52:11 +02:00 |
|
schaeff
|
fcc308f27c
|
implement and test nested conditionals
|
2021-05-17 15:18:41 +02:00 |
|
schaeff
|
e5c4bb0787
|
put internal isolation behind flag, add tests
|
2021-05-17 13:35:45 +02:00 |
|
schaeff
|
ad4717e67f
|
put behind config flag
|
2021-05-17 10:34:37 +02:00 |
|
schaeff
|
8c164afb99
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into conditional-panics
|
2021-05-16 23:32:39 +02:00 |
|
schaeff
|
09b1e52608
|
implement blocks for all types, add breaking example for edge case
|
2021-05-16 23:03:05 +02:00 |
|
schaeff
|
a1a65378a7
|
introduce block into ast and implement isolation on that
|
2021-05-16 19:16:25 +02:00 |
|
dark64
|
7406f8769d
|
visit struct type, improve tests
|
2021-05-13 19:02:38 +02:00 |
|
dark64
|
5c528535f2
|
support constants in declaration types
|
2021-05-13 15:09:06 +02:00 |
|
dark64
|
5539edc16b
|
remove strict ordering of declarations, refactor import logic
|
2021-05-12 20:03:08 +02:00 |
|
Thibaut Schaeffer
|
dab975b7f7
|
Merge pull request #855 from Zokrates/fix-constant-struct-member-mutation
Fix constant assignment to constant struct member panic
|
2021-05-10 15:49:49 +02:00 |
|
Thibaut Schaeffer
|
e07a811ccd
|
Merge pull request #852 from Zokrates/fix-uint-subtraction-flattening
Fix flattening of uint subtraction for values smaller than the target
|
2021-05-06 18:48:57 +02:00 |
|
schaeff
|
d7c7c8ae03
|
better naming, comment
|
2021-05-06 11:46:45 +02:00 |
|
schaeff
|
20fa53b110
|
fix flattening of subtraction for value smaller than the target
|
2021-05-05 23:35:13 +02:00 |
|
schaeff
|
7c52016a6d
|
more complete test
|
2021-05-05 16:26:27 +02:00 |
|
schaeff
|
f9ae089787
|
remove redef optimizer
|
2021-05-05 10:37:33 +02:00 |
|
Thibaut Schaeffer
|
0d804fa6a6
|
Merge pull request #792 from Zokrates/constant-def
Introduce constant definitions
|
2021-04-30 11:11:31 +02:00 |
|
Thibaut Schaeffer
|
4f17446e3d
|
Merge pull request #761 from Zokrates/constant-range-check
Constant range check
|
2021-04-29 20:14:24 +02:00 |
|
schaeff
|
6fddd74432
|
clean, fix native le test
|
2021-04-21 16:33:45 +02:00 |
|
schaeff
|
c105e801e5
|
fix to_bits, improve naming
|
2021-04-20 18:35:03 +02:00 |
|
Thibaut Schaeffer
|
aa8e603b11
|
Merge pull request #819 from Zokrates/update-rotr
Update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-19 21:02:40 +02:00 |
|
dark64
|
708981144d
|
make tests panic if max constraint count is exceeded
|
2021-04-19 13:50:42 +02:00 |
|
dark64
|
39e28615e3
|
merge dev
|
2021-04-16 22:05:29 +02:00 |
|
dark64
|
dafef03b1f
|
fix imports, more tests
|
2021-04-16 21:51:13 +02:00 |
|
schaeff
|
c8322bf0db
|
wip
|
2021-04-15 15:58:10 +02:00 |
|
dark64
|
c80d2faf77
|
replace XOR with OR
|
2021-04-14 20:07:05 +02:00 |
|
dark64
|
6faf3cb689
|
update bit rotation logic in sha256 and blake2s, add bit rotation tests
|
2021-04-14 17:28:26 +02:00 |
|
schaeff
|
56146cd95f
|
merge dev, < not working, wip
|
2021-04-08 20:00:15 +02:00 |
|
Thibaut Schaeffer
|
80ff39d428
|
Merge pull request #772 from Zokrates/u64-playground
Adding u64 support, keccak and sha3 hashes
|
2021-04-07 15:49:32 +02:00 |
|
dark64
|
3cd2755c3e
|
update book and spacing
|
2021-04-06 19:33:31 +02:00 |
|
dark64
|
e6cfec4276
|
add uint arithmetic tests
|
2021-04-06 19:23:43 +02:00 |
|
schaeff
|
9d13b4129d
|
merge dev, implement inference for neg and pos, fix conclicts
|
2021-04-01 17:34:05 +02:00 |
|
schaeff
|
af0f1f0987
|
merge dev, fix conflicts, add changelog
|
2021-04-01 16:14:48 +02:00 |
|
schaeff
|
38b6fc76a4
|
merge dev and fix conflicts
|
2021-04-01 12:52:05 +02:00 |
|
schaeff
|
0ed25a5127
|
fix conflicts
|
2021-04-01 11:01:36 +02:00 |
|
schaeff
|
2690bcf139
|
fix zok source
|
2021-03-30 10:50:28 +02:00 |
|
schaeff
|
2306420c3b
|
add compile errors
|
2021-03-24 15:37:38 +01:00 |
|
schaeff
|
6f4501ba8a
|
implement python precedence in the parser, use derives in ast generation
|
2021-03-23 12:24:35 +01:00 |
|
schaeff
|
1246438ae9
|
merge dev
|
2021-03-18 23:47:24 +01:00 |
|
schaeff
|
97ac8da31b
|
fix propagation and add test
|
2021-03-16 19:57:22 +01:00 |
|
schaeff
|
5897a6f172
|
add negative and positive operators
|
2021-03-16 19:22:32 +01:00 |
|
schaeff
|
0a963dd152
|
extract eq check code, implement c < x checks, update tests to use dynamic comparison
|
2021-03-16 12:24:32 +01:00 |
|
schaeff
|
218db3e508
|
introduce EmbedCall, replace FunctionCall by it in inline, simplify zir as a result
|
2021-03-04 20:37:21 +01:00 |
|
dark64
|
d380820c47
|
refactor
|
2021-02-24 22:06:44 +01:00 |
|
schaeff
|
bf8369c362
|
merge dev and make array memoize test pass
|
2021-02-04 14:02:37 +01:00 |
|
schaeff
|
cdf0e1c4d6
|
add test
|
2021-02-04 13:13:14 +01:00 |
|
schaeff
|
2793e77eac
|
merge dev, clippy, fix conflicts
|
2021-01-21 17:53:18 +01:00 |
|
schaeff
|
0537b1b256
|
make tests pass, simplify stdlib
|
2021-01-21 01:00:56 +01:00 |
|
schaeff
|
6e769f30c5
|
merge dev
|
2020-11-24 16:41:40 +00:00 |
|
schaeff
|
1abf7d383f
|
add test for /0, adjust field implementation to recover from error
|
2020-11-20 15:10:01 +00:00 |
|
schaeff
|
9f3ccdb7f2
|
add remainder operation
|
2020-11-19 12:35:42 +00:00 |
|
schaeff
|
375c7667e9
|
implement uint division
|
2020-11-18 19:35:35 +00:00 |
|
schaeff
|
285b9d781a
|
fix all tests
|
2020-11-09 18:04:28 +00:00 |
|
schaeff
|
898b3eb7e8
|
wip
|
2020-11-04 21:50:44 +00:00 |
|
schaeff
|
e8cdbcc318
|
wip
|
2020-09-29 09:56:07 +02:00 |
|
dark64
|
287b2b8f47
|
zexe iter-1
|
2020-09-23 21:08:31 +02:00 |
|
schaeff
|
58b3c00efe
|
introduce simpler syntax for single return and empty return
|
2020-08-04 00:27:26 +02:00 |
|
schaeff
|
a983f1e145
|
fix conflicts
|
2020-07-16 00:12:39 +02:00 |
|
schaeff
|
9f2fecf7ec
|
update zok to new assert syntax, rewrite NotEq
|
2020-07-15 22:23:37 +02:00 |
|
schaeff
|
aede64faf3
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into u8-playground
|
2020-07-15 16:48:16 +02:00 |
|
schaeff
|
edb18474e8
|
update stdlib and core tests
|
2020-07-13 17:32:05 +02:00 |
|
schaeff
|
23365529aa
|
change precedence rules to follow python
|
2020-07-09 16:10:01 +02:00 |
|
schaeff
|
ee97e41334
|
force reduction of UintEq members
|
2020-07-06 22:49:57 +02:00 |
|
schaeff
|
057d5883aa
|
remove bellman embeds, add u32 to stdlib
|
2020-07-03 18:10:33 +02:00 |
|
JacobEberhardt
|
e6de36c9c9
|
Merge pull request #612 from Zokrates/boolean-stdlib
Use booleans when possible in stdlib
|
2020-06-09 10:54:11 +02:00 |
|
schaeff
|
23eeb9c9bb
|
merge boolean embeds
|
2020-06-08 20:41:36 +02:00 |
|
schaeff
|
9a2e61aa1f
|
update docs, make tests pass
|
2020-06-08 18:43:10 +02:00 |
|
schaeff
|
e2b2fd86d6
|
merge dev
|
2020-06-05 14:09:53 +02:00 |
|
schaeff
|
cbd573a17c
|
implement all unsigned types
|
2020-05-29 17:14:52 +02:00 |
|
schaeff
|
c8111c77c2
|
simplify uint optimizer with with_max helper, change strategy for if_else
|
2020-05-20 17:45:50 +02:00 |
|
schaeff
|
2c07fee812
|
remove if else
|
2020-05-14 20:17:50 +02:00 |
|
schaeff
|
092f74b2f8
|
start if_else
|
2020-05-14 19:44:35 +02:00 |
|
schaeff
|
716f9e45ce
|
merge dev
|
2020-05-07 17:18:22 +02:00 |
|
schaeff
|
84d3eb38e4
|
implement or
|
2020-05-05 14:30:24 +02:00 |
|
schaeff
|
c802077b74
|
add macro to restrict compilation to a given curve
|
2020-04-22 19:53:10 +02:00 |
|
schaeff
|
ddc4c196bf
|
merge dev
|
2020-04-21 13:19:18 +02:00 |
|
schaeff
|
d05ee17640
|
make add readjustment logarithmic
|
2020-04-21 09:34:24 +02:00 |
|
JacobEberhardt
|
e2599ee2ae
|
Merge pull request #591 from Zokrates/remove-inference
Require variables to be defined
|
2020-04-17 12:53:57 +02:00 |
|
schaeff
|
12bfb538e1
|
cache bits when calling u32 from bits
|
2020-04-16 20:10:56 +02:00 |
|
schaeff
|
ba54e346f2
|
update code for new semantics
|
2020-04-14 16:32:14 +02:00 |
|
schaeff
|
1f97577290
|
fix test
|
2020-04-09 11:16:37 +02:00 |
|
schaeff
|
51cfbd11cd
|
rewrite other calls, if else wip
|
2020-04-06 12:11:35 +02:00 |
|
schaeff
|
76ebc229c2
|
merge
|
2020-04-03 15:19:50 +02:00 |
|
schaeff
|
fcdbed507a
|
implement function call memoization
|
2020-03-02 18:14:05 +01:00 |
|
schaeff
|
91c0b6e8e5
|
add optional field, use it on one test
|
2020-03-02 12:00:31 +01:00 |
|
schaeff
|
6d65801b9b
|
fix parser, fmt
|
2020-03-02 11:42:24 +01:00 |
|
schaeff
|
f8521fd33c
|
make sha256 pass tests and constant propagate to 0 constraints
|
2020-03-02 10:47:06 +01:00 |
|
schaeff
|
6b988c1dae
|
add add test
|
2020-02-25 10:44:11 +01:00 |
|
schaeff
|
ca53a928ee
|
add tests, add log
|
2020-02-24 10:59:11 +01:00 |
|
schaeff
|
fec3e4dbfa
|
merge, stop creating directives for constants
|
2020-02-18 20:02:40 +01:00 |
|
schaeff
|
4271947452
|
add tests, make directives accept quad arguments
|
2020-02-18 17:00:55 +01:00 |
|
schaeff
|
d06a0f05d4
|
remove extension from imports
|
2020-02-17 23:32:23 +01:00 |
|
schaeff
|
43075af3d6
|
switch to paths, add test
|
2020-02-13 14:04:29 +01:00 |
|
schaeff
|
f0645055eb
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into variable-loop-bounds
|
2020-02-11 12:00:13 +01:00 |
|
schaeff
|
7305cf99f0
|
extend example, add doc
|
2020-01-21 15:39:24 +01:00 |
|
schaeff
|
b31d15d7e4
|
fix error message
|
2020-01-20 16:35:22 +01:00 |
|
schaeff
|
7bd2c200b9
|
first basic changes
|
2020-01-09 17:39:10 +01:00 |
|
William Entriken
|
e1c5b6cd42
|
Merge remote-tracking branch 'refs/remotes/origin/develop' into develop
|
2020-01-07 20:39:09 -05:00 |
|
William Entriken
|
27e9385a18
|
Whitespace and spelling fixes
|
2020-01-06 14:07:40 -05:00 |
|
schaeff
|
c3b00ee75c
|
add test
|
2019-12-27 17:43:40 +01:00 |
|
schaeff
|
27404c3b94
|
address review comments, fix helpers to be generic
|
2019-11-11 19:59:56 +01:00 |
|
schaeff
|
cd7d63de57
|
make zokrates_test generic
|
2019-10-24 19:09:55 +02:00 |
|
Paul E
|
9adf95ad97
|
test now takes boolean inputs
|
2019-10-17 14:10:16 +02:00 |
|
Paul E
|
1d118b9298
|
Merge branch 'develop' of https://github.com/Zokrates/ZoKrates into bool_eq
|
2019-10-16 11:50:11 +02:00 |
|
Paul E
|
4767a00ad6
|
updated bool_compare and test
|
2019-10-16 11:50:01 +02:00 |
|
Thibaut Schaeffer
|
8abf996252
|
Merge pull request #448 from Zokrates/structs
Implement structures
|
2019-10-07 12:16:44 +09:00 |
|
Paul Etscheit
|
6cd54343bb
|
Update zokrates_core_test/tests/tests/precedence.zok
Co-Authored-By: Thibaut Schaeffer <schaeffer.thibaut@gmail.com>
|
2019-10-03 09:31:24 +02:00 |
|
Paul E
|
d725aad2fe
|
add test for bool equality operator
|
2019-10-02 16:25:40 +02:00 |
|
Paul E
|
809d852df9
|
add precedence test
|
2019-10-02 13:50:28 +02:00 |
|
Thibaut
|
0a7139f98e
|
merge dev
|
2019-09-30 14:08:46 +02:00 |
|
Thibaut
|
3b0b6959e3
|
change struct declaration syntax
|
2019-09-28 18:24:29 +02:00 |
|
schaeff
|
ed300a9a28
|
change file endings
|
2019-09-24 12:05:43 +02:00 |
|
schaeff
|
79fea57be8
|
clean, add boolean check to all boolean user input
|
2019-09-23 18:33:08 +02:00 |
|
schaeff
|
92a9695974
|
rename bench to tests
|
2019-09-18 10:47:17 +02:00 |
|
schaeff
|
5d40fa7083
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-test-crate
|
2019-09-17 12:12:27 +02:00 |
|
schaeff
|
9521d5822a
|
create zokrates_core_test crate and move zokrates_core tests there
|
2019-09-17 12:10:59 +02:00 |
|