schaeff
|
1f71554584
|
hide witness operations away from cli
|
2018-12-31 08:10:33 +01:00 |
|
schaeff
|
82a18e99f5
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into greater_than
|
2018-12-17 18:19:14 +01:00 |
|
schaeff
|
9dcd6d9206
|
reuse backend detection
|
2018-12-11 18:50:58 +01:00 |
|
schaeff
|
fe964c57a8
|
add missing import
|
2018-12-07 18:41:25 +01:00 |
|
schaeff
|
9160aa4164
|
fix conflicts
|
2018-12-07 18:01:17 +01:00 |
|
schaeff
|
57fc5453dd
|
Merge branch 'master' of github.com:JacobEberhardt/ZoKrates into gm17
|
2018-12-07 17:54:08 +01:00 |
|
schaeff
|
7a46f15e74
|
Merge branch 'develop' of github.com:JacobEberhardt/ZoKrates into use-lincomb-ir
|
2018-12-04 19:41:45 +01:00 |
|
schaeff
|
1e33f8b564
|
remove example
|
2018-11-30 17:21:05 +01:00 |
|
schaeff
|
648a78601a
|
bump patch
|
2018-11-30 17:10:30 +01:00 |
|
schaeff
|
b4b2d43080
|
fix fmt, fix argument count in compute-witness
|
2018-11-30 12:05:30 +01:00 |
|
schaeff
|
5013ddb3ea
|
output ir in compilation, fix tests
|
2018-11-30 11:53:13 +01:00 |
|
schaeff
|
369e2ef776
|
implement ir interpreter, use ir for serialization
|
2018-11-30 11:31:48 +01:00 |
|
schaeff
|
8bfe2a7f7b
|
test both backends
|
2018-11-29 14:38:23 +01:00 |
|
schaeff
|
f7f0c51adf
|
keep same API as before, add definition of outputs to ir, fix test
|
2018-11-29 11:48:52 +01:00 |
|
schaeff
|
813a2632a8
|
implement linear combination based IR, use it for setup phase
|
2018-11-29 00:03:39 +01:00 |
|
Tjaden Hess
|
db5fa90965
|
Merge branch 'greater_than' of https://github.com/CornellBlockchain/ZoKrates into greater_than
|
2018-11-14 18:05:17 -05:00 |
|
Tjaden Hess
|
78ecb9e3ca
|
Fix tokenizing not
|
2018-11-14 17:57:15 -05:00 |
|
schaeff
|
e02d4fffeb
|
implement gm17, verification contract not working for now
|
2018-11-13 15:31:37 +01:00 |
|
schaeff
|
4dbf85c79a
|
fmt
|
2018-11-12 12:51:17 +01:00 |
|
schaeff
|
658d8b4862
|
use instances, update cli to instanciate backend and move compile flags
|
2018-11-12 12:35:17 +01:00 |
|
schaeff
|
00dc8988c8
|
fmt
|
2018-11-11 12:50:09 +01:00 |
|
schaeff
|
38bb305fa0
|
make proof system generic
|
2018-11-11 12:48:02 +01:00 |
|
schaeff
|
5bf7f9cb49
|
merge develop, format
|
2018-11-10 12:10:12 +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 |
|
Tjaden Hess
|
451cfc00cb
|
Merge branch 'develop' into greater_than
|
2018-11-07 09:46:27 -05: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
|
a1d0a0aee8
|
Implement Le, Gt, Ge
|
2018-11-05 10:46:02 -05: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 |
|