dark64
|
0b206d21ac
|
remove babel
|
2020-07-10 12:01:23 +02:00 |
|
dark64
|
fabf47072b
|
change docker image for zokrates js tests
|
2020-07-09 19:07:35 +02:00 |
|
dark64
|
4b3f9b9013
|
fix pretest script
|
2020-07-09 18:40:49 +02:00 |
|
dark64
|
ed1b66e378
|
add pretest script
|
2020-07-09 18:37:12 +02:00 |
|
dark64
|
9dda54e79e
|
remove unused deps
|
2020-07-09 18:29:15 +02:00 |
|
dark64
|
50a5810f53
|
merge dev, add node support to zokrates-js, fix tests
|
2020-07-09 17:54:45 +02:00 |
|
Darko Macesic
|
bc5923b359
|
Merge pull request #627 from dark64/bugfix/strip-prefix
Fix strip_prefix unwrapping in fmt_error
|
2020-07-03 14:34:57 +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 |
|
dark64
|
54a87524bf
|
fix strip_prefix unwrapping in fmt_error
|
2020-07-01 12:48:26 +02:00 |
|
Thibaut Schaeffer
|
20bef00b9b
|
Merge pull request #624 from Zokrates/release-flag
Put expensive optimisations behind `release` compile flag
|
2020-07-01 12:17:10 +02:00 |
|
schaeff
|
832d325088
|
add release flag
|
2020-06-29 16:58:59 +02:00 |
|
Thibaut Schaeffer
|
46dfcbbea9
|
Merge pull request #622 from Zokrates/more-import-examples
Add more import examples
|
2020-06-29 16:08:02 +02:00 |
|
Thibaut Schaeffer
|
4f87a4c396
|
Merge pull request #618 from Zokrates/compile-time-directives-execution
Compile time directive execution
|
2020-06-29 16:02:40 +02:00 |
|
schaeff
|
9b35d4beb1
|
add more import examples
|
2020-06-22 13:53:42 +02:00 |
|
schaeff
|
a444716344
|
comments
|
2020-06-19 15:33:23 +02:00 |
|
schaeff
|
1b5ff6aa98
|
execute directives at compile time if the inputs are constant
|
2020-06-17 13:56:58 +02:00 |
|
Thibaut Schaeffer
|
90e8270665
|
Merge pull request #615 from Zokrates/fix-variable-docs
Fix broken links, correct declaration docs
|
2020-06-16 13:07:05 +02:00 |
|
schaeff
|
da51a42a8b
|
fix typo
|
2020-06-15 23:55:07 +02:00 |
|
schaeff
|
a83e897ad7
|
fix broken links, correct declaration docs
|
2020-06-15 15:09:14 +02:00 |
|
Thibaut Schaeffer
|
911ea3171b
|
Merge pull request #614 from dark64/fix-js-env
Fix zokrates_js environment image
|
2020-06-15 12:35:57 +02:00 |
|
dark64
|
7e911424b3
|
up zokrates_js version, update Dockerfile.env
|
2020-06-15 11:47:31 +02:00 |
|
Thibaut Schaeffer
|
5b4cd6b9af
|
Merge pull request #593 from petscheit/mimc_sponge
MiMCSponge and MiMC7 implementation for stdlib
|
2020-06-15 10:12:56 +02:00 |
|
schaeff
|
d5d32b6d87
|
Merge branch 'develop' of github.com:Zokrates/ZoKrates into proof-system-refactor
|
2020-06-15 10:08:37 +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
|
da7f5a68f8
|
fix arguments
|
2020-06-08 19:21:39 +02:00 |
|
schaeff
|
20226d072a
|
fix cli test
|
2020-06-08 19:05:13 +02:00 |
|
schaeff
|
9a2e61aa1f
|
update docs, make tests pass
|
2020-06-08 18:43:10 +02:00 |
|
schaeff
|
fae052e1fa
|
use boolean in stdlib. wip
|
2020-06-05 17:11:07 +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 |
|
Thibaut Schaeffer
|
d0ee37ed24
|
Merge pull request #610 from Zokrates/merge-053-into-dev
Merge 0.5.3 into dev
|
2020-06-04 16:28:34 +02:00 |
|
schaeff
|
52d50d12ad
|
fix conflicts
|
2020-06-04 16:15:10 +02:00 |
|
Thibaut Schaeffer
|
5158646dc0
|
Merge pull request #609 from Zokrates/patch-unconstrained-lt
Patch unconstrained lt
|
2020-06-04 13:12:07 +02:00 |
|
schaeff
|
7b13fb2233
|
update example to that of issue, bump version numbers
|
2020-06-04 12:34:13 +02:00 |
|
schaeff
|
c7503280b1
|
fix test
|
2020-06-03 15:43:52 +02:00 |
|
schaeff
|
b515937fcb
|
fix zokrates_js
|
2020-06-03 15:31:12 +02:00 |
|
schaeff
|
6b691934f8
|
fix deps
|
2020-06-03 15:08:13 +02:00 |
|
schaeff
|
710f7dbffe
|
fix bellman deps
|
2020-06-03 14:52:29 +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 |
|
Thibaut Schaeffer
|
5bfa9c680f
|
Merge pull request #597 from Zokrates/solidity-view
Make solidity verifier view
|
2020-05-28 15:52:22 +02:00 |
|
Thibaut Schaeffer
|
d929c6a5f6
|
Merge pull request #607 from dark64/fix-precommit-hook
precommit - exclude deleted files on git diff
|
2020-05-28 15:21:50 +02:00 |
|
dark64
|
4ce0e2377f
|
precommit - exclude deleted files on git diff
|
2020-05-28 12:04:04 +02:00 |
|
dark64
|
658b132373
|
fix log message
|
2020-05-25 18:25:26 +02:00 |
|
Thibaut Schaeffer
|
c1da9353e5
|
Merge pull request #601 from dark64/update-docs
Update book
|
2020-05-25 17:17:38 +02:00 |
|
dark64
|
ce6915bc60
|
Merge branch 'develop' into update-docs
|
2020-05-25 16:08:56 +02:00 |
|
schaeff
|
78a5b03f70
|
merge dev
|
2020-05-25 15:41:56 +02:00 |
|
Thibaut Schaeffer
|
7fe9dad0fd
|
Merge pull request #604 from Zokrates/improve-redefinition-optimizer
Improve redefinition optimizer
|
2020-05-25 15:05:38 +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 |
|
Thibaut Schaeffer
|
ed30af92d7
|
Merge pull request #605 from Zokrates/optional-fmt
succeed if rustfmt isn't available
|
2020-05-25 14:28:59 +02:00 |
|