Class ZkProofRequest

Namespace

Tessio.Verifier.Core.Mdoc

Assembly

Tessio.Verifier.Core.Mdoc.dll

The inputs a zero knowledge proof of an mdoc is checked against.

public sealed record ZkProofRequest : IEquatable<ZkProofRequest>

Inheritance

object

ZkProofRequest

Implements

IEquatable<ZkProofRequest>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

CircuitHash

The circuit hash taken from ZkSystemId, lowercase hex.

public required string CircuitHash { get; init; }

Property Value

string

Disclosures

The disclosed elements the proof is about, in the order the presentation lists them.

public required IReadOnlyList<ZkDisclosure> Disclosures { get; init; }

Property Value

IReadOnlyList<ZkDisclosure>

DocType

public required string DocType { get; init; }

Property Value

string

IssuerKeyX

The x coordinate of the document signer's P-256 public key, big endian, 32 bytes.

public required ReadOnlyMemory<byte> IssuerKeyX { get; init; }

Property Value

ReadOnlyMemory<byte>

IssuerKeyY

The y coordinate of the document signer's P-256 public key, big endian, 32 bytes.

public required ReadOnlyMemory<byte> IssuerKeyY { get; init; }

Property Value

ReadOnlyMemory<byte>

Proof

public required ReadOnlyMemory<byte> Proof { get; init; }

Property Value

ReadOnlyMemory<byte>

SessionTranscript

The session transcript the presentation is bound to, as CBOR.

public required ReadOnlyMemory<byte> SessionTranscript { get; init; }

Property Value

ReadOnlyMemory<byte>

Timestamp

The wallet's timestamp exactly as transported, for example 2026-02-05T08:44:59Z.

public required string Timestamp { get; init; }

Property Value

string

ZkSystemId

The zkSystemId the presentation names, exactly as sent: the Longfellow form or a bare circuit hash. Read the circuit from CircuitHash, not by parsing this.

public required string ZkSystemId { get; init; }

Property Value

string