Alex Vlasov
|
c53de6eee8
|
use PDF instead for bookkeeping
|
2019-03-31 10:22:44 +03:00 |
|
Alex Vlasov
|
b7be1049ce
|
add discussion document
|
2019-03-31 10:22:43 +03:00 |
|
Alex Vlasov
|
cc692ccb36
|
finish with parallelization. Kate division is next
|
2019-03-31 10:22:43 +03:00 |
|
Alex Vlasov
|
500f33d1e6
|
temporary commit
|
2019-03-31 10:22:43 +03:00 |
|
Alex Vlasov
|
2a5dc08cf6
|
implemented parallelized kate division, with a lot of TODOs
|
2019-03-31 10:21:06 +03:00 |
|
Alex Vlasov
|
9f887847f7
|
update readme for 0.2.0 version
|
2019-03-31 10:18:06 +03:00 |
|
Alex Vlasov
|
86e3f9c442
|
prepare for publishing
|
2019-03-31 09:31:34 +03:00 |
|
Alex Vlasov
|
4ed620ebf2
|
prepare for publishing
|
2019-03-31 09:08:33 +03:00 |
|
Alexander
|
219929ee33
|
Merge pull request #8 from poma/wasm
WASM compatibility
|
2019-03-31 16:34:46 +03:00 |
|
Petr Korolev
|
55f589ae13
|
Update README.md
|
2019-03-31 11:57:50 +03:00 |
|
poma
|
04a69f9e1d
|
add compile error
|
2019-03-26 10:20:20 +03:00 |
|
poma
|
afa9326c81
|
fix log macros
|
2019-03-24 11:43:42 +03:00 |
|
poma
|
4aad6f3fdf
|
Fix singlecore warning
|
2019-03-24 09:29:07 +03:00 |
|
poma
|
4ed859e151
|
WASM compatibility
Extracted all logs and timers calls to a separate file
Added WASM specific logging and profiling
|
2019-03-24 09:28:54 +03:00 |
|
poma
|
9819e9e08b
|
Merge singlecore and multicore configs
|
2019-03-24 07:47:47 +03: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
|
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
|
04454890b9
|
permutation argument is complete
|
2019-02-28 20:37:33 +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 |
|