Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement proof aggregation scheme #9

Closed
4 tasks
nemothenoone opened this issue Mar 30, 2021 · 0 comments · Fixed by #10 or #18
Closed
4 tasks

Implement proof aggregation scheme #9

nemothenoone opened this issue Mar 30, 2021 · 0 comments · Fixed by #10 or #18
Assignees
@nemothenoone @ilyas675
Labels
enhancement New feature or request
Projects
=nil; Crypto3 Filecoin C++ Prover

Comments

@nemothenoone
Copy link
Member

nemothenoone commented Mar 30, 2021 •
edited

The scheme itself is based on following paper: https://eprint.iacr.org/2019/1177.pdf

Initial implementation is in progress in here: https://github.com/filecoin-project/bellperson/pull/144.

Detailed discussion is available in here: https://github.com/filecoin-project/FIPs/issues/50

Several aspects need verification:

  • KZG challenge point (oracle! macro in general)
  • Fiat-Shamir challenge (oracle! macro in general)
  • Pairing differencies
  • MultiscalarPrecompOwned
@nemothenoone nemothenoone added the enhancement New feature or request label Mar 30, 2021
@nemothenoone nemothenoone added this to To do in =nil; Crypto3 Filecoin C++ Prover via automation Mar 30, 2021
@nemothenoone nemothenoone self-assigned this Apr 6, 2021
This was referenced Apr 6, 2021
Closed
Closed
nemothenoone added a commit that referenced this issue Apr 7, 2021
@nemothenoone
Initial proof aggregation scheme implementation started #9
02e6302
nemothenoone added a commit that referenced this issue Apr 9, 2021
@nemothenoone
More proof aggregation scheme changes done #9
a2e475b
nemothenoone added a commit that referenced this issue Apr 9, 2021
@nemothenoone
More proof aggregation scheme implementation introduced #9
d3db2e3
@nemothenoone nemothenoone moved this from To do to In progress in =nil; Crypto3 Filecoin C++ Prover Apr 10, 2021
@nemothenoone nemothenoone mentioned this issue Apr 10, 2021
Merged
nemothenoone added a commit that referenced this issue Apr 11, 2021
@nemothenoone
More proof aggregation scheme changes #9
98a61a2
nemothenoone added a commit that referenced this issue Apr 11, 2021
@nemothenoone
More proof aggregation changes #9
b4c95ef
nemothenoone added a commit that referenced this issue Apr 12, 2021
@nemothenoone
Minor aggregated proofs verification changes #9
6d63a43
nemothenoone added a commit that referenced this issue Apr 13, 2021
@nemothenoone
More tests updated #9
0e303b8
nemothenoone added a commit that referenced this issue Apr 21, 2021
@nemothenoone
Tests updated #9
07b841e
=nil; Crypto3 Filecoin C++ Prover automation moved this from In progress to Done Apr 21, 2021
@nemothenoone nemothenoone reopened this Apr 30, 2021
=nil; Crypto3 Filecoin C++ Prover automation moved this from Done to In progress Apr 30, 2021
nemothenoone added a commit that referenced this issue May 10, 2021
@nemothenoone
More proof aggregation scheme updates #9
12f64a3
nemothenoone added a commit that referenced this issue May 19, 2021
@nemothenoone
Minor tests changes. #9
9f807ff
nemothenoone added a commit that referenced this issue May 19, 2021
@nemothenoone
Minor refactoring done #9
dacc0e0
ilyas675 pushed a commit that referenced this issue May 20, 2021
More proofs aggregation. #9
38f21c5
ilyas675 pushed a commit that referenced this issue May 25, 2021
More proofs aggregation. #9
f5ce054
ilyas675 pushed a commit that referenced this issue May 25, 2021
More proof aggregation. #9
0c61093
nemothenoone added a commit that referenced this issue May 25, 2021
@nemothenoone
Minor changes #9
e0eb91d
ilyas675 pushed a commit that referenced this issue May 26, 2021
More proof aggregation. #9
be164dd
ilyas675 pushed a commit that referenced this issue Jun 3, 2021
More proof aggregation. Tests added. #9
5f6c98b
ilyas675 pushed a commit that referenced this issue Jun 4, 2021
Transcript test added. Minor marshaling refactoring done. #9
2290277
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
More proof aggregation. Tests added. #9
9503328
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Transcript test added. Minor marshaling refactoring done. #9
a1b85e3
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Transcript test updated. #9
1dfdf9f
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Transcript test updated. #9
f2920cc
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Gipa test added. #9
068b0fd
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Gipa test updated. #9
476bf0e
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
More proof aggregation. #9
868c37e
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
More aggregation proof. #9
78960bb
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
More proof aggregation. Verification added. #9
e827777
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Transcript fixed. Proof aggregation fixed. Tests added. #9
48bc8e9
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Minor refactoring done. #9
a67029a
ilyas675 pushed a commit that referenced this issue Jun 21, 2021
Verification fixes. #9
36ce6cb
ilyas675 pushed a commit that referenced this issue Jun 22, 2021
Transcript fixed. #9
1263a89
ilyas675 pushed a commit that referenced this issue Jun 23, 2021
Transcript fixed to use hash accumulator. #9
8653840
ilyas675 pushed a commit that referenced this issue Jun 23, 2021
Aggregation proving fixed.#9
4e02dae
ilyas675 pushed a commit that referenced this issue Jun 23, 2021
Aggregate verify fixed.#9
092ac5c
ilyas675 pushed a commit that referenced this issue Jun 23, 2021
Tests updated. #9
d6cd4fb
ilyas675 pushed a commit that referenced this issue Jun 24, 2021
Aggregate verification key policies added. Aggregate verify fixed. #9
b137779
ilyas675 pushed a commit that referenced this issue Jun 24, 2021
Test updated. #9
0002860
ilyas675 pushed a commit that referenced this issue Jun 24, 2021
Test updated. #9
18e10e5
ilyas675 pushed a commit that referenced this issue Jun 26, 2021
Aggregate scheme policies updated. Public interface updated. Test upd…
a103678 
…ated. #9
ilyas675 pushed a commit that referenced this issue Jun 28, 2021
Policies updated. #9
d8fc2d4
ilyas675 pushed a commit that referenced this issue Jun 30, 2021
Test updated. #9
df442fb
ilyas675 pushed a commit that referenced this issue Jun 30, 2021
Minor refactoring done. #9
221343c
@ilyas675 ilyas675 mentioned this issue Jun 30, 2021
Merged
nemothenoone added a commit that referenced this issue Jun 30, 2021
@nemothenoone
Build configuration updated #9
8fcab34
ilyas675 pushed a commit that referenced this issue Jun 30, 2021
@nemothenoone
Build configuration updated #9
3951b13
nemothenoone added a commit that referenced this issue Jul 3, 2021
@nemothenoone
Minor refactoring done #9
9f200d9
=nil; Crypto3 Filecoin C++ Prover automation moved this from In progress to Done Jul 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nemothenoone nemothenoone

@ilyas675 ilyas675

Labels
enhancement New feature or request
Projects
No open projects
=nil; Crypto3 Filecoin C++ Prover
  
Done
Milestone
No milestone
2 participants
@nemothenoone @ilyas675