schaeff
9d95e08e30
merge dev
2021-12-07 19:17:55 +01:00
schaeff
ef8c9a4958
clippy wip
2021-10-29 14:07:42 +02:00
schaeff
30a04734b5
use iterators where possible, switch to cbor
2021-10-29 13:51:43 +02:00
schaeff
5ff16b25f8
change gettingstarted example to assert
2021-10-18 16:54:38 +02:00
schaeff
2169010cf7
fix clippy
2021-10-05 14:01:50 +03:00
dark64
fce2c9f32c
flatten prog struct
2021-08-30 15:06:21 +02:00
schaeff
de50a7a0d1
fix test
2021-08-09 12:02:50 +02:00
schaeff
249187a157
merge dev, fix conflicts, fix comment in test
2021-08-09 11:43:03 +02:00
schaeff
7f76505a86
refactor out of range interpreter, accept any size of output
2021-08-05 16:03:57 +02:00
schaeff
78516e8a30
add test using out of range interpreter
2021-08-05 15:31:33 +02:00
schaeff
63be983d74
add tests, tweak out of range interpreter
2021-08-05 15:22:46 +02:00
Thibaut Schaeffer
69b2dd8178
Merge pull request #927 from Zokrates/marlin
...
Add support for Marlin
2021-07-09 10:37:33 +02:00
schaeff
ccb70a8e96
fix tests
2021-07-06 15:27:29 +02:00
schaeff
62e933d001
fix zjs
2021-07-01 17:15:32 +02:00
schaeff
56146cd95f
merge dev, < not working, wip
2021-04-08 20:00:15 +02:00
schaeff
bf8369c362
merge dev and make array memoize test pass
2021-02-04 14:02:37 +01:00
schaeff
d5d57b7227
make clippy happy
2020-12-22 16:24:11 +01:00
dark64
7e534e29b2
add allow-unconstrained-variables compilation flag
2020-12-10 11:59:01 +01:00
dark64
19a25987bc
refactoring
2020-10-29 19:24:54 +01:00
dark64
aa81666d8a
remove old imports
2020-10-05 14:28:28 +02:00
dark64
4cfedfb79d
merge develop
2020-10-05 13:50:04 +02:00
schaeff
149e07f6c9
remove remaining references to CompileConfig
2020-08-13 17:28:14 +02:00
schaeff
58b3c00efe
introduce simpler syntax for single return and empty return
2020-08-04 00:27:26 +02:00
schaeff
9f2fecf7ec
update zok to new assert syntax, rewrite NotEq
2020-07-15 22:23:37 +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
d5d32b6d87
Merge branch 'develop' of github.com:Zokrates/ZoKrates into proof-system-refactor
2020-06-15 10:08:37 +02:00
schaeff
52d50d12ad
fix conflicts
2020-06-04 16:15:10 +02:00
schaeff
7b13fb2233
update example to that of issue, bump version numbers
2020-06-04 12:34:13 +02:00
schaeff
6b691934f8
fix deps
2020-06-03 15:08:13 +02:00
schaeff
f37c28230c
introduce strict lt check, test with modified interpreter
2020-06-03 13:47:46 +02:00
dark64
c81f1fe629
fix imports
2020-05-13 18:07:06 +02:00
schaeff
ddc4c196bf
merge dev
2020-04-21 13:19:18 +02:00
dark64
7df8f84b31
merge develop with wasm-friendly
2020-01-07 20:51:52 +01:00
schaeff
3007ca7e15
target bellman master
2019-12-03 17:53:52 +01:00
Thibaut Schaeffer
86ba4b708c
add firefox testing. wip ( #517 )
...
* add firefox testing. wip
* fix config
* use crates bellman
* install curl
* move wasm install test install script to sh
* make sh executable
* remove firefox as its suppose to be there already
* confirm install..
* seems like firefox isnt there after all
* firefox-esr
* use fixed bellman
* revert backend api change, only touch env outside wasm
* fix typo in cfg flag
2019-11-22 13:02:02 +01:00
schaeff
c413fd64d0
wip
2019-09-25 19:37:05 +02:00
schaeff
9521d5822a
create zokrates_core_test crate and move zokrates_core tests there
2019-09-17 12:10:59 +02:00
schaeff
28d97959a1
remove all bufreaders, replace with string
2019-07-23 17:50:49 +02:00
schaeff
87588f39c3
fix core test
2019-07-05 22:58:38 +02:00
schaeff
3d06ee1d5c
implement read-only array slices
2019-06-16 09:45:53 +02:00
schaeff
20e12c10ea
merge dev
2019-05-30 10:02:32 +02:00
schaeff
d8284dac19
solve conflict
2019-04-09 14:33:04 +02:00
schaeff
0be493fdd1
fix following review: extract witness with write read, rename scheme to proving scheme, typos
2019-04-08 14:56:07 +02:00
schaeff
aab1ab80e9
integrate with pest parser. WIP
2019-03-19 12:11:19 +01:00
schaeff
e727c712cc
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into bellman-backend-v2
2019-03-06 10:17:46 +01:00
Thibaut Schaeffer
d118a935fb
Merge branch 'develop' into ir-optimiser
2019-03-04 16:53:45 +01:00
sdeml
10a2b59f9d
add tests for split
2019-03-03 08:14:36 +01:00
schaeff
d374d2843f
move r1cs_program to libsnark module, fix order of public inputs bug for verification, automate bellman variable assignement
2019-02-21 17:00:17 +01:00
schaeff
6597ec511f
fix wrong try_linear, fix comment
2019-02-06 17:16:04 +01:00
