1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Commit graph

2137 commits

Author SHA1 Message Date
schaeff
d0b18e08c0 limit threads 2020-05-22 13:56:09 +02:00
schaeff
36439afae6 Merge branch 'mimc_sponge' of github.com:petscheit/ZoKrates into mimc_sponge 2020-05-22 13:23:13 +02:00
schaeff
1f9988da6b Merge branch 'improve-redefinition-optimizer' into mimc_sponge 2020-05-22 12:58:55 +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
paul etscheit
f995880b92 changes constant import to expicit syntax 2020-05-20 14:49:46 +02:00
schaeff
8906747d22 Merge branch 'develop' of github.com:Zokrates/ZoKrates into mimc_sponge 2020-05-20 13:53:04 +02:00
schaeff
1b942bae33 bump version niumbers for bellman tools 2020-05-18 17:40:40 +02:00
Thibaut Schaeffer
4bc88f2ac2
Merge pull request #599 from dark64/git-hooks
Add git pre-commit hook
2020-05-14 23:28:24 +02:00
Thibaut Schaeffer
e9b2ce7d14
Merge pull request #600 from Zokrates/check-command
`zokrates check` command
2020-05-14 23:27:34 +02:00
dark64
ca612e43a5 remove install_hooks script, update readme 2020-05-14 17:25:50 +02:00
schaeff
eda36ac379 add docs 2020-05-14 15:52:47 +02:00
dark64
30028e4179 change pre-commit hook to only check for formatting errors 2020-05-14 15:40:46 +02:00
schaeff
a28f2080d5 add check command 2020-05-14 15:33:51 +02:00
dark64
c26710e13b add pre-commit git hook 2020-05-13 22:51:21 +02:00
Thibaut Schaeffer
3efcab6afc
Merge pull request #583 from dark64/native-verifier
Native verification
2020-05-09 12:02:35 +02:00
dark64
7b9b6f373a fix cli 2020-04-28 14:37:04 +02:00
dark64
4dab919d92 merge dev, fix conflicts 2020-04-27 19:46:48 +02:00
dark64
754a497271 fmt 2020-04-27 15:48:58 +02:00
dark64
c35e620c50 update naming 2020-04-27 15:12:09 +02:00
JacobEberhardt
e1a0d27f81
Merge pull request #493 from Zokrates/curve-generic-v3
Make ZoKrates curve-generic
2020-04-26 22:53:03 +02:00
Thibaut Schaeffer
dac688ee77
Update cli.md 2020-04-24 20:42:57 +02:00
Thibaut Schaeffer
3e0ca9f7a0
Update zokrates_book/src/reference/proving_schemes.md
Co-Authored-By: JacobEberhardt <jacob.eberhardt@tu-berlin.de>
2020-04-24 20:38:16 +02:00
dark64
f2ebddb2fc minor refactor and cleanup, add tests to vk parser 2020-04-24 16:09:03 +02:00
dark64
c9b68a5147 fix tests 2020-04-23 20:07:47 +02:00
dark64
3c45c450bd set strict bellman version 2020-04-23 20:01:46 +02:00
dark64
4df0ac7423 Merge branch 'develop' of github.com:Zokrates/ZoKrates into native-verifier 2020-04-23 19:32:18 +02:00
dark64
08f9933034 remove raw flag 2020-04-23 19:32:10 +02:00
schaeff
aabb9c5964 fix bellman version 2020-04-23 15:47:42 +02:00
schaeff
bc440d37ee fix ser 2020-04-23 14:42:54 +02:00
schaeff
8a7a9ae863 fix tests and js 2020-04-23 11:34:29 +02:00
schaeff
c802077b74 add macro to restrict compilation to a given curve 2020-04-22 19:53:10 +02:00
schaeff
8fa7e5d50c make curves in test optional 2020-04-21 16:58:52 +02:00
schaeff
ddc4c196bf merge dev 2020-04-21 13:19:18 +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
dark64
9a9dc5214f Merge branch 'native-verifier' of github.com:dark64/ZoKrates into native-verifier 2020-04-15 15:54:27 +02:00
dark64
d271e5007b minor refactor, comment format test 2020-04-15 15:53:29 +02:00
Paul E
75343d78f0 adds mimc7 implementation 2020-04-15 14:25:56 +02:00
Paul E
e1196ce711 refactores array init to shorthand form 2020-04-15 13:44:17 +02:00
Darko Macesic
f09d258b2a
Update Cargo.toml 2020-04-15 03:50:23 +02:00
dark64
edd7b5bbd1 merge dev, fix conflicts, remove base64 crate 2020-04-14 21:06:14 +02:00
dark64
e8d655e5ce gm17 and pghr13 native verification 2020-04-14 20:48:17 +02:00
JacobEberhardt
6bee1f89c9
Merge pull request #578 from Zokrates/zero-cost-spread
Memoize function calls
2020-04-14 17:34:52 +02:00
Thibaut Schaeffer
452d01e74d
Merge pull request #590 from dark64/clang-format-ci
Add clang-format to CI
2020-04-14 16:42:06 +02:00
Darko Macesic
17ca1ca052
Update config.yml 2020-04-14 16:37:38 +02:00
schaeff
ba54e346f2 update code for new semantics 2020-04-14 16:32:14 +02:00
Paul E
5dc63948d5 adds comments and fixes import to camelCase 2020-04-10 18:18:46 +02:00
Paul E
4b72325753 switch file name to camelCase 2020-04-10 17:53:38 +02:00