Skip to content
This repository has been archived by the owner on Nov 9, 2023. It is now read-only.

Sk knowledge gadget for PLONK with JubJub #3

Closed
CPerezz opened this issue Feb 23, 2020 · 0 comments
Closed

Sk knowledge gadget for PLONK with JubJub #3

CPerezz opened this issue Feb 23, 2020 · 0 comments
Assignees
@CPerezz
Labels
enhancement New feature or request
Milestone
Sk-knowledge Gadg...

Comments

@CPerezz
Copy link
Contributor

CPerezz commented Feb 23, 2020

No description provided.

@CPerezz CPerezz added the enhancement New feature or request label Feb 23, 2020
@CPerezz CPerezz added this to the Sk-knowledge Gadget PLONK milestone Feb 23, 2020
@CPerezz CPerezz self-assigned this Feb 23, 2020
CPerezz added a commit that referenced this issue Feb 23, 2020
@CPerezz
Implement JubJubPointGadget with add and mul impls
4d9b815 
- `JubJubPointGadget` holds 4 linear combinations that
represent the point in Extended TwEdws coordinates.
- Implemented add for `JubJubPointGadget`.
- Implemented double for `JubJubPointGadget`.
- Implemented equal for `JubJubPointGadget`.

That implements almost all of the basic ECC ops
needed in #4 for #3
@CPerezz CPerezz mentioned this issue Feb 23, 2020
Closed
4 tasks
CPerezz added a commit that referenced this issue Feb 23, 2020
@CPerezz
Implement conditional_selection for JubJubPoint
ed04c68 
- The function gets a selector variable and returns rather the point
or the Identity point.
This impls one of the tools required by #3 and listed in #4
@CPerezz CPerezz mentioned this issue Feb 23, 2020
Closed
12 tasks
CPerezz added a commit that referenced this issue Feb 24, 2020
@CPerezz
Implement Sk knowledge gadget for plonk
9b1e8ea 
Solves #3 by implementing the scalar mul gadget and
the equalty gadget to prove that sk * Basep = Pk
@CPerezz CPerezz mentioned this issue Mar 13, 2020
Merged
12 tasks
@CPerezz CPerezz closed this as completed in 17a3b2b Apr 6, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@CPerezz CPerezz

Labels
enhancement New feature or request
Projects
None yet
Milestone
Sk-knowledge Gadget PLONK
Development

No branches or pull requests
1 participant
@CPerezz