Initial draft of id cred presentations

Author: soerenbf

packages/sdk/src/wasm/VerifiablePresentationV1/index.ts

@@ -0,0 +1,4 @@
+import * as VerifiablePresentationV1 from './proof.js';
+import * as VerifiablePresentationRequestV1 from './request.js';
+
+export { VerifiablePresentationRequestV1, VerifiablePresentationV1 };

packages/sdk/src/wasm/VerifiablePresentationV1/proof.ts

@@ -0,0 +1,94 @@
+import * as Request from './request.js';
+import { AccountCredDID, GivenContext, IdCredentialStatement, IdentityProviderDID } from './shared.js';
+
+// Context for the proof part.
+// NOTE: renamed from FilledContextInformation
+export type Context = {
+    type: 'ConcordiumContextInformationV1';
+    given: GivenContext[];
+    requested: GivenContext[];
+};
+
+// Fails if not given the full amount of requested context.
+export function createContext(context: Request.Context, requestedContextData: GivenContext[]): Context {
+    throw new Error('not implemented');
+}
+
+type ConcordiumZKProofV4 = {
+    type: 'ConcordiumZKProofV4';
+    createdAt: Date; // Explicit type, JSON: ISO format
+    proofValue: Uint8Array; // Explicit type, JSON: hex encoding of proof + aux data
+};
+
+type WeakLinkingProofV1 = {
+    type: 'ConcordiumWeakLinkingProofV1';
+    created: Date;
+    proofValue: Uint8Array[];
+};
+
+type IDCredPubEncryption = Uint8Array; // right??
+
+type IDBasedCredential = {
+    type: ['VerifiableCredential', 'ConcordiumVerifiableCredentialV1', 'ConcordiumIDBasedCredential'];
+    // The person this statement is about
+    credentialSubject: {
+        // The identity disclosure information also acts as ephemeral ID
+        id: IDCredPubEncryption;
+        // Statements (should match request)
+        statements: IdCredentialStatement[];
+    };
+    // The zero-knowledge proof for attestation.
+    proof: ConcordiumZKProofV4;
+    // Issuer of the orignal ID credential
+    issuer: IdentityProviderDID;
+};
+
+type AccountBasedCredential = {
+    type: ['VerifiableCredential', 'ConcordiumVerifiableCredentialV1', 'ConcordiumAccountBaseCredential'];
+    // The person this statement is about
+    credentialSubject: {
+        // The id is the account credential identifier
+        id: AccountCredDID;
+        // Statements (should match request)
+        statements: IdCredentialStatement[];
+    };
+    // The zero-knowledge proof for attestation.
+    proof: ConcordiumZKProofV4;
+    // The issuer of the ID credential used to open the account credential.
+    issuer: IdentityProviderDID;
+};
+
+type VerifiableCredential = IDBasedCredential | AccountBasedCredential;
+
+// TODO: Should match the w3c spec for a verifiable presentation
+type JSON = void;
+
+class VerifiablePresentationV1 {
+    type = ['VerifiablePresentation', 'ConcordiumVerifiablePresentationV1'];
+
+    constructor(
+        public readonly presentationContext: Context,
+        public readonly verifiableCredential: VerifiableCredential[],
+        public readonly proof?: WeakLinkingProofV1
+    ) {}
+
+    public toJSON(): JSON {}
+}
+
+export type Type = VerifiablePresentationV1;
+
+// TODO: what's the input here?
+export function create(request: Request.Type): VerifiablePresentationV1 {
+    // NOTE: this calls into concordium-base bindings to generate the proof
+    throw new Error('not implemented');
+}
+
+export function fromJSON(json: JSON): VerifiablePresentationV1 {
+    throw new Error('not implemented');
+}
+
+// TODO: what's the input/output here?
+export function verify(request: Request.Type): unknown {
+    // NOTE: this calls into concordium-base bindings to verify the proof
+    throw new Error('not implemented');
+}

packages/sdk/src/wasm/VerifiablePresentationV1/request.ts

@@ -0,0 +1,45 @@
+import { TransactionHash } from '../../types/index.js';
+import { GivenContext, IdCredentialStatement, IdPresentationContextLabel } from './shared.js';
+
+// NOTE: renamed from ContextInformation
+export type Context = {
+    type: 'ConcordiumContextInformationV1';
+    given: GivenContext[];
+    requested: IdPresentationContextLabel[];
+};
+
+export function getAnchor(context: Context, credentialStatements: IdCredentialStatement): Uint8Array {
+    // NOTE: this calls into concordium-base bindings to compute the presentation anchor.
+    throw new Error('not implemented');
+}
+
+// TODO: Should match the w3c spec for a verifiable presentation request
+type JSON = void;
+
+class VerifiablePresentationRequestV1 {
+    type = 'ConcordiumVPRequestV1';
+
+    constructor(
+        public readonly context: Context,
+        public readonly credentialStatements: IdCredentialStatement[],
+        public readonly transactionRef: TransactionHash.Type // renamed from requestTX
+    ) {}
+
+    public toJSON(): JSON {
+        throw new Error('not implemented');
+    }
+}
+
+export type Type = VerifiablePresentationRequestV1;
+
+export function fromJSON(json: JSON): VerifiablePresentationRequestV1 {
+    throw new Error('not implemented');
+}
+
+export function create(
+    context: Context,
+    credentialStatements: IdCredentialStatement[],
+    transactionRef: TransactionHash.Type
+): VerifiablePresentationRequestV1 {
+    return new VerifiablePresentationRequestV1(context, credentialStatements, transactionRef);
+}

packages/sdk/src/wasm/VerifiablePresentationV1/shared.ts

@@ -0,0 +1,33 @@
+import { IdStatement } from '../../index.js';
+import { AccountAddress, BlockHash } from '../../types/index.js';
+
+export type IdPresentationContextLabel =
+    | 'ContextString'
+    | 'ResourceID'
+    | 'BlockHash'
+    | 'PaymentHash'
+    | 'ConnectionID'
+    | 'Nonce';
+
+export type GivenContext = {
+    label: IdPresentationContextLabel;
+    context: Uint8Array | string | BlockHash.Type; // TODO: make explicit variants with unknown represented as hex string.
+};
+
+type CredType = 'IdentityCredential' | 'AccountCredential' | 'IdentityOrAccountCredential'; // whats the use of the last one here?
+
+// TODO: figure out the correct way to represent as DID.
+export type IdentityProviderDID = number;
+
+// TODO: figure out the correct way to represent as DID.
+export type AccountCredDID = AccountAddress.Type;
+
+type IdCredentialQualifier = {
+    type: CredType;
+    issuers: IdentityProviderDID[];
+};
+
+export type IdCredentialStatement = {
+    statement: IdStatement; // we reuse the id statement as there should not be any difference here?
+    idQualifier: IdCredentialQualifier;
+};

packages/sdk/src/wasm/index.ts

@@ -9,3 +9,4 @@ export * from './HdWallet.js';
 export * from './identity.js';
 export * from './credentialDeploymentTransactions.js';
 export * from './web3Id.js';
+export * from './VerifiablePresentationV1/index.js';