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

86 commits

Author SHA1 Message Date
schaeff
9ad7c6fe94 use crates.io bellman 2020-04-06 16:51:40 +02:00
dark64
efecfedc8b add zokrates_common crate, update resolver trait definition 2020-03-04 20:31:44 +01:00
schaeff
f680a363b6 bump versions 2020-02-20 15:33:07 +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
dark64
95b7a96a1c Merge branch 'wasm-friendly' of github.com:Zokrates/ZoKrates into zokrates_js 2020-01-06 19:55:27 +01:00
dark64
ed9a57d5df update cargo.lock 2019-12-16 15:31:46 +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
1e14266123 fix warning, remove commented out libc, remove libsnark default 2019-11-14 14:20:26 +03:00
schaeff
3abda854e0 bump versions 2019-11-12 19:12:50 +01:00
dark64
6b8c624abf Remove default feature in core 2019-11-12 14:31:05 +01:00
dark64
da062f0e27 remove libc, fix i32 types 2019-10-31 14:42:26 +01:00
dark64
e7c1a0e6d7 wip 2019-10-30 00:08:39 +01:00
schaeff
400a2205f3 merge dev, fix flags 2019-10-25 13:13:14 +02:00
schaeff
2ae2a1ea00 remove freebsd 2019-10-08 16:34:01 +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
schaeff
885ccb6e96 test 2019-09-13 15:58:28 +02:00
schaeff
691b3c1d90 Merge branch 'develop' of github.com:Zokrates/ZoKrates into simplify-resolver 2019-09-13 14:05:01 +02:00
schaeff
1a57297805 fix version number 2019-08-28 09:51:12 +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
549e159492 patch lt output 2019-08-21 10:35:30 +02:00
schaeff
a3f9eafb73 merge dev 2019-08-19 13:45:49 +02:00
schaeff
316cdc416c bump versions 2019-07-29 12:56:23 +02:00
schaeff
4db956d7ea make resolve string based only, remove automatic alias for now 2019-07-25 18:36:57 +02:00
schaeff
24fe46301f remove other changes 2019-07-15 11:48:52 +02:00
schaeff
c312d3423d use crate 2019-07-15 11:46:03 +02:00
schaeff
e2e644364e merge dev 2019-07-09 23:29:32 +02:00
schaeff
4dde51a828 fix wasmi version 2019-07-09 17:45:10 +02:00
schaeff
6bf9b46eaf merge dev, github resolver unimplemented 2019-07-03 20:34:29 +02:00
schaeff
25d2dffbec bump versions 2019-06-23 12:09:15 +02:00
schaeff
d7a37b6b5f bump versions 2019-06-16 23:15:42 +02:00
schaeff
fb3b4eb369 bump versions 2019-06-13 18:18:05 +02:00
schaeff
0f40498ba9 reset cargo.lock 2019-06-12 20:08:32 +02:00
schaeff
9144bc2574 enable imports with arena 2019-06-11 18:55:07 +02:00
schaeff
cdf394c7e1 solve conflicts except compile loop 2019-06-11 11:12:37 +02:00
schaeff
c4dec182d0 implement array flattening, remove bimap 2019-06-06 14:12:56 +02:00
schaeff
365d03be65 bring pest parser and AST into tree as crates, adjust testing 2019-06-03 10:22:59 +02:00
schaeff
20e12c10ea merge dev 2019-05-30 10:02:32 +02:00
schaeff
372c48a57d bump version 2019-05-10 11:23:15 +02:00
schaeff
f7385fd4e7 bump versions 2019-04-18 15:59:50 +02:00
schaeff
84c28c421b bump versions 2019-04-11 23:33:52 +02:00
schaeff
0aad524ab2 Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into bellman-sha256 2019-04-09 15:53:39 +02:00
schaeff
b2c2d013cc make wasm and libsnark deps optional 2019-04-09 15:24:38 +02:00
schaeff
fa3f72f6b7 merge develop 2019-04-08 22:37:18 +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