Sean Bowe
|
97e2f2036d
|
Update bn and add logging.
|
2016-09-15 08:43:45 -06:00 |
Sean Bowe
|
983af331b2
|
Improve performance of verification.
|
2016-09-14 15:04:14 -06:00 |
Sean Bowe
|
02515e74b1
|
Read R1CS to disk, write final proving/verifying key to disk.
|
2016-09-14 11:46:45 -06:00 |
Sean Bowe
|
6fdcc6f75b
|
Refactor dummy CS instance creation.
|
2016-09-14 11:15:53 -06:00 |
Sean Bowe
|
653c92a668
|
Refactor locations of some structures.
|
2016-09-12 16:51:35 -06:00 |
Sean Bowe
|
96989f61ac
|
Switch to using BN crate and refactor implementation.
|
2016-09-12 16:32:36 -06:00 |
Sean Bowe
|
206d66ebc7
|
Perform byte for byte comparison between the two keys.
|
2016-08-19 00:41:57 -06:00 |
Sean Bowe
|
f28d2339c7
|
Perform complete comparison between simulated MPC keypair and hypothetical resulting keypair.
|
2016-08-19 00:33:42 -06:00 |
Sean Bowe
|
4c9ab85235
|
Check K query against proving key generated using shared secrets.
|
2016-08-16 11:53:01 -06:00 |
Sean Bowe
|
b6c4ed06f7
|
Generate keypair from shared secrets.
|
2016-08-16 11:20:42 -06:00 |
Sean Bowe
|
40a84a8cd1
|
Make deterministic key generation API in libsnark fork available.
|
2016-08-16 10:48:16 -06:00 |
Sean Bowe
|
24ecbdf5c7
|
Progress on protocol reimplementation.
|
2016-08-14 15:26:07 -06:00 |
Sean Bowe
|
d5414d7c3f
|
Rearrange CS constructor.
|
2016-08-09 01:03:52 -06:00 |
Sean Bowe
|
a487c8a2d8
|
Add additional alignment assertions.
|
2016-08-09 00:39:50 -06:00 |
Sean Bowe
|
2102573efd
|
Remove ate-pairing, we shouldn't need it.
|
2016-08-09 00:36:49 -06:00 |
Sean Bowe
|
5e838fe2b4
|
Implementation cleanup and reorganization.
|
2016-08-09 00:35:28 -06:00 |
Sean Bowe
|
15d017ab56
|
Refactorings, cleanup, start of full protocol simulation.
|
2016-08-06 22:47:43 -06:00 |
Sean Bowe
|
7468b3b327
|
Place d, num_vars, omega in CS.
|
2016-08-06 11:42:21 -06:00 |
Sean Bowe
|
4ad19126df
|
Make FFT and division by d parallel.
|
2016-08-06 11:32:31 -06:00 |
Sean Bowe
|
ff21686e97
|
More comparisons and tests of lagrange coefficients in G2.
|
2016-08-06 07:23:46 -06:00 |
Sean Bowe
|
5a929abebe
|
Evaluate Bt in G2.
|
2016-08-06 07:15:28 -06:00 |
Sean Bowe
|
5a93bf365a
|
Use uint64_t throughout FFI.
|
2016-08-06 01:31:23 -06:00 |
Sean Bowe
|
adfc73b997
|
Evaluate A, B, C in lagrange basis over G1.
|
2016-08-06 01:24:58 -06:00 |
Sean Bowe
|
dc87adf7fc
|
Carry the constraint system through and compute QAP reduction whenever necessary.
|
2016-08-05 12:06:51 -06:00 |
Ariel Gabizon
|
bc6fd2683e
|
returning qap
|
2016-08-05 20:30:52 +03:00 |
Sean Bowe
|
4f85755795
|
Add FFT for computing the H query.
|
2016-08-04 21:47:20 -06:00 |
Sean Bowe
|
977a8e8dab
|
Add Fr::inverse
|
2016-08-04 20:22:31 -06:00 |
Sean Bowe
|
2d15e9df46
|
More possible libsnark interactions (exponentiation of Fr, zero/one) and changes to `const` in interface.
|
2016-08-03 09:10:59 -06:00 |
Sean Bowe
|
f18273d8df
|
Add checks for sizes/alignment.
|
2016-08-02 23:30:47 -06:00 |
Sean Bowe
|
dcb0d44b00
|
Allow us to easily switch to ate-pairing later.
|
2016-08-02 23:06:22 -06:00 |
Sean Bowe
|
3d8a255235
|
Change opt level
|
2016-08-02 22:02:27 -06:00 |
Sean Bowe
|
c05c8c0d90
|
Randompowers subprotocol simulation
|
2016-08-02 16:19:04 -06:00 |
Sean Bowe
|
79e5782089
|
Fundamental pieces of the random powers subprotocol
|
2016-08-02 14:01:25 -06:00 |
Sean Bowe
|
27ad4bb114
|
Rename bnwrap to libsnarkwrap.
|
2016-08-02 10:35:28 -06:00 |
Sean Bowe
|
e25790b4ca
|
Add README to snark subcrate.
|
2016-08-02 10:28:56 -06:00 |
Sean Bowe
|
07f1411031
|
Rename mpc_snark to snark.
|
2016-08-02 10:25:57 -06:00 |
Sean Bowe
|
aa3e4602bc
|
Collapse mpc_snark's curve down.
|
2016-08-02 10:24:00 -06:00 |
Sean Bowe
|
4130c497da
|
Split libsnark interactions into subcrate
|
2016-08-02 10:22:35 -06:00 |