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.

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

verify_rescue_musig added to EddsaSignature #21

Open
wants to merge 6 commits into
base: plonk_gadgets
Choose a base branch
from

Conversation

StanislavBreadless
Copy link

Added rescue musig verification that adds constraints to the constraint system and a test that shows that it works properly.

Also I added some utilities without which the verification algorithm wouldn't work,

@burdges
Copy link

burdges commented Aug 12, 2020

I'm curious: What doers this do?

@shamatar
Copy link
Member

This is a backport from zksync for MuSig with Rescue as a hash function, but it doesn't look proper yet. In any case, this is work of our summer interns and will be reviewed.

ly0va and others added 5 commits August 21, 2020 16:44
- Remove unnecessary returns
- Remove .clone() on Copy types
- Remove boolean comparisons (if flag == true -> if flag)
- Use .is_empty() instead of comparing .len() to 0
- Use augmented assignments when possible
- Struct { x: x } -> Struct { x }
- .map(|x| f(x)) -> .map(f)
- .map(|x| x.clone()) -> .cloned()
- .map(|x| *x) -> .copied()
- .iter().cloned().collect::<Vec<_>>() -> .to_vec()
- Other minor improvements
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants