schaeff
|
8e1821dca8
|
merge, solve conflicts, make tests pass
|
2019-01-14 00:03:28 +01:00 |
|
schaeff
|
9718a96c75
|
add input binding checks, make R1CS format more explicit
|
2019-01-06 21:08:16 +01:00 |
|
schaeff
|
800082c82d
|
use solidity implementation of G2 addition
|
2018-11-22 18:38:30 +01:00 |
|
schaeff
|
e02d4fffeb
|
implement gm17, verification contract not working for now
|
2018-11-13 15:31:37 +01:00 |
|
schaeff
|
38bb305fa0
|
make proof system generic
|
2018-11-11 12:48:02 +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 |
|
Filip Fatz
|
20cd8b07d8
|
minor fix: added missing comma
|
2018-10-23 14:53:48 +00:00 |
|
Filip Fatz
|
1855d100b4
|
add helper formatting methods for JSON output
|
2018-10-23 14:49:02 +00: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 |
|
Valentin Ganev
|
7ad41ccbdd
|
remove unused import
|
2018-10-10 11:17:55 +03:00 |
|
sdeml
|
3aa2534081
|
consistent opening bracket + formatting
|
2018-10-09 21:42:58 +03:00 |
|
sdeml
|
d4aad6a25d
|
changed padding block explanation
|
2018-10-09 21:42:58 +03:00 |
|
sdeml
|
0b22a1b662
|
some refactoring and making the tests work
|
2018-10-09 21:42:58 +03:00 |
|
sdeml
|
ae68f770d4
|
deleted uncessary imports
|
2018-10-09 21:42:58 +03:00 |
|
sdeml
|
66ca995df3
|
working prototype
|
2018-10-09 21:33:02 +03:00 |
|
sdeml
|
170d63fe55
|
working prototype
|
2018-10-09 21:25:51 +03:00 |
|
schaeff
|
b3c0009615
|
extract fs resolver into new crate, rename crates, refactor importer
|
2018-07-31 16:57:21 +02:00 |
|