{"id":1148317,"date":"2025-08-26T09:00:00","date_gmt":"2025-08-26T16:00:00","guid":{"rendered":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/?p=1148317"},"modified":"2025-09-19T08:36:18","modified_gmt":"2025-09-19T15:36:18","slug":"crescent-library-brings-privacy-to-digital-identity-systems","status":"publish","type":"post","link":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/blog\/crescent-library-brings-privacy-to-digital-identity-systems\/","title":{"rendered":"Crescent library brings privacy to digital identity systems"},"content":{"rendered":"\n
\"Three<\/figure>\n\n\n\n

Digital identities, the electronic credentials embedded in phone wallets, workplace logins, and other apps, are becoming ubiquitous. While they offer unprecedented convenience, they also create new privacy risks, particularly around tracking and surveillance. <\/p>\n\n\n\n

One of these risks is linkability, <\/em>the ability to associate one or more uses of a credential to a specific person. Currently, when people use their mobile driver’s license or log into various apps, hidden identifiers can link these separate activities together, building detailed profiles of user behavior.  <\/p>\n\n\n\n

To address this, we have released Crescent (opens in new tab)<\/span><\/a>, a cryptographic library that adds unlinkability <\/em>to widely used identity formats, protecting privacy. These include JSON Web Tokens (the authentication standard behind many app logins) and mobile driver’s licenses. Crescent also works without requiring the organizations that issue these credentials to update their systems.  <\/p>\n\n\n\n

The protection goes beyond existing privacy features. Some digital identity systems already offer selective disclosure<\/em>, allowing users to share only specific pieces of information in each interaction.  <\/p>\n\n\n\n

But even with selective disclosure, credentials can still be linked through serial numbers, cryptographic signatures, or embedded identifiers. Crescent’s unlinkability feature is designed to prevent anything in the credential, beyond what a user explicitly chooses to reveal, from being used to connect their separate digital interactions.<\/p>\n\n\n\n

\"Figure
Figure 1: Unlinkability between a credential issuance and presentation<\/figcaption><\/figure>\n\n\n\n

Two paths to unlinkability <\/h2>\n\n\n\n

To understand how Crescent works, it helps to examine the two main approaches researchers have developed for adding unlinkability to identity systems: <\/p>\n\n\n\n

    \n
  1. Specialized cryptographic signature schemes<\/strong>. These schemes can provide unlinkability but require extensive changes to existing infrastructure. New algorithms must be standardized, implemented, and integrated into software and hardware platforms. For example, the BBS (opens in new tab)<\/span><\/a> signature scheme is currently being standardized by the Internet Engineering Task Force (IETF), but even after completion, adoption may be slow.   <\/li>\n<\/ol>\n\n\n\n
      \n
    1. Zero-knowledge proofs with existing credentials<\/strong>. This approach, used by Crescent (opens in new tab)<\/span><\/a>, allows users to prove specific facts about their credentials without revealing the underlying data that could enable tracking. For example, someone could prove they hold a valid driver’s license and live in a particular ZIP code without exposing any other personal information or identifiers that could link this interaction to future ones. <\/li>\n<\/ol>\n\n\n\n

      Zero-knowledge proofs have become more practical since they were first developed 40 years ago but they are not as efficient as the cryptographic algorithms used in today\u2019s credentials. Crescent addresses this computational challenge through preprocessing, performing the most complex calculations once in advance so that later proof generation is quick and efficient for mobile devices. <\/p>\n\n\n\n

      Beyond unlinkability, Crescent supports selective disclosure, allowing users to prove specific facts without revealing unnecessary details. For example, it can confirm that a credential is valid and unexpired without disclosing the exact expiration date, which might otherwise serve as a unique identifier. These privacy protections work even when credentials are stored in a phone’s secure hardware, which keeps them tied to the device and prevents unauthorized access.<\/p>\n\n\n\n\t

      \n\t\t\n\n\t\t

      \n\t\tPODCAST SERIES<\/span>\n\t<\/p>\n\t\n\t

      \n\t\t\t\t\t\t
      \n\t\t\t\t\n\t\t\t\t\t\"Illustrated\n\t\t\t\t<\/a>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t
      \n\n\t\t\t\t\t\t\t\t\t

      The AI Revolution in Medicine, Revisited<\/h2>\n\t\t\t\t\n\t\t\t\t\t\t\t\t

      Join Microsoft\u2019s Peter Lee on a journey to discover how AI is impacting healthcare and what it means for the future of medicine.<\/p>\n\t\t\t\t\n\t\t\t\t\t\t\t\t

      \n\t\t\t\t\t
      \n\t\t\t\t\t\t\n\t\t\t\t\t\t\tListen now\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t<\/div>\n\t<\/div>\n\t\n\n\n

      Behind the cryptographic curtain <\/h2>\n\n\n\n

      At its core, Crescent uses a sophisticated form of cryptographic proof called a zero-knowledge SNARK (Zero-Knowledge Succinct Noninteractive Argument of Knowledge). This method allows one party to prove possession of information or credentials without revealing the underlying data itself. <\/p>\n\n\n\n

      Crescent specifically uses the Groth16 proof system, one of the first practical implementations of this technology. What makes Groth16 particularly useful is that its proofs are small in size, quick to verify, and can be shared in a single step without back-and-forth communication between the user and verifier. <\/p>\n\n\n\n

      The system works by first establishing shared cryptographic parameters based on a credential template. Multiple organizations issuing similar credentials, such as different state motor vehicle departments issuing mobile driver’s licenses, can use the same parameters as long as they follow compatible data formats and security standards. <\/p>\n\n\n\n

      The mathematical rules that define what each proof will verify are written using specialized programming tools that convert them into a Rank-1 Constraint System (R1CS), a mathematical framework that describes exactly what needs to be proven about a credential. <\/p>\n\n\n\n

      To make the system fast enough for real-world use, Crescent splits the proof generation into two distinct stages: <\/p>\n\n\n\n

        \n
      1. Prepare stage<\/strong>. This step runs once and generates cryptographic values that can be stored on the user’s device for repeated use. <\/li>\n<\/ol>\n\n\n\n
          \n
        1. Show stage<\/strong>. When a user needs to present their credential, this quicker step takes the stored values and randomizes them to prevent any connection to previous presentations. It also creates a compact cryptographic summary that reveals only the specific information needed for that particular interaction. <\/li>\n<\/ol>\n\n\n\n

          Figures 2 and 3 illustrate this credential-proving workflow and the division between the prepare and show steps.<\/p>\n\n\n\n

          \"Figure
          Figure 2: Crescent\u2019s credential-proving workflow includes a compilation of a circuit to R1CS, followed by the prepare and show steps. The output zero-knowledge proof is sent to the verifier. <\/figcaption><\/figure>\n\n\n\n
          \"Figure
          Figure 3: The Crescent presentation steps show the division between prepare and show steps.<\/figcaption><\/figure>\n\n\n\n

          A sample application <\/h2>\n\n\n\n

          To demonstrate how Crescent works, we created a sample application covering two real-world scenarios: verifying employment and proving age for online access. The application includes sample code for setting up fictional issuers and verifiers as Rust servers, along with a browser-extension wallet for the user. The step numbers correspond to the steps in Figure 4. <\/p>\n\n\n\n

          Setup <\/h3>\n\n\n\n
            \n
          1. A Crescent service pre-generates the zero-knowledge parameters for creating and verifying proofs from JSON Web Tokens and mobile driver\u2019s licenses. <\/li>\n<\/ol>\n\n\n\n
              \n
            1. The user obtains a mobile driver\u2019s license from their Department of Motor Vehicles. <\/li>\n<\/ol>\n\n\n\n
                \n
              1. The user obtains a proof-of-employment JSON Web Token from their employer, Contoso. <\/li>\n<\/ol>\n\n\n\n
                  \n
                1. These credentials and their private keys are stored in the Crescent wallet. <\/li>\n<\/ol>\n\n\n\n

                  Scenarios <\/h3>\n\n\n\n
                    \n
                  1. Employment verification<\/strong>: The user presents their JSON Web Token to Fabrikam, an online health clinic, to prove they are employed at Contoso and eligible for workplace benefits. Fabrikam learns that the user works at Contoso but not the user’s identity, while Contoso remains unaware of the interaction. <\/li>\n<\/ol>\n\n\n\n
                      \n
                    1. Age verification<\/strong>: <\/strong>The user presents their mobile driver\u2019s license to a social network, proving they are over 18. The proof confirms eligibility without revealing their age or identity. <\/li>\n<\/ol>\n\n\n\n

                      Across both scenarios, Crescent ensures that credential presentations remain unlinkable, preventing any party from connecting them to the user. <\/p>\n\n\n\n

                      For simplicity, the sample defines its own issuance and presentation protocol, but it could be integrated into higher-level identity frameworks such as OpenID\/OAuth, Verifiable Credentials, or the mobile driver\u2019s license ecosystem.<\/p>\n\n\n\n

                      \"Figure
                      Figure 4. The sample architecture, from credential issuance to presentation.<\/figcaption><\/figure>\n\n\n\n

                      To learn more about the project, visit the Crescent project GitHub (opens in new tab)<\/span><\/a> page, or check out our recent presentations given at the Real-Word Crypto 2025 (opens in new tab)<\/span><\/a> and North Sec 2025 (opens in new tab)<\/span><\/a> conferences.\u00a0<\/p>\n\n\n\n

                      <\/p>\n","protected":false},"excerpt":{"rendered":"

                      Crescent helps make digital IDs private by preventing tracking across uses while letting users only disclose what\u2019s necessary from their credentials.<\/p>\n","protected":false},"author":43868,"featured_media":1148394,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr-author-ordering":[{"type":"user_nicename","value":"Christian Paquin","user_id":"31473"},{"type":"user_nicename","value":"Greg Zaverucha","user_id":"31912"}],"msr_hide_image_in_river":null,"footnotes":""},"categories":[1],"tags":[],"research-area":[13558],"msr-region":[],"msr-event-type":[],"msr-locale":[268875],"msr-post-option":[269148,243984,269142],"msr-impact-theme":[],"msr-promo-type":[],"msr-podcast-series":[],"class_list":["post-1148317","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-research-blog","msr-research-area-security-privacy-cryptography","msr-locale-en_us","msr-post-option-approved-for-river","msr-post-option-blog-homepage-featured","msr-post-option-include-in-river"],"msr_event_details":{"start":"","end":"","location":""},"podcast_url":"","podcast_episode":"","msr_research_lab":[1161007],"msr_impact_theme":[],"related-publications":[],"related-downloads":[],"related-videos":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-events":[],"related-researchers":[{"type":"user_nicename","value":"Christian Paquin","user_id":31473,"display_name":"Christian Paquin","author_link":"Christian Paquin<\/a>","is_active":false,"last_first":"Paquin, Christian","people_section":0,"alias":"cpaquin"},{"type":"user_nicename","value":"Greg Zaverucha","user_id":31912,"display_name":"Greg Zaverucha","author_link":"Greg Zaverucha<\/a>","is_active":false,"last_first":"Zaverucha, Greg","people_section":0,"alias":"gregz"}],"msr_type":"Post","featured_image_thumbnail":"\"Three","byline":"Christian Paquin<\/a> and Greg Zaverucha<\/a>","formattedDate":"August 26, 2025","formattedExcerpt":"Crescent helps make digital IDs private by preventing tracking across uses while letting users only disclose what\u2019s necessary from their credentials.","locale":{"slug":"en_us","name":"English","native":"","english":"English"},"_links":{"self":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts\/1148317","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/users\/43868"}],"replies":[{"embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/comments?post=1148317"}],"version-history":[{"count":8,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts\/1148317\/revisions"}],"predecessor-version":[{"id":1148432,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/posts\/1148317\/revisions\/1148432"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media\/1148394"}],"wp:attachment":[{"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/media?parent=1148317"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/categories?post=1148317"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/tags?post=1148317"},{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=1148317"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=1148317"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=1148317"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=1148317"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=1148317"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=1148317"},{"taxonomy":"msr-promo-type","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-promo-type?post=1148317"},{"taxonomy":"msr-podcast-series","embeddable":true,"href":"https:\/\/cm-edgetun.pages.dev\/en-us\/research\/wp-json\/wp\/v2\/msr-podcast-series?post=1148317"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}