schaeff
|
38bb305fa0
|
make proof system generic
|
2018-11-11 12:48:02 +01:00 |
|
schaeff
|
0c491f47d7
|
merge develop
|
2018-11-10 11:28:18 +01:00 |
|
schaeff
|
019a4ea388
|
format with rustfmt 0.99.6, add to circleci
|
2018-11-10 11:22:27 +01:00 |
|
schaeff
|
c87709c1fe
|
Merge branch 'add-fmt' into add-fmt-bis
|
2018-11-10 10:24:30 +01:00 |
|
Thibaut Schaeffer
|
04143f4311
|
Merge pull request #158 from Zokrates/master
Master
|
2018-11-10 10:17:41 +01:00 |
|
Thibaut Schaeffer
|
b01cadd5ba
|
Add CircleCi config (#160)
* add circleci config
* replace gcc with cc
* format cpp, use release in test
* remove sha256 example, revert circleci
|
2018-11-10 00:16:27 +01:00 |
|
schaeff
|
f28fb4593b
|
fmt and add fmt to CI
|
2018-11-08 11:44:17 +01:00 |
|
Thibaut Schaeffer
|
ad6f33a222
|
Merge pull request #133 from CornellBlockchain/boolean_operators
Implement Boolean Operators
|
2018-11-06 23:21:41 +01:00 |
|
schaeff
|
4ad8ed2537
|
bump patch
|
2018-11-06 15:08:09 +01:00 |
|
schaeff
|
d032618a7c
|
fix integration test
|
2018-11-06 14:44:35 +01:00 |
|
schaeff
|
9ea556fad8
|
fix wrong number of inputs in setup and proof generation
|
2018-11-06 13:44:13 +01:00 |
|
Tjaden Hess
|
4bd136285d
|
Fix boolean or bugs
|
2018-10-31 18:39:15 -04:00 |
|
Tjaden Hess
|
36a49d8a23
|
Fix bool_or.code test
|
2018-10-31 18:15:57 -04:00 |
|
Brian Guo
|
25c823de34
|
Merge branch 'boolean_operators' of github.com:CornellBlockchain/ZoKrates into boolean_operators
|
2018-10-31 17:48:16 -04:00 |
|
Brian Guo
|
df70bffc7a
|
Merge branch 'develop' into boolean_operators
|
2018-10-31 17:46:24 -04:00 |
|
Sasha Frolov
|
3dfa7d73a5
|
Boolean or example
|
2018-10-31 17:11:11 -04:00 |
|
schaeff
|
6c685a8963
|
upgrade local dependencies
|
2018-10-31 20:55:52 +01:00 |
|
schaeff
|
f25fead004
|
bump minor
|
2018-10-31 20:51:49 +01:00 |
|
Thibaut Schaeffer
|
59bd101fc5
|
Merge pull request #150 from Schaeff/variable-exponents
Variable exponents
|
2018-10-31 19:58:23 +01:00 |
|
schaeff
|
f0740bcad5
|
restrict exponentiation base to numbers and identifiers
|
2018-10-31 19:24:04 +01:00 |
|
schaeff
|
c46b9d6265
|
catch exponent 0 to equal 1 at propagation and flattening
|
2018-10-31 17:40:27 +01:00 |
|
schaeff
|
0964d20852
|
remove remaining flag in test
|
2018-10-28 22:02:18 +01:00 |
|
schaeff
|
e57efe2910
|
enable optimizer by default
|
2018-10-26 21:45:47 +02:00 |
|
JacobEberhardt
|
05cac3fccb
|
Merge pull request #146 from Schaeff/128-packed-sha
Change sha256packed to take 4 parameters
|
2018-10-26 16:51:52 +02:00 |
|
schaeff
|
b523fd331b
|
change sha packed to use 128bit inputs
|
2018-10-25 22:51:57 +02:00 |
|
JacobEberhardt
|
dfb65424f8
|
Added schaeff to authors.
|
2018-10-24 15:57:44 +02:00 |
|
schaeff
|
e23d0b2b63
|
refine inlining strategy
|
2018-10-24 12:15:15 +02:00 |
|
schaeff
|
1610ea4486
|
clean
|
2018-10-24 11:38:09 +02:00 |
|
schaeff
|
0130f15202
|
move example
|
2018-10-24 11:32:41 +02:00 |
|
schaeff
|
27a1714294
|
Merge branch 'add-ast-folder' into array
|
2018-10-24 11:31:09 +02:00 |
|
JacobEberhardt
|
ab2a9c9aa9
|
Merge pull request #141 from Schaeff/packed-sha-libsnark
Add a packed sha256 function
|
2018-10-23 20:07:04 +02:00 |
|
schaeff
|
077468944f
|
revert example
|
2018-10-23 18:48:33 +02:00 |
|
schaeff
|
1ebe026a34
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into array
|
2018-10-23 18:34:31 +02:00 |
|
Thibaut Schaeffer
|
4e69f16eb1
|
Merge pull request #142 from 3psil0n/develop
Adding Support for Proof Output
|
2018-10-23 18:33:20 +02:00 |
|
schaeff
|
3b129a1c1d
|
split libsnark and packing helpers
|
2018-10-23 17:28:17 +02:00 |
|
Filip Fatz
|
c23447497d
|
enabling ZoKrates user to output proof parameters and public input parameters as JSON during generate-proof
|
2018-10-23 14:36:31 +00:00 |
|
schaeff
|
4d778307f7
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into packed-sha-libsnark
|
2018-10-23 10:30:18 +02:00 |
|
schaeff
|
4478162061
|
add packed sha256 for 2 254 inputs
|
2018-10-22 19:48:35 +02:00 |
|
schaeff
|
881b0b49c2
|
fix conflicts
|
2018-10-19 18:49:40 +02:00 |
|
schaeff
|
d45f5f1632
|
allow array as return, add dead code elimination, fix array flattening
|
2018-10-19 18:39:59 +02:00 |
|
schaeff
|
56c14d5626
|
add generic folder and inliner
|
2018-10-19 13:45:15 +02:00 |
|
schaeff
|
edf054f278
|
merge substitution removal
|
2018-10-18 13:14:38 +02:00 |
|
schaeff
|
35adb3f59a
|
enable gadgets for ethereum sha test
|
2018-10-18 12:16:26 +02:00 |
|
schaeff
|
0f53e5d553
|
port sha256 to arrays wip
|
2018-10-16 19:41:20 +02:00 |
|
schaeff
|
c8a6275e72
|
solve conflict
|
2018-10-16 15:08:45 +02:00 |
|
schaeff
|
eb0fd4ca95
|
fix conflict
|
2018-10-15 13:19:33 +02:00 |
|
schaeff
|
3a35c134b0
|
add rough constant propagation
|
2018-10-12 20:21:46 +02:00 |
|
schaeff
|
7b7e6a11c6
|
Merge branch 'propagation' into array
|
2018-10-12 16:59:00 +02:00 |
|
schaeff
|
8b2319b0cb
|
add loop unrolling, post flattening constant propagation
|
2018-10-12 16:40:11 +02:00 |
|
sdeml
|
da6922ac72
|
added integration test for sha_ethereum
|
2018-10-10 14:21:49 +02:00 |
|