Ariel Gabizon
|
dfe3f4d0ba
|
started random coeffs
|
2016-08-09 23:03:58 +03:00 |
Ariel Gabizon
|
29bf81ac9e
|
use hashmap
|
2016-08-09 22:27:26 +03:00 |
Ariel Gabizon
|
d9d5c82e21
|
changed method names
|
2016-08-09 22:10:08 +03:00 |
Ariel Gabizon
|
39ecc79d3e
|
checked in spair::new that both elements non-zero
|
2016-08-09 21:54:12 +03:00 |
Sean Bowe
|
278987d1f8
|
Minor nits and cleanup
|
2016-08-09 12:02:31 -06:00 |
Sean Bowe
|
d32bed7b72
|
Progress on protocol implementation rewrite.
|
2016-08-09 11:44:35 -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
|
ea0b341eed
|
lagrange_coeffs can infer the degree.
|
2016-08-06 11:35:12 -06:00 |
Sean Bowe
|
4ad19126df
|
Make FFT and division by d parallel.
|
2016-08-06 11:32:31 -06:00 |
Sean Bowe
|
ac39f38e90
|
Rename fft module to lagrange.
|
2016-08-06 07:28:07 -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
|
6ae611cbcb
|
Move spair to root of crate.
|
2016-08-05 23:36:42 -06:00 |
Sean Bowe
|
8b90db0c36
|
Add more tests for random power verification
|
2016-08-05 23:34:15 -06:00 |
Sean Bowe
|
6574e8c9f6
|
Refactor spair and remove old randompowers module.
|
2016-08-05 23:23:37 -06:00 |
Sean Bowe
|
3aab758a11
|
Start splitting protocol specific routines off.
|
2016-08-05 23:12:34 -06:00 |
Sean Bowe
|
dc87adf7fc
|
Carry the constraint system through and compute QAP reduction whenever necessary.
|
2016-08-05 12:06:51 -06:00 |
ebfull
|
a736e51e7f
|
Merge pull request #9 from Electric-Coin-Company/carry_qap
returning qap
|
2016-08-05 11:36:24 -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 |
Sean Bowe
|
104c624271
|
Turn mpc into library.
|
2016-08-02 10:13:13 -06:00 |
Sean Bowe
|
8cbfc98977
|
Rename GroupElement -> Group.
|
2016-08-02 09:41:21 -06:00 |
Sean Bowe
|
b47d8193ad
|
Pairings (closes #3)
|
2016-08-02 09:34:17 -06:00 |
Sean Bowe
|
731860e477
|
Further reorganization
|
2016-08-02 09:17:38 -06:00 |
Sean Bowe
|
04c0064a5c
|
Gt and Fr reorganization
|
2016-08-02 08:58:41 -06:00 |
Sean Bowe
|
b463baa8f5
|
Scalar field arithmetic (closes #1)
|
2016-08-02 01:45:50 -06:00 |
Sean Bowe
|
6a008b0ce2
|
G2 arithmetic wrappers. (closes #2)
|
2016-08-01 22:02:26 -06:00 |
Sean Bowe
|
d01e48b800
|
Foundations of libsnark interaction and BN curve operation wrappers.
|
2016-08-01 20:55:36 -06:00 |
Sean Bowe
|
34aa24a040
|
Initial commit.
|
2016-08-01 18:48:33 -06:00 |