Alex Vlasov
|
e62cb6a09b
|
use versioning for reproducible builds
|
2019-03-05 10:35:30 +01:00 |
|
Alexander
|
6e45a4b233
|
Merge pull request #7 from matter-labs/sonic
- Make singlethreaded version as feature to be used already - Introduce features to later add full SONIC and GM17
|
2019-03-05 10:27:31 +01:00 |
|
Alex Vlasov
|
f12986aaeb
|
fix compilation warnings, disable sonics in default features
|
2019-03-05 10:26:28 +01:00 |
|
Alex Vlasov
|
2a453c3325
|
improve message about domain sizes and operation timings
|
2019-03-05 09:58:59 +01:00 |
|
Alex Vlasov
|
c2af46cac3
|
fix reexports finally
|
2019-03-05 09:47:43 +01:00 |
|
Alex Vlasov
|
a99132955a
|
fixed singlecore dense multiexp
|
2019-03-05 09:44:38 +01:00 |
|
Alex Vlasov
|
810bb92cee
|
start transitioning to versioning + more elegant re-exports
|
2019-03-04 23:04:39 +03:00 |
|
Alex Vlasov
|
67f1b080c2
|
update version
|
2019-03-04 19:49:52 +03:00 |
|
Alex Vlasov
|
0c5a295c8a
|
reexport properly
|
2019-03-04 19:49:14 +03:00 |
|
Alex Vlasov
|
443e40de5f
|
prefer to re-expose ff in pairing to avoid dependency hell
|
2019-03-04 19:35:10 +03:00 |
|
Alex Vlasov
|
04454890b9
|
permutation argument is complete
|
2019-02-28 20:37:33 +03:00 |
|
Alex Vlasov
|
4db0a32f5b
|
cleanup for freeze
|
2019-02-27 19:10:19 +03:00 |
|
Alex Vlasov
|
0a2ed705dc
|
start making permutation argument
|
2019-02-27 01:06:14 +03:00 |
|
Alex Vlasov
|
c64438e800
|
start implementing permutation argument
|
2019-02-26 18:10:33 +03:00 |
|
Alex Vlasov
|
b70af73621
|
grand product argument is complete
|
2019-02-26 16:58:47 +03:00 |
|
Alex Vlasov
|
f8d99df957
|
first part of the grand product argument is complete
|
2019-02-26 16:07:57 +03:00 |
|
Alex Vlasov
|
5fdb9cf353
|
first step of the grand product argument
|
2019-02-25 20:57:43 +03:00 |
|
Alex Vlasov
|
be62b361ed
|
start preparing grand product argument
|
2019-02-23 16:46:34 -05:00 |
|
Alex Vlasov
|
cbf95acb11
|
update a progress
|
2019-02-23 16:04:31 -05:00 |
|
Alex Vlasov
|
b5e024162d
|
implement tests for well formed argument
|
2019-02-23 16:02:38 -05:00 |
|
Alex Vlasov
|
08f1384c7c
|
finish wellformedness argument, can now test
|
2019-02-21 20:42:56 -05:00 |
|
Alex Vlasov
|
0089b98439
|
start making wellformedness argument
|
2019-02-21 20:26:45 -05:00 |
|
Alex Vlasov
|
37f57a99a6
|
implement s2 commitment
|
2019-02-21 18:55:56 -05:00 |
|
Alex Vlasov
|
d4b8a481f1
|
start implementing unhelped sonic
|
2019-02-18 17:56:15 -05:00 |
|
Alex Vlasov
|
6dc9055cf3
|
introduce blindings
|
2019-02-18 18:56:11 +01:00 |
|
Alex Vlasov
|
5f8618b437
|
ok, blinding are may be in place, but need more carefull evaluation cause r(zy, 1) != r(z, y) if follow the algorithm 1 from the paper
|
2019-02-12 02:31:07 +03:00 |
|
Alex Vlasov
|
2d69758c18
|
parallelize almost everything
|
2019-02-12 01:52:18 +03:00 |
|
Alex Vlasov
|
57a6ce94e8
|
use another sync primitive for dense multiexp
|
2019-02-11 21:58:23 +03:00 |
|
Alex Vlasov
|
b7d59787ed
|
implement high-level helper api
|
2019-02-10 19:44:53 +03:00 |
|
Alex Vlasov
|
f98b6eaaf4
|
introduce high-level verifier api
|
2019-02-10 19:20:06 +03:00 |
|
Alex Vlasov
|
2327a4527b
|
proper use of features for compilation
|
2019-02-10 01:44:01 +03:00 |
|
Alex Vlasov
|
3f766246de
|
continue to integrate helped SONIC. Now only verifier left
|
2019-02-10 01:36:40 +03:00 |
|
Alex Vlasov
|
614d486b99
|
introduce error handling
|
2019-02-07 17:25:24 +03:00 |
|
Alex Vlasov
|
056b7873cc
|
implement parallelized polynomial evaluation
|
2019-02-07 17:19:20 +03:00 |
|
Alex Vlasov
|
dc5e5ffe31
|
whoops, prover needs not 3*n, but 4*n
|
2019-02-07 15:04:40 +03:00 |
|
Alex Vlasov
|
7aa7f3538d
|
export functions
|
2019-02-07 14:30:50 +03:00 |
|
Alex Vlasov
|
6059601518
|
start restructuring to use groth16-similar types
|
2019-02-07 14:27:08 +03:00 |
|
Alex Vlasov
|
cd00c4eaf7
|
mark progress
|
2019-02-06 02:23:27 +03:00 |
|
Alex Vlasov
|
a3f910cb52
|
done junction with ETH
|
2019-02-06 01:20:41 +03:00 |
|
Alex Vlasov
|
746eb56e0f
|
verifying key is now self-sufficient for exports
|
2019-02-05 23:10:14 +03:00 |
|
Alex Vlasov
|
9cb62348fb
|
can get Q too
|
2019-02-05 19:46:00 +03:00 |
|
Alex Vlasov
|
e5bc2c197f
|
fetch values for input verification from synthesized circuit
|
2019-02-05 18:56:04 +03:00 |
|
Alex Vlasov
|
e8409bb70b
|
rename and make field public. Prepare to test on Eth
|
2019-02-05 17:28:38 +03:00 |
|
Alex Vlasov
|
7239a60044
|
make custom transcript that is implementable as SC
|
2019-02-05 17:23:26 +03:00 |
|
Alex Vlasov
|
84b57df325
|
generate G2 with unknown discrete logs
|
2019-02-05 15:49:31 +03:00 |
|
Alex Vlasov
|
528f0623ef
|
proper funciton name
|
2019-02-05 14:15:49 +03:00 |
|
Alex Vlasov
|
e51284e754
|
start real integration
|
2019-02-05 14:14:17 +03:00 |
|
Alex Vlasov
|
e41e3624f7
|
make TODO plan
|
2019-02-04 14:01:44 +03:00 |
|
Alex Vlasov
|
f06f92a9cc
|
integrate initial part of SONIC. Use original code, restructure, mock Transcript
|
2019-02-04 13:18:44 +03:00 |
|
Alex Vlasov
|
ff6c46240b
|
start implementing GM17 proof system
|
2019-02-01 18:36:50 +03:00 |
|