The ZK Query Language allows developers to define authentication requirements for credentials. It operates on top of generic circuits to perform zero-knowledge verification of user claims.
- V2 Circuits:
credentialAtomicQuerySigV2 and credentialAtomicQueryMTPV2 support operators 1 through 6. - V3 Circuit:
credentialAtomicQueryV3 supports additional operators 7 through 11.
Verifiers design a query and present it to users (e.g., via QR code). The user generates a proof, which the Verifier then checks to determine if the requirements are satisfied.