Jacob Eberhardt
|
5d7cbf7ab5
|
Serialization and curve init fixed. Proof works!!!
|
2017-07-06 16:08:32 +02:00 |
|
Jacob Eberhardt
|
45cff4fb01
|
Output formatting. Witness to r1cs_variable_assignment still needs to be fixed.
|
2017-06-29 21:53:35 +02:00 |
|
Jacob Eberhardt
|
f75f05e2d2
|
Reworked the zkSNARK generation and exports to solidity (proof + input + verification key)
|
2017-06-29 19:41:02 +02:00 |
|
Jacob Eberhardt
|
e8fabb087a
|
Proof added to output.
|
2017-06-22 13:18:33 +02:00 |
|
Jacob Eberhardt
|
9a466c9cb7
|
Merge branch 'master' of https://github.com/Kyroy/VerifiableStatementCompiler
Conflicts:
lib/wraplibsnark.cpp
|
2017-03-27 18:10:23 +02:00 |
|
Jacob Eberhardt
|
e0b6c8f807
|
Solidity compatible export of verification key added.
|
2017-03-27 18:01:06 +02:00 |
|
Dennis Kuhnert
|
fc51968c47
|
Format and inport changes
|
2017-03-23 19:56:25 +01:00 |
|
Jacob Eberhardt
|
b6d98e6a0f
|
Formatting and Comments
|
2017-03-22 19:06:11 +01:00 |
|
Jacob Eberhardt
|
30a91f46d3
|
Bugfix in rust->cpp matrix conversion
|
2017-03-22 18:58:05 +01:00 |
|
Jacob Eberhardt
|
5a754b21ad
|
Verification Key Export added.
|
2017-03-22 17:26:58 +01:00 |
|
Jacob Eberhardt
|
35d51194fe
|
Libsnark connection implemented. R1CS now correclty transferred to cpp.
|
2017-03-21 13:53:18 +01:00 |
|
Jacob Eberhardt
|
bdf96e2bbb
|
Rust-side of libsnark integration adapted.
|
2017-03-16 17:34:57 +01:00 |
|
Dennis Kuhnert
|
175ed352bf
|
Add @author and grammar notes
|
2017-02-07 11:53:42 +01:00 |
|
Dennis Kuhnert
|
f31e109413
|
Add Sub to R1CS; Add Dockerfile
Change CURVE to ALT_BN128
Remove 'Expression::' with import
|
2017-02-01 17:24:44 +01:00 |
|
Dennis Kuhnert
|
f132c9fbea
|
Code cleanup, fix typos
|
2017-01-30 01:08:59 +01:00 |
|
Dennis Kuhnert
|
9e3d4bed6b
|
Add witness calculation; Add complete run of libsnark
|
2017-01-30 00:50:35 +01:00 |
|
Dennis Kuhnert
|
9d6991784b
|
Add libsnark "is_satisfied" binding with [0, 0, .., 0] solution vector test.
|
2017-01-29 16:59:13 +01:00 |
|