Skip to content

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
Issue origami icon

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 Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

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 Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub