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 Redshift Proof System #20

Closed
nemothenoone opened this issue Jul 2, 2021 · 0 comments · Fixed by #33
Closed

Implement Redshift Proof System #20

nemothenoone opened this issue Jul 2, 2021 · 0 comments · Fixed by #33
Assignees
@nkaskov
Labels
enhancement New feature or request
Projects
In-EVM Mina Verification In-EVM Solana Verification

Comments

@nemothenoone
Copy link
Member

No description provided.

@nemothenoone nemothenoone added the enhancement New feature or request label Jul 2, 2021
nemothenoone added a commit that referenced this issue Jul 4, 2021
@nemothenoone
Initial PLONK-related refactoring started #20
13c69d9
nemothenoone added a commit that referenced this issue Jul 22, 2021
@nemothenoone
More PLONK prover draft done #20
eba2d04
@nemothenoone nemothenoone added this to To do in In-EVM Solana Verification via automation Aug 23, 2021
@nkaskov nkaskov self-assigned this Oct 2, 2021
nkaskov added a commit that referenced this issue Oct 19, 2021
@nkaskov
Minor PLONK prover refactoring. #20
a10e968
@nemothenoone nemothenoone moved this from To do to In progress in In-EVM Mina Verification Oct 20, 2021
@nemothenoone nemothenoone moved this from To do to In progress in In-EVM Solana Verification Oct 20, 2021
nkaskov added a commit that referenced this issue Oct 20, 2021
@nkaskov
Transcript and Fiat-Shamir heuristic indexed challenges support added…
7fa02b3 
…. PLONKs Fiat-Shamir manifest inited. #24 #20
@nkaskov nkaskov changed the title Implement PLONK-based schemes Implement Redshift Oct 30, 2021
nkaskov added a commit that referenced this issue Oct 30, 2021
@nkaskov
Redshift verifier and proof inited. #20
3216d9c
nkaskov referenced this issue Oct 30, 2021
@nkaskov
Redshift generator and prover inited.
84b0593
@nkaskov nkaskov mentioned this issue Nov 1, 2021
Closed
@nemothenoone nemothenoone changed the title Implement Redshift Implement Redshift Proof Scheme Nov 1, 2021
@nkaskov nkaskov mentioned this issue Nov 1, 2021
Closed
nemothenoone added a commit that referenced this issue Nov 11, 2021
@nemothenoone
Minor reformatting done #20
3c29da1
nemothenoone added a commit that referenced this issue Nov 11, 2021
@nemothenoone
Directory renaming done. Pickles proof data struct initialized. #20
0273e82
nemothenoone added a commit that referenced this issue Nov 11, 2021
@nemothenoone
Minor tests changes #20
7237761
nkaskov added a commit that referenced this issue Nov 15, 2021
@nkaskov
Redshift prover and verifier updated to use LPC. #20
63366e5
nkaskov added a commit that referenced this issue Nov 15, 2021
@nkaskov
Redshift prover, verifier and LPC updated. #20 #25
3be36fc
nkaskov added a commit that referenced this issue Nov 15, 2021
@nkaskov
Redshift proof typo fixed. #20
f320395
nkaskov added a commit that referenced this issue Nov 15, 2021
@nkaskov
Redshift prover, verifier and LPC updated. #20 #25
87771e5
nkaskov added a commit that referenced this issue Nov 15, 2021
@nkaskov
Redshift set to be defined by a field instead of a curve type. #20
e4a0b88
nkaskov added a commit that referenced this issue Nov 20, 2021
@nkaskov
Linear combination implementation updated. #20
3a8552d
nkaskov added a commit that referenced this issue Nov 23, 2021
@nkaskov
PLONK constraint system inited. #20
d815827
nkaskov added a commit that referenced this issue Nov 29, 2021
@nkaskov
PLONK constraint system to polynomials conversion added. Redshift pro…
6b8126d 
…ver updated to use stable math polynom interface. #20
nkaskov added a commit that referenced this issue Dec 9, 2021
@nkaskov
Redshift implementation updated. #20
b8e6017
nkaskov added a commit that referenced this issue Dec 13, 2021
@nkaskov
Redshift compilation updates. #20
a335176
nkaskov added a commit that referenced this issue Dec 13, 2021
@nkaskov
More Redshift compilation updates. #20
5007272
nkaskov added a commit that referenced this issue Mar 9, 2022
@nkaskov
KZG params_type added. #20
2a3b423
nkaskov added a commit that referenced this issue Mar 9, 2022
@nkaskov
KZG params_type usage added. #20
9f7f84a
nkaskov added a commit that referenced this issue Mar 10, 2022
@nkaskov
Commitments type_traits added. #20 #25
5409a70
In-EVM Mina Verification automation moved this from In progress to Done Mar 10, 2022
In-EVM Solana Verification automation moved this from In progress to Done Mar 10, 2022
SK0M0R0H added a commit that referenced this issue Mar 10, 2022
@SK0M0R0H
table description, permutation cycles, permutation test #20
3a823d3
SK0M0R0H added a commit that referenced this issue Mar 10, 2022
@SK0M0R0H
rearrange redshift tests #20
e0d7a19
SK0M0R0H added a commit that referenced this issue Mar 10, 2022
@SK0M0R0H
copy constraints in circuit test #20
d98821a
SK0M0R0H added a commit that referenced this issue Mar 10, 2022
@SK0M0R0H
move selectors to the end of the table #20
c7c6687
SK0M0R0H added a commit that referenced this issue Mar 10, 2022
@SK0M0R0H
remove endless loop for cycle permutation #20
5a60299
SK0M0R0H added a commit that referenced this issue Mar 12, 2022
@SK0M0R0H
fri remove extra typedef #20
6c309ba
SK0M0R0H added a commit that referenced this issue Mar 12, 2022
@SK0M0R0H
gate caclulation changes #20
eb322ab
SK0M0R0H added a commit that referenced this issue Mar 13, 2022
@SK0M0R0H
verifier permutation input changes #20
eaca124
SK0M0R0H added a commit that referenced this issue Mar 14, 2022
@SK0M0R0H
prover public evaliations #20
658872f
SK0M0R0H added a commit that referenced this issue Mar 14, 2022
@SK0M0R0H
verifier public evaluations check, common public data #20
6a09432
SK0M0R0H added a commit that referenced this issue Mar 14, 2022
@SK0M0R0H
remove template parameter from preprocessed public data #20
c771165
SK0M0R0H added a commit that referenced this issue Mar 14, 2022
@SK0M0R0H
use copy constraint size #20
dc66129
SK0M0R0H added a commit that referenced this issue Mar 14, 2022
@SK0M0R0H
preprocessor update #20
f8ecdea
SK0M0R0H added a commit that referenced this issue Mar 14, 2022
@SK0M0R0H
test typos #20
9ad24ca
Very-Fancy pushed a commit that referenced this issue Mar 15, 2022
KZG updated, KZG test added #20
7264b36
SK0M0R0H added a commit that referenced this issue Mar 15, 2022
@SK0M0R0H
constraint system field_type def #20
f7877fc
Luannet added a commit that referenced this issue Mar 20, 2022
@Luannet
lookup argument init #20
caa06f3
SK0M0R0H added a commit that referenced this issue Mar 20, 2022
@SK0M0R0H
pasta curves in tests #20
90868e2
SK0M0R0H added a commit that referenced this issue Mar 21, 2022
@SK0M0R0H
prover log tmp #20
edbf0f3
SK0M0R0H added a commit that referenced this issue Mar 23, 2022
@SK0M0R0H
reshift test update #20
b55c166
SK0M0R0H added a commit that referenced this issue Mar 27, 2022
@SK0M0R0H
rows_amount in common_data #20
1931c36
Luannet added a commit that referenced this issue Apr 3, 2022
@Luannet
lookup argument #20
be0924c
Luannet added a commit that referenced this issue Apr 5, 2022
@Luannet
test lookup argument #20
ebe04fb
SK0M0R0H added a commit that referenced this issue Apr 12, 2022
@SK0M0R0H
remove deprecated parts from verifier #20
96cde32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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 a pull request may close this issue.

Redshift Proof System Implementation NilFoundation/crypto3-zk
2 participants
@nemothenoone @nkaskov