issues Search Results · repo:microsoft/crescent-credentials language:Circom
Filter by
10 results
(208 ms)10 results
inmicrosoft/crescent-credentials (press backspace or delete to remove)To avoid regressions if/once https://github.com/microsoft/crescent-credentials/pull/143 is merged
jeswr
- Opened on Jun 29
- #144
I would like to report a security vulnerability related to missing range checks inside JWTVerify template, which
internally uses the Sha256Bytes template.
Issue Description
The Sha256Bytes internally ...
ArmanKolozyan
- Opened on Jun 5
- #133
I would like to report a security vulnerability related to missing range checks inside HashRevealClaimValue template,
which internally uses the Sha256General template.
Issue Description
The Sha256General ...
ArmanKolozyan
- Opened on Jun 5
- #131
I would like to report a security vulnerability in the RemoveValue template. This template relies on the GreaterEqThan
comparator from circomlib, which assumes bounded inputs, yet it only enforces this ...
ArmanKolozyan
- 1
- Opened on Jun 5
- #128
I would like to report a security vulnerability related to missing range checks in the MatchClaimName template, which
relies on the LessThan comparator from circomlib without ensuring its inputs are properly ...
ArmanKolozyan
- Opened on Jun 5
- #125
Hi! First of all, this is a very interesting project, and I really enjoyed exploring the code.
I have identified several potential issues in the Circom templates. Since the repository notes that the code ...
ArmanKolozyan
- 2
- Opened on May 26
- #123
Thank you for the excellent work!
I found that running zksetup currently results in the following error:
$ cargo run --bin crescent --release --features print-trace zksetup --name rs256
...
Compiling ...
yamdan
- 2
- Opened on May 12
- #119
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). ...
zaverucha
- Opened on Feb 20
- #98
Add a presentation challenge to the proof transcript to encode a verifier challenge for interactive presentations, or a
timestamp+verifier UID for non-interactive ones. This could also encode payload to ...
enhancement
christianpaquin
- Opened on Jan 16
- #89
Old tests were testing things end-to-end, which was long and hard to do given the inter-dependent nature of the
components. It would be nice to have long lived test vectors that could simply be passed ...
christianpaquin
- Opened on Dec 5, 2024
- #75

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.