microsoft / microsoft/crescent-credentials
Add context to range proof
Nobody has claimed this yet.
- Dominant language
- Circom
- Stars
- 52
- Forks
- 13
- Avg merge
- 1d 32m
- Merged PRs (30d)
- 1
Description
Add support for a context value for the range proof. Then when calling it during show, pass the challenge from the DLEQ proof we create in show_groth16 (the challenge is in the struct ShowProof.show_groth16.pok_inputs.c). This may not be strictly necessary, but it seems prudent to bind the range proof to the rest of the show proof.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start in creds/src/rangeproof.rs at the referenced range-proof implementation points, then trace the show_groth16 flow and its ShowProof.show_groth16.pok_inputs.c challenge. The work is complete when the range proof accepts a context value and the show flow passes that challenge as its context.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- cryptography
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 35/100