Brechtpd
|
276e00c9e4
|
Points at infinity checking can be toggled + beacon cli arguments
|
2019-12-05 23:17:06 +01:00 |
|
Brechtpd
|
29b4e1ddee
|
Some misc small fixes + split up work in multiple programs
|
2019-12-05 18:30:09 +01:00 |
|
Kobi Gurkan
|
7ba98555fd
|
feat: adds a patch_vk tool to add the precomputed pairing
|
2019-10-17 13:27:38 +03:00 |
|
Kobi Gurkan
|
350ccc6ee9
|
adds working phase2 for circom
|
2019-09-22 15:35:29 +03:00 |
|
Kobi Gurkan
|
e234102ad7
|
feat: adds a working version with snarkjs
|
2019-09-22 10:13:50 +03:00 |
|
Kobi Gurkan
|
9af1e2aca9
|
fixes writing of beta_g2
|
2019-09-12 08:57:31 +03:00 |
|
Kobi Gurkan
|
a746f03531
|
adds working tools for circom import/export
|
2019-09-07 21:10:22 +03:00 |
|
Kobi Gurkan
|
fcdca6e890
|
adds circom json exporters
|
2019-09-07 18:35:10 +03:00 |
|
Kobi Gurkan
|
e7a10f72d6
|
Add 'pairing/' from commit 'e93d939ae001f8ff97c862542f6e2e2e4d52e217'
git-subtree-dir: pairing
git-subtree-mainline: c6f95b3997f6f5a9d6f5ab0472aaa2d54f0f61f7
git-subtree-split: e93d939ae001f8ff97c862542f6e2e2e4d52e217
|
2019-09-07 16:28:19 +03:00 |
|
Kobi Gurkan
|
c6f95b3997
|
adds circom importer
|
2019-09-07 00:03:48 +03:00 |
|
Kobi Gurkan
|
18c190c298
|
adds prepare_phase2
|
2019-09-05 16:29:07 +03:00 |
|
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 |
|