dark64
9a35bfae55
revert zexe to offical git repo, use FromBytes to construct g1 and g2
2020-10-02 12:59:14 +02:00
dark64
287b2b8f47
zexe iter-1
2020-09-23 21:08:31 +02:00
dark64
ace1753355
fix conflicts, revert default value for --stdlib-path flag
2020-08-13 19:00:09 +02:00
dark64
8cfe4c9130
merge dev
2020-08-13 17:59:54 +02:00
schaeff
6a50c2e747
bump deps
2020-08-06 18:58:11 +02:00
schaeff
057d5883aa
remove bellman embeds, add u32 to stdlib
2020-07-03 18:10:33 +02:00
dark64
8c840f9566
remove default value for stdlib-path
2020-06-30 12:43:23 +02:00
dark64
f1b97a6520
add stdlib-path argument to cli, remove ZOKRATES_HOME env
2020-06-25 13:37:11 +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
7b13fb2233
update example to that of issue, bump version numbers
2020-06-04 12:34:13 +02:00
schaeff
710f7dbffe
fix bellman deps
2020-06-03 14:52:29 +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
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
schaeff
1b942bae33
bump version niumbers for bellman tools
2020-05-18 17:40:40 +02:00
schaeff
32d7e18221
improve perf of redefinition optimizer with ignored hashset
2020-05-14 12:21:59 +02:00
schaeff
0951d7d14c
merge dev
2020-05-11 16:07:40 +02:00
schaeff
716f9e45ce
merge dev
2020-05-07 17:18:22 +02:00
dark64
4dab919d92
merge dev, fix conflicts
2020-04-27 19:46:48 +02:00
dark64
3c45c450bd
set strict bellman version
2020-04-23 20:01:46 +02:00
schaeff
aabb9c5964
fix bellman version
2020-04-23 15:47:42 +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
schaeff
12bfb538e1
cache bits when calling u32 from bits
2020-04-16 20:10:56 +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
schaeff
9ad7c6fe94
use crates.io bellman
2020-04-06 16:51:40 +02:00
schaeff
76ebc229c2
merge
2020-04-03 15:19:50 +02:00
schaeff
f00338bcbe
remove non multidef calls
2020-03-31 16:05:49 +02:00
dark64
d6c8f5e88c
change encoding for raw formats, use csv crate to parse vk
2020-03-27 17:03:31 +01:00
dark64
1fc679a140
Merge branch 'develop' of github.com:Zokrates/ZoKrates into native-verifier
2020-03-19 19:44:24 +01:00
dark64
efecfedc8b
add zokrates_common crate, update resolver trait definition
2020-03-04 20:31:44 +01:00
dark64
8774cbcd6e
revert zokrates_fs_resolver cargo.toml
2020-03-03 14:17:25 +01:00
dark64
acd9b9ea86
add resolver trait
2020-03-03 14:03:42 +01:00
schaeff
9859f56328
update lock
2020-02-20 17:28:28 +01:00
schaeff
f680a363b6
bump versions
2020-02-20 15:33:07 +01:00
dark64
b55f941831
g16 native verifier
2020-02-18 17:49:14 +01:00
Darko
80e8f7de43
refactor export-verifier for g16
2020-02-12 14:54:00 +01:00
schaeff
5509330ab6
fix conflicts
2020-01-20 18:04:21 +01:00
schaeff
1ccf74670d
merge dev
2020-01-20 17:52:20 +01:00
dark64
a51ec1c9eb
update bellman revision
2020-01-16 16:57:53 +01:00
dark64
c68d92d62b
revert bellman to specific revision
2020-01-14 03:11:52 +01:00
schaeff
85514eefab
merge dev
2019-12-09 17:32:00 +01:00
Thibaut Schaeffer
cfd8964ca3
Merge pull request #531 from Zokrates/master
...
Merge back
2019-12-06 18:06:00 +01:00
schaeff
3007ca7e15
target bellman master
2019-12-03 17:53:52 +01:00
schaeff
840c268a6a
remove wasm helpers, simplify, rename helper to solver
2019-11-25 19:02:15 +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
4b409af47c
merge dev, use multicore in cli
2019-11-21 14:24:31 +01:00
