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

Redshift Proof System Implementation #33

Merged
merged 248 commits into from
Mar 10, 2022
Merged

Redshift Proof System Implementation #33

merged 248 commits into from
Mar 10, 2022

Conversation

nkaskov
Copy link
Contributor

@nkaskov nkaskov commented Jan 15, 2022 •
edited by nemothenoone
Loading

nkaskov and others added 30 commits October 18, 2021 13:40
@nkaskov
Barretenberg kate-commitment plonk implementation ported.
f0f0fe0
@nkaskov
PLONK params added.
3db9f04
@nkaskov
Minor PLONK prover refactoring. #20
a10e968
@nkaskov
Redshift generator and prover inited.
84b0593
@nkaskov
Commitment schemes inited #25.
99f81f1
@nkaskov
Redshift verifier and proof inited. #20
3216d9c
@nemothenoone
Minor reformatting done #20
3c29da1
@nemothenoone
Directory renaming done. Pickles proof data struct initialized. #20
0273e82
@nemothenoone
Minor tests changes #20
7237761
@nkaskov
List polynomial commitment proof eval added. #25
e3d99f3
@nkaskov
List polynomial commitment verify eval added. #25
3aa7064
@nkaskov
Merge pull request #28 from NilFoundation/25-implement-commitments
91d046f 
List polynomial commitment scheme added
@nkaskov
Merge pull request #29 from NilFoundation/24-implement-transcript
0ea13c3 
Transcript implemented
@nkaskov
Old transcript manifests removed. #24
f5c32f3
@nkaskov
Redshift prover and verifier updated to use LPC. #20
63366e5
@nkaskov
Redshift prover, verifier and LPC updated. #20 #25
3be36fc
@nkaskov
Redshift proof typo fixed. #20
f320395
@nkaskov
Redshift prover, verifier and LPC updated. #20 #25
87771e5
@nkaskov
Redshift set to be defined by a field instead of a curve type. #20
e4a0b88
@nkaskov
Linear combination implementation updated. #20
3a8552d
@nkaskov
Variables constructor and operations from integral value removed.
1b1b62e
@nkaskov
Non linear combination implementation updated.
cab24f0
@nkaskov
PLONK constraint system inited. #20
d815827
@nkaskov
PLONK constraint system to polynomials conversion added. Redshift pro…
6b8126d 
…ver updated to use stable math polynom interface. #20
@nkaskov
Redshift implementation updated. #20
b8e6017
@nkaskov
Redshift compilation updates. #20
a335176
@nkaskov
More Redshift compilation updates. #20
5007272
@nkaskov
Redshift implementation updated. #20
db1acca
@nkaskov
Redshift implementation updated. #20
e235d30
@nkaskov
Non linear combination from math polynom evaluation added. #20
b94ffed
nkaskov and others added 22 commits March 1, 2022 01:33
@nkaskov
PLONK constraint updated. #20
c945773
@nkaskov
More operations added for non linear combination and PLONK variable. #20
cc5abf4
@nkaskov
Minor Redshift permutation argument refactoring. #20
b21d5c0
Lpc params typedef added. #20
98fdb4d
Lpc proof comparison operator fixed. #20
9025c74
@nkaskov
PLONK table public part template params added. #20
d3960b8
@SK0M0R0H
gate argument test update #20
64acff6
@SK0M0R0H
permutation argument test update #20
6bd23e4
@SK0M0R0H
gate argument verifier signature update #20
d509b8e
@SK0M0R0H
prover update #20
d091a1b
@SK0M0R0H
redshift verifier (final check fail) #20
29c3bc5
@SK0M0R0H
split polynomial test
41b887f
@nkaskov
Repository structure updated. #20 #25
82ec386
@nkaskov
Transcript usage updated. Commit and precommit functions separated. #20
6eb600f
@nkaskov
FRI and basic FRI separated. #20
4b6e7ea
kzg
56bc36d
kzg #20
a465cde
@nkaskov
KZG interfaces updated. #20
16ef518
@nkaskov
KZG proof_eval updated. #20
97113df
@nkaskov
KZG params_type added. #20
2a3b423
@nkaskov
KZG params_type usage added. #20
9f7f84a
@nkaskov
Commitments type_traits added. #20 #25
5409a70
@nkaskov nkaskov removed the request for review from SK0M0R0H March 10, 2022 11:34
In-EVM Mina Verification automation moved this from Review in progress to Reviewer approved Mar 10, 2022
In-EVM Solana Verification automation moved this from Review in progress to Reviewer approved Mar 10, 2022
@nemothenoone nemothenoone merged commit cbdb904 into master Mar 10, 2022
In-EVM Mina Verification automation moved this from Reviewer approved to Done Mar 10, 2022
In-EVM Solana Verification automation moved this from Reviewer approved to Done Mar 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nemothenoone nemothenoone nemothenoone approved these changes

Assignees

@nkaskov nkaskov

Labels
enhancement New feature or request
Projects
In-EVM Mina Verification
Done
In-EVM Solana Verification
Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Implement Redshift Proof System
4 participants
@nkaskov @nemothenoone @SK0M0R0H @Zerg1996