zPass docs
  • zPass
    • Introduction
    • Quickstart
    • Background
    • Benefits & Use Cases
    • Technical Foundations
    • System Participants
    • Powered by Aleo
  • Fundamentals
    • Issuer
    • Holder
    • Verifier
    • Off-chain flow
    • On-chain flow
    • Local Execution with WASM
  • ZPass Programs
    • Background
    • Verify offchain program
    • zPass issuance program
    • zPass hiding program
    • zPass invalidate program
    • zPass invalidate hiding program
    • zPass merkle tree size 8 program
  • ZPass SDK
    • Methods References
      • constructor
      • setNewHost
      • issueZPass
      • getZPassRecord
      • proveOnChain
      • proveOffChain
      • verifyOnChain
      • verifyOffChain
      • signCredential
      • initThreadPool
      • createAleoWorker
      • getMerkleRoot
      • getMerkleTree
      • getMerkleProof
      • getLeavesHashes
      • signMerkleRoot
  • Example Usage
    • Step-by-step Guide
Powered by GitBook
On this page

Roles and responsibilities

Identity proofing: Utilizes the signed credential to assert identity or specific claims.

Record of credential

The Holder receives an issued credential, for on-chain flow, the credential is provided on the Aleo network as an encrypted record.

ZKP generation

  • Authorize a credential to use for verification.

  • Privately input the credential into an Aleo program.

  • Execute program using wasm on local device.

  • Generate program output and an execution proof.

PreviousIssuerNextVerifier

Last updated 5 months ago

Page cover image