Commit Graph

540 Commits

Author SHA1 Message Date
Kobi Gurkan
c93a47f8ef makes verify_transform verify intersection between chunks 2019-09-04 18:19:46 +03:00
Kobi Gurkan
1388c0a55e removes debug prints 2019-09-04 15:54:48 +03:00
Kobi Gurkan
470dff3d92 adds verify.rs to verify transcript and working phase2 for bn254 2019-09-04 13:15:17 +03:00
Kobi Gurkan
5d6690f9b8 Add 'powersoftau/' from commit '34b4d09b4ccc459d757a77c94b391a1f64f66f76'
git-subtree-dir: powersoftau
git-subtree-mainline: 37bdc022d6ae906eb583746fea8784edc6bd7c6b
git-subtree-split: 34b4d09b4ccc459d757a77c94b391a1f64f66f76
2019-09-02 15:50:38 +03:00
Kobi Gurkan
37bdc022d6 makes phase2 compile 2019-09-02 15:50:18 +03:00
Kobi Gurkan
c08803f3be Add 'bellman/' from commit '1aff83c6ec670a1e4722f079351c55c79e2e6ef5'
git-subtree-dir: bellman
git-subtree-mainline: 1ac4b55786c97b4304d94153b2378a6843312f43
git-subtree-split: 1aff83c6ec670a1e4722f079351c55c79e2e6ef5
2019-09-02 15:34:51 +03:00
Kobi Gurkan
1ac4b55786 Add 'phase2/' from commit '58ebd37d9d25b6779320b0ca99b3c484b679b538'
git-subtree-dir: phase2
git-subtree-mainline: ed7c89f767ff8fc9b71173ec2948836445f74792
git-subtree-split: 58ebd37d9d25b6779320b0ca99b3c484b679b538
2019-08-29 13:12:42 +03:00
Kobi Gurkan
ed7c89f767 adds readme 2019-08-29 13:12:33 +03:00
Alexander
1aff83c6ec
Merge pull request #10 from matter-labs/optimizations
Optimization using prefetch, available for nightly Rust and feature
2019-07-13 22:01:21 +03:00
Alex Vlasov
d23b855f76 prepare to publish 2019-07-13 21:59:48 +03:00
Alexander
e93d939ae0
Merge pull request #1 from matter-labs/playground
Edition 2018 + expose Montgommery forms
2019-07-13 21:58:58 +03:00
Alex Vlasov
bfb809c1cd prepare to publish 2019-07-13 21:58:06 +03:00
Alex Vlasov
4bf78bb978 finish with prefetch 2019-07-13 21:54:06 +03:00
Alex Vlasov
07ca2e83b6 implement prefetch for nightly 2019-07-13 17:39:38 +03:00
Alex Vlasov
2d9f5528d4 fix for newer pairing and ff 2019-07-13 16:58:25 +03:00
Alex Vlasov
2567aab84d fix for edition 2018 2019-07-12 22:05:30 +03:00
Alex Vlasov
1dae6b69db start migrating to edition 2018 2019-07-12 21:59:06 +03:00
Alex Vlasov
b6160fcd1b add some traits to efficiently work with Poseidon hash for now 2019-06-28 15:57:17 +03:00
Alex Vlasov
dc47502ad2 update readme 2019-06-17 20:17:19 +03:00
Alex Vlasov
2e53ffc97f done as a principal part, now should add public API 2019-06-17 19:55:05 +03:00
Alex Vlasov
fafa64749e done? now fix transcripts for multiple challenges 2019-06-11 21:31:32 +03:00
Alex Vlasov
ae9716a428 TODO: reformulate permutation argument 2019-06-11 15:43:27 +03:00
Alex Vlasov
eaaff874fc start eliminating excessive commitments 2019-06-07 20:07:01 +03:00
Alex Vlasov
d4dd7d27fa cleanup succinct arguments for batched verification 2019-06-06 22:12:38 +03:00
Alex Vlasov
da501f4572 succinct sonics! now refactor 2019-06-06 18:50:57 +03:00
Alex Vlasov
3d65dcbb6b huge verbosity, but problem is pinned 2019-06-06 17:12:02 +03:00
Alex Vlasov
b8d4b0cea4 permutation argument works as itself, but not for verifier 2019-06-06 14:24:21 +03:00
Alex Vlasov
95b91fc0b0 make succinct transformation working, can now make full protocol 2019-06-06 00:50:46 +03:00
Alex Vlasov
76c2d3451f fix warning 2019-06-02 21:26:26 +03:00
Alex Vlasov
b75da3d8dc fix BE to LE 2019-06-02 16:55:34 +03:00
Alex Vlasov
47948ef8a5 implement decoding from raw representation 2019-06-01 14:08:44 +03:00
Alex Vlasov
9228d20862 prepare for gpu integration 2019-05-30 18:14:18 +03:00
Alex Vlasov
74f0a18f31 cleaner NAF form 2019-05-30 16:13:01 +03:00
Alex Vlasov
8cfacca862 fix imports in SONICs 2019-03-31 10:27:08 +03:00
Alex Vlasov
4e738abd38 rebase on 0.3.0 2019-03-31 10:24:48 +03:00
Alex Vlasov
ca1f41c7ff prepare for cleanup of SONIC feature 2019-03-31 10:22:44 +03:00
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
Alex Vlasov
5512528364 prepare for cleanup of SONIC feature 2019-03-31 09:00:50 +03:00
Alex Vlasov
d2c8b93fe9 prepare for publishing 2019-03-31 09:00:01 +03:00
Petr Korolev
34b4d09b4c
Merge pull request #6 from matter-labs/update-readme
Add instructions for ceremony
2019-03-27 23:15:50 +02:00
Petr Korolev
812e4082fe add instructions for ceremony 2019-03-26 23:56:16 +02:00