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

zk: nullifier integrity proof gadget #1096

Closed
redshiftzero opened this issue Jul 11, 2022 · 0 comments · Fixed by #1640
Closed

zk: nullifier integrity proof gadget #1096

redshiftzero opened this issue Jul 11, 2022 · 0 comments · Fixed by #1640
Assignees
@redshiftzero
Labels
A-zkproofs Area: Design and implementation of ZK-SNARKs for Penumbra

Comments

@redshiftzero
Copy link
Member

We will need to check the validity of nullifiers in circuit. We derive nullifiers using rate 3 poseidon so we need #714 to be implemented first.
@redshiftzero redshiftzero added the A-zkproofs Area: Design and implementation of ZK-SNARKs for Penumbra label Jul 11, 2022
@redshiftzero redshiftzero mentioned this issue Jul 11, 2022
Closed
@redshiftzero redshiftzero self-assigned this Nov 16, 2022
@redshiftzero redshiftzero moved this to Future in Testnets Nov 16, 2022
@redshiftzero redshiftzero moved this from Future to Todo in Testnets Nov 17, 2022
@redshiftzero redshiftzero moved this from Todo to In Progress in Testnets Nov 17, 2022
@redshiftzero redshiftzero moved this from In Progress to Future in Testnets Nov 17, 2022
@redshiftzero redshiftzero mentioned this issue Nov 18, 2022
Merged
@redshiftzero redshiftzero moved this from Future to In Progress in Testnets Nov 18, 2022
@redshiftzero redshiftzero moved this from In Progress to Done in Reify complete system in ZK Nov 18, 2022
@aubrika aubrika moved this from In Progress to Testnet 37: Megaclite in Testnets Nov 18, 2022
Repository owner moved this from Testnet 37: Megaclite to Testnet 32: Chaldene in Testnets Nov 21, 2022
@redshiftzero redshiftzero moved this from Testnet 32: Chaldene to Testnet 36: Iocaste in Testnets Nov 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@redshiftzero redshiftzero

Labels
A-zkproofs Area: Design and implementation of ZK-SNARKs for Penumbra
Projects
Reify complete system in ZK
Status: Done
Testnets
Status: Testnet 36: Iocaste
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

zk: more r1cs gadgets, output proof penumbra-zone/penumbra
1 participant
@redshiftzero