schaeff
|
06a8262e73
|
Merge branch 'u8-playground' of github.com:Zokrates/ZoKrates into remove-bellman-embeds
|
2020-07-06 16:12:01 +02:00 |
|
schaeff
|
1e0919f085
|
revert numbered statements
|
2020-07-06 15:45:37 +02:00 |
|
schaeff
|
802ab653e6
|
remove print
|
2020-07-03 18:29:57 +02:00 |
|
schaeff
|
959e7e5991
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into u8-playground
|
2020-07-03 18:26:00 +02:00 |
|
schaeff
|
057d5883aa
|
remove bellman embeds, add u32 to stdlib
|
2020-07-03 18:10:33 +02:00 |
|
schaeff
|
8915bffee5
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into remove-bellman-embeds
|
2020-07-02 13:45:14 +02:00 |
|
Thibaut Schaeffer
|
d507d3970a
|
Merge pull request #598 from dark64/proof-system-refactor
Proof system refactor
|
2020-07-01 23:35:18 +02:00 |
|
schaeff
|
832d325088
|
add release flag
|
2020-06-29 16:58:59 +02:00 |
|
schaeff
|
37d92e7f16
|
implement custom directives for sha256 bitwise operations
|
2020-06-29 16:09:43 +02:00 |
|
schaeff
|
a444716344
|
comments
|
2020-06-19 15:33:23 +02:00 |
|
schaeff
|
f03b1d6c36
|
Merge branch 'u8-playground' of github.com:Zokrates/ZoKrates into u8-playground
|
2020-06-17 17:55:05 +02:00 |
|
schaeff
|
ab29a0aa19
|
allow calls in verbose mode
|
2020-06-17 17:54:55 +02:00 |
|
Thibaut Schaeffer
|
5b9ea6eafe
|
Update zokrates_core/src/static_analysis/propagation.rs
|
2020-06-17 15:07:48 +02:00 |
|
Thibaut Schaeffer
|
397f0f5ba3
|
Update zokrates_core/src/static_analysis/propagation.rs
Constant calls are not unreachable
|
2020-06-17 14:56:40 +02:00 |
|
schaeff
|
1b5ff6aa98
|
execute directives at compile time if the inputs are constant
|
2020-06-17 13:56:58 +02:00 |
|
schaeff
|
d5d32b6d87
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into proof-system-refactor
|
2020-06-15 10:08:37 +02:00 |
|
schaeff
|
eb11028703
|
simplify and constrain uint optimization and flattening
|
2020-06-12 00:14:14 +02:00 |
|
schaeff
|
fe866b6016
|
tweaks
|
2020-06-10 17:52:17 +02:00 |
|
schaeff
|
5c83aafefd
|
tweaks
|
2020-06-10 17:04:26 +02:00 |
|
schaeff
|
d9e14cd0d3
|
use enum for bitwidths
|
2020-06-10 12:16:53 +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
|
fae052e1fa
|
use boolean in stdlib. wip
|
2020-06-05 17:11:07 +02:00 |
|
schaeff
|
e2b2fd86d6
|
merge dev
|
2020-06-05 14:09:53 +02:00 |
|
Thibaut Schaeffer
|
ed555b3259
|
Merge pull request #602 from Zokrates/add-struct-names
Add struct names to typed_absy types
|
2020-06-05 11:26:40 +02:00 |
|
schaeff
|
95106b38df
|
extract code in functions
|
2020-06-05 11:20:34 +02:00 |
|
schaeff
|
3f2cc02d9e
|
merge dev
|
2020-06-04 17:01:32 +02:00 |
|
schaeff
|
52d50d12ad
|
fix conflicts
|
2020-06-04 16:15:10 +02:00 |
|
schaeff
|
f37c28230c
|
introduce strict lt check, test with modified interpreter
|
2020-06-03 13:47:46 +02:00 |
|
schaeff
|
c3228f81e1
|
implement constrained lt
|
2020-06-02 15:36:22 +02:00 |
|
schaeff
|
cbd573a17c
|
implement all unsigned types
|
2020-05-29 17:14:52 +02:00 |
|
Thibaut Schaeffer
|
5bfa9c680f
|
Merge pull request #597 from Zokrates/solidity-view
Make solidity verifier view
|
2020-05-28 15:52:22 +02:00 |
|
schaeff
|
e4b5820722
|
add tests, refine uint optimizer
|
2020-05-28 15:28:47 +02:00 |
|
schaeff
|
bb2b70593f
|
revert unrelated changes
|
2020-05-26 16:42:39 +02:00 |
|
schaeff
|
7341787066
|
merge dev
|
2020-05-25 17:30:17 +02:00 |
|
schaeff
|
78a5b03f70
|
merge dev
|
2020-05-25 15:41:56 +02:00 |
|
dark64
|
60c7eeb126
|
Merge branch 'develop' into proof-system-refactor
|
2020-05-25 14:41:38 +02:00 |
|
Thibaut Schaeffer
|
c463a86bff
|
Apply suggestions from code review
Co-authored-by: JacobEberhardt <jacob.eberhardt@tu-berlin.de>
|
2020-05-25 14:30:04 +02:00 |
|
Darko
|
41b361e6c4
|
refactor libsnark cpp
|
2020-05-22 15:50:44 +02:00 |
|
schaeff
|
f7b0fc25e5
|
update spec
|
2020-05-22 12:38:53 +02:00 |
|
schaeff
|
25ff614087
|
revert unrelated changes
|
2020-05-22 12:11:53 +02:00 |
|
schaeff
|
b09a03e9aa
|
clean and comment
|
2020-05-22 11:47:58 +02:00 |
|
schaeff
|
11b6b33539
|
use hashset for protected variables
|
2020-05-22 11:41:32 +02:00 |
|
schaeff
|
c84a866ba8
|
introduce enum for should_reduce, add runtime checks
|
2020-05-22 11:09:34 +02:00 |
|
dark64
|
c8966a309d
|
add enums for backend, curve and proving scheme dimension
|
2020-05-20 20:04:29 +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
|
9e18975e84
|
fix warning
|
2020-05-20 15:52:42 +02:00 |
|
schaeff
|
b65c49da54
|
add test for struct abi
|
2020-05-19 15:31:38 +02:00 |
|
schaeff
|
1bd5c06b64
|
merge dev
|
2020-05-19 13:35:31 +02:00 |
|
schaeff
|
23ffe25429
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into u8-playground
|
2020-05-19 12:54:57 +02:00 |
|