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

162 commits

Author SHA1 Message Date
schaeff
716f9e45ce merge dev 2020-05-07 17:18:22 +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
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
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
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
schaeff
87d3860724 use sapling-crypto@0.1.1 2019-11-21 11:37:27 +01:00
schaeff
3abda854e0 bump versions 2019-11-12 19:12:50 +01:00
schaeff
802cbbafa0 merge dev 2019-11-11 20:26:29 +01:00
dark64
c39dd0ea22 Refactor CLI to support new ProofSystem API 2019-11-11 14:53:00 +01:00
dark64
da062f0e27 remove libc, fix i32 types 2019-10-31 14:42:26 +01:00
schaeff
3feac21744 remove gh importer 2019-10-28 15:35:08 +01:00
schaeff
400a2205f3 merge dev, fix flags 2019-10-25 13:13:14 +02:00
schaeff
e5c5c33293 merge dev, implement partialeq by hand to work around wrong derived bounds 2019-10-22 13:29:28 +02:00
schaeff
555bacd035 update cli 2019-10-18 20:01:10 +02:00
schaeff
a6d2778754 update zokrates_field and ir 2019-10-17 15:53:22 +02:00
schaeff
2ae2a1ea00 remove freebsd 2019-10-08 16:34:01 +09:00
Thibaut
29ada15ec1 merge dev 2019-10-07 12:32:09 +09:00
Thibaut
210a8b9f3a remove web incompatible crates, change wasm flag to wasm_solvers, introduce wasm flag 2019-10-03 16:42:15 +02:00
Paul E
bd49bcc369 Merge branch 'develop' of https://github.com/Zokrates/ZoKrates into develop 2019-10-02 10:54:51 +02:00
Thibaut
be14810af9 merge structs 2019-09-30 14:23:33 +02:00
Thibaut
997d2c3862 extract abi to crate, accept raw and abi, add cli flags 2019-09-27 19:23:16 +02:00
schaeff
c413fd64d0 wip 2019-09-25 19:37:05 +02:00
schaeff
5d40fa7083 Merge branch 'develop' of github.com:Zokrates/ZoKrates into zokrates-test-crate 2019-09-17 12:12:27 +02:00
schaeff
9521d5822a create zokrates_core_test crate and move zokrates_core tests there 2019-09-17 12:10:59 +02:00
dark64
5ab258a790 Fix zokrates_embed simpling-crypto dependency 2019-09-16 15:56:42 +02:00
dark64
9a6ddc22ae add g16 wasm supported functions 2019-09-13 18:59:46 +02:00
schaeff
885ccb6e96 test 2019-09-13 15:58:28 +02:00
Paul E
c0ed1440ed resolved merge conflict from upstream pull 2019-09-11 11:38:32 +02:00
schaeff
db87a48540 update lazy static and remove allow(deprecated) 2019-08-28 09:49:58 +02:00
Stefan
2c679a8cb7
Merge pull request #357 from Zokrates/modules-v2
Refactor AST for zero-cost modules
2019-08-22 23:36:31 +02:00
schaeff
5b20449a91 extract testing into test crate 2019-08-22 13:48:34 +02:00
schaeff
549e159492 patch lt output 2019-08-21 10:35:30 +02:00