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

370 commits

Author SHA1 Message Date
Darko
80e8f7de43 refactor export-verifier for g16 2020-02-12 14:54:00 +01:00
dark64
c76bb8a576 wip native verifier 2020-02-11 22:14:29 +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
schaeff
d72e1c84e1 Merge branch 'develop' into patch-spelling-whitespace 2020-01-16 11:01:59 +01:00
schaeff
492ff70b3a update solc in contract test 2020-01-09 11:24:48 +01:00
dark64
7df8f84b31 merge develop with wasm-friendly 2020-01-07 20:51:52 +01:00
William Entriken
27e9385a18 Whitespace and spelling fixes 2020-01-06 14:07:40 -05:00
dark64
95b7a96a1c Merge branch 'wasm-friendly' of github.com:Zokrates/ZoKrates into zokrates_js 2020-01-06 19:55:27 +01:00
dark64
7e55808212 simplify js to rust closures 2019-12-21 02:37:33 +01:00
schaeff
9b06191429 fix solidity abi tag 2019-12-16 14:57:01 +01:00
schaeff
e3b8cd60d2 update cli description 2019-12-16 14:18:33 +01:00
schaeff
85514eefab merge dev 2019-12-09 17:32:00 +01:00
schaeff
be90257334 remove tuple 2019-12-09 17:04:58 +01:00
schaeff
195c361f8f merge dev 2019-12-09 16:34:38 +01:00
dark64
d4cbcced79 fix format 2019-12-09 13:50:24 +01:00
Thibaut Schaeffer
cfd8964ca3
Merge pull request #531 from Zokrates/master
Merge back
2019-12-06 18:06:00 +01:00
schaeff
3911051de2 add low level signature when not using abi 2019-11-28 14:53:42 +01:00
schaeff
786ed2381e fix integration 2019-11-27 19:54:47 +01:00
schaeff
0d962398bb create separate abi file 2019-11-27 19:46:47 +01:00
schaeff
9975a433e6 remove typed signature from ir, generate abi fronm first typed ast 2019-11-27 16:47:30 +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
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
c39dd0ea22 Refactor CLI to support new ProofSystem API 2019-11-11 14:53:00 +01:00
schaeff
bedb899de9 fix test, reactivate fmt 2019-10-28 15:53:14 +01:00
schaeff
3feac21744 remove gh importer 2019-10-28 15:35:08 +01:00
Paul E
c6ab44fc8a upgrades node to v12 2019-10-25 13:29:05 +02: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
JacobEberhardt
f0af57c3af Adjust json inputs to account for arrays. 2019-10-08 13:27:48 +09:00
JacobEberhardt
123208ccf4 Updated cli tests to use json-abi and raw inputs. 2019-10-08 13:10:29 +09:00
JacobEberhardt
a20e19a043 refactoring for clarity 2019-10-07 18:04:41 +09:00
Thibaut
e15d524e7b Merge branch 'structs' of github.com:Zokrates/ZoKrates into wasm-friendly 2019-10-06 13:00:56 +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
Thibaut
55bdb05f81 merge dev 2019-09-30 19:29:19 +02:00
Thibaut
aa4e3cfe4c add stdin flag 2019-09-30 17:51:40 +02:00
Thibaut
8f81dd0f0e revert execute change 2019-09-30 15:49:55 +02:00
Thibaut
be14810af9 merge structs 2019-09-30 14:23:33 +02:00
Thibaut
0a7139f98e merge dev 2019-09-30 14:08:46 +02:00
Thibaut
f305ded646 allow newlines in inline defs 2019-09-30 13:49:54 +02:00
JacobEberhardt
ef24980d6b cli fix + doc update 2019-09-30 11:59:17 +02:00
Thibaut
3b0b6959e3 change struct declaration syntax 2019-09-28 18:24:29 +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
JacobEberhardt
20f3a980fe Struct doc with examples.
Break current preliminary impl. as they have spec character.
2019-09-24 22:14:42 +02:00
schaeff
ed300a9a28 change file endings 2019-09-24 12:05:43 +02:00
schaeff
a0c2663471 merge dev 2019-09-23 11:33:19 +02:00