reputrans 0.1.0

package/dist/sdk/src/vc-parser.js

@@ -0,0 +1,96 @@
+/**
+ * W3C Verifiable Credential parser for REPUTRANS.
+ *
+ * Parses W3C VC JSON-LD into typed objects, validates required fields,
+ * and extracts credentialSubject for downstream encoding.
+ */
+const REQUIRED_FIELDS = ['@context', 'type', 'issuer', 'credentialSubject', 'proof'];
+export class VCParseError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'VCParseError';
+    }
+}
+/**
+ * Parse a W3C Verifiable Credential from a JSON string or object.
+ * Validates all required fields are present.
+ */
+export function parseVC(input) {
+    let obj;
+    if (typeof input === 'string') {
+        try {
+            obj = JSON.parse(input);
+        }
+        catch {
+            throw new VCParseError('Invalid JSON');
+        }
+    }
+    else {
+        obj = input;
+    }
+    if (typeof obj !== 'object' || obj === null || Array.isArray(obj)) {
+        throw new VCParseError('VC must be a JSON object');
+    }
+    // Validate required fields
+    for (const field of REQUIRED_FIELDS) {
+        if (!(field in obj) || obj[field] === undefined || obj[field] === null) {
+            throw new VCParseError(`Missing required field: ${field}`);
+        }
+    }
+    // Validate @context
+    const context = obj['@context'];
+    if (typeof context !== 'string' && !Array.isArray(context)) {
+        throw new VCParseError('@context must be a string or array');
+    }
+    // Validate type
+    const type = obj['type'];
+    if (typeof type !== 'string' && !Array.isArray(type)) {
+        throw new VCParseError('type must be a string or array');
+    }
+    // Validate issuer
+    const issuer = obj['issuer'];
+    if (typeof issuer !== 'string' && (typeof issuer !== 'object' || issuer === null)) {
+        throw new VCParseError('issuer must be a string or object with id');
+    }
+    // Validate credentialSubject
+    const subject = obj['credentialSubject'];
+    if (typeof subject !== 'object' || subject === null || Array.isArray(subject)) {
+        throw new VCParseError('credentialSubject must be a JSON object');
+    }
+    // Validate proof
+    const proof = obj['proof'];
+    if (typeof proof !== 'object' || proof === null || Array.isArray(proof)) {
+        throw new VCParseError('proof must be a JSON object');
+    }
+    if (typeof proof['type'] !== 'string') {
+        throw new VCParseError('proof.type is required and must be a string');
+    }
+    return obj;
+}
+/**
+ * Extract credentialSubject fields as a flat key-value map.
+ * Nested objects are JSON-stringified.
+ */
+export function extractSubjectFields(vc) {
+    const result = {};
+    for (const [key, value] of Object.entries(vc.credentialSubject)) {
+        if (key === 'id')
+            continue; // skip subject id
+        if (typeof value === 'object' && value !== null) {
+            result[key] = JSON.stringify(value);
+        }
+        else {
+            result[key] = String(value);
+        }
+    }
+    return result;
+}
+/**
+ * Get the issuer ID string regardless of issuer format.
+ */
+export function getIssuerId(vc) {
+    if (typeof vc.issuer === 'string')
+        return vc.issuer;
+    return vc.issuer.id;
+}
+//# sourceMappingURL=vc-parser.js.map

package/dist/sdk/src/vc-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vc-parser.js","sourceRoot":"","sources":["../../../sdk/src/vc-parser.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA8BH,MAAM,eAAe,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,mBAAmB,EAAE,OAAO,CAAU,CAAC;AAE9F,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,KAAuC;IAC7D,IAAI,GAA4B,CAAC;IAEjC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAA4B,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,YAAY,CAAC,cAAc,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,KAAK,CAAC;IACd,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,YAAY,CAAC,0BAA0B,CAAC,CAAC;IACrD,CAAC;IAED,2BAA2B;IAC3B,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;YACvE,MAAM,IAAI,YAAY,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IAChC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,YAAY,CAAC,oCAAoC,CAAC,CAAC;IAC/D,CAAC;IAED,gBAAgB;IAChB,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,YAAY,CAAC,gCAAgC,CAAC,CAAC;IAC3D,CAAC;IAED,kBAAkB;IAClB,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,YAAY,CAAC,2CAA2C,CAAC,CAAC;IACtE,CAAC;IAED,6BAA6B;IAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACzC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,YAAY,CAAC,yCAAyC,CAAC,CAAC;IACpE,CAAC;IAED,iBAAiB;IACjB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,YAAY,CAAC,6BAA6B,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,OAAQ,KAAiC,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,IAAI,YAAY,CAAC,6CAA6C,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,GAAsC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAwB;IAC3D,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAChE,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS,CAAC,kBAAkB;QAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,EAAwB;IAClD,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;AACtB,CAAC"}

package/dist/sdk/src/verifier.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Client-side proof verification for REPUTRANS Arbiters.
+ *
+ * Uses @noir-lang/backend_barretenberg to verify proofs locally
+ * (useful for testing/development and off-chain verification).
+ */
+import type { CompiledCircuit } from './prover.js';
+import type { ProofResponse } from './proof-request.js';
+export interface Verifier {
+    /** Verify a proof response. Returns true if valid. */
+    verifyProof(response: ProofResponse): Promise<boolean>;
+    /** Destroy the verifier and free WASM resources. */
+    destroy(): Promise<void>;
+}
+/**
+ * Create a verifier instance from a compiled circuit JSON.
+ */
+export declare function createVerifier(circuit: CompiledCircuit): Promise<Verifier>;
+//# sourceMappingURL=verifier.d.ts.map

package/dist/sdk/src/verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../../sdk/src/verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,WAAW,QAAQ;IACvB,sDAAsD;IACtD,WAAW,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvD,oDAAoD;IACpD,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED;;GAEG;AACH,wBAAsB,cAAc,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,CAqBhF"}

package/dist/sdk/src/verifier.js

@@ -0,0 +1,31 @@
+/**
+ * Client-side proof verification for REPUTRANS Arbiters.
+ *
+ * Uses @noir-lang/backend_barretenberg to verify proofs locally
+ * (useful for testing/development and off-chain verification).
+ */
+/**
+ * Create a verifier instance from a compiled circuit JSON.
+ */
+export async function createVerifier(circuit) {
+    const { BarretenbergBackend } = await import('@noir-lang/backend_barretenberg');
+    const backend = new BarretenbergBackend(circuit);
+    return {
+        async verifyProof(response) {
+            try {
+                const result = await backend.verifyProof({
+                    proof: response.proof,
+                    publicInputs: response.publicInputs,
+                });
+                return result;
+            }
+            catch {
+                return false;
+            }
+        },
+        async destroy() {
+            await backend.destroy?.();
+        },
+    };
+}
+//# sourceMappingURL=verifier.js.map

package/dist/sdk/src/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../../sdk/src/verifier.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAwB;IAC3D,MAAM,EAAE,mBAAmB,EAAE,GAAG,MAAM,MAAM,CAAC,iCAAiC,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,IAAI,mBAAmB,CAAC,OAAc,CAAC,CAAC;IAExD,OAAO;QACL,KAAK,CAAC,WAAW,CAAC,QAAuB;YACvC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC;oBACvC,KAAK,EAAE,QAAQ,CAAC,KAAK;oBACrB,YAAY,EAAE,QAAQ,CAAC,YAAY;iBACpC,CAAC,CAAC;gBACH,OAAO,MAAM,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,KAAK,CAAC,OAAO;YACX,MAAO,OAAe,CAAC,OAAO,EAAE,EAAE,CAAC;QACrC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/verifier/src/did-resolver.d.ts

@@ -0,0 +1,36 @@
+/**
+ * DID resolver for Arbiter use - resolves DIDs to EdDSA public keys.
+ * Supports did:key and did:web methods.
+ */
+export interface EdDSAPublicKey {
+    ax: bigint;
+    ay: bigint;
+}
+export interface DIDDocument {
+    id: string;
+    verificationMethod?: VerificationMethod[];
+}
+export interface VerificationMethod {
+    id: string;
+    type: string;
+    controller: string;
+    publicKeyMultibase?: string;
+    publicKeyJwk?: Record<string, string>;
+}
+export declare class DIDResolver {
+    private cache;
+    private ttlMs;
+    constructor(ttlMs?: number);
+    /**
+     * Resolve a DID to its document.
+     */
+    resolve(did: string): Promise<DIDDocument>;
+    /**
+     * Resolve a DID and extract the EdDSA Baby Jubjub public key (Ax, Ay).
+     * Looks for a verification method with type BabyJubJubKey2021 or EdDSABabyJubJubVerificationKey.
+     */
+    getEdDSAPublicKey(did: string): Promise<EdDSAPublicKey>;
+    clearCache(): void;
+}
+export declare const defaultResolver: DIDResolver;
+//# sourceMappingURL=did-resolver.d.ts.map

package/dist/verifier/src/did-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"did-resolver.d.ts","sourceRoot":"","sources":["../../../verifier/src/did-resolver.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,kBAAkB,CAAC,EAAE,kBAAkB,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC;AASD,qBAAa,WAAW;IACtB,OAAO,CAAC,KAAK,CAAiC;IAC9C,OAAO,CAAC,KAAK,CAAS;gBAEV,KAAK,SAAiB;IAIlC;;OAEG;IACG,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IAmBhD;;;OAGG;IACG,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC;IAuB7D,UAAU,IAAI,IAAI;CAGnB;AA0ID,eAAO,MAAM,eAAe,aAAoB,CAAC"}

package/dist/verifier/src/did-resolver.js

@@ -0,0 +1,179 @@
+/**
+ * DID resolver for Arbiter use - resolves DIDs to EdDSA public keys.
+ * Supports did:key and did:web methods.
+ */
+const DEFAULT_TTL_MS = 5 * 60 * 1000; // 5 minutes
+export class DIDResolver {
+    cache = new Map();
+    ttlMs;
+    constructor(ttlMs = DEFAULT_TTL_MS) {
+        this.ttlMs = ttlMs;
+    }
+    /**
+     * Resolve a DID to its document.
+     */
+    async resolve(did) {
+        const cached = this.cache.get(did);
+        if (cached && cached.expiresAt > Date.now()) {
+            return cached.doc;
+        }
+        let doc;
+        if (did.startsWith('did:key:')) {
+            doc = resolveDIDKey(did);
+        }
+        else if (did.startsWith('did:web:')) {
+            doc = await resolveDIDWeb(did);
+        }
+        else {
+            throw new Error(`Unsupported DID method: ${did}`);
+        }
+        this.cache.set(did, { doc, expiresAt: Date.now() + this.ttlMs });
+        return doc;
+    }
+    /**
+     * Resolve a DID and extract the EdDSA Baby Jubjub public key (Ax, Ay).
+     * Looks for a verification method with type BabyJubJubKey2021 or EdDSABabyJubJubVerificationKey.
+     */
+    async getEdDSAPublicKey(did) {
+        const doc = await this.resolve(did);
+        const methods = doc.verificationMethod ?? [];
+        for (const method of methods) {
+            if (method.type === 'BabyJubJubKey2021' ||
+                method.type === 'EdDSABabyJubJubVerificationKey') {
+                return extractBabyJubJubKey(method);
+            }
+        }
+        // Fall back: look for any key with JWK crv=BabyJubJub
+        for (const method of methods) {
+            if (method.publicKeyJwk?.crv === 'BabyJubJub') {
+                return extractBabyJubJubKey(method);
+            }
+        }
+        throw new Error(`No BabyJubJub verification key found in DID document: ${did}`);
+    }
+    clearCache() {
+        this.cache.clear();
+    }
+}
+// -- did:key resolution --
+/**
+ * Resolve a did:key DID.
+ * For BabyJubJub keys the multibase identifier uses the 0xed01 multicodec prefix (draft).
+ * This constructs a minimal DID document; callers embed Ax/Ay in publicKeyMultibase.
+ */
+function resolveDIDKey(did) {
+    const id = did;
+    const keyId = `${did}#${did.slice('did:key:'.length)}`;
+    return {
+        id,
+        verificationMethod: [
+            {
+                id: keyId,
+                type: 'BabyJubJubKey2021',
+                controller: id,
+                publicKeyMultibase: did.slice('did:key:'.length),
+            },
+        ],
+    };
+}
+// -- did:web resolution --
+async function resolveDIDWeb(did) {
+    // did:web:example.com -> https://example.com/.well-known/did.json
+    // did:web:example.com:path:sub -> https://example.com/path/sub/did.json
+    const withoutPrefix = did.slice('did:web:'.length);
+    const parts = withoutPrefix.split(':');
+    const host = decodeURIComponent(parts[0]);
+    let urlPath;
+    if (parts.length === 1) {
+        urlPath = '/.well-known/did.json';
+    }
+    else {
+        urlPath = '/' + parts.slice(1).map(decodeURIComponent).join('/') + '/did.json';
+    }
+    const url = `https://${host}${urlPath}`;
+    const response = await fetch(url, {
+        headers: { Accept: 'application/json' },
+        signal: AbortSignal.timeout(10_000),
+    });
+    if (!response.ok) {
+        throw new Error(`did:web fetch failed for ${url}: HTTP ${response.status}`);
+    }
+    const doc = (await response.json());
+    if (doc.id !== did) {
+        throw new Error(`did:web document id mismatch: got ${doc.id}, expected ${did}`);
+    }
+    return doc;
+}
+// -- Key extraction --
+/**
+ * Extract Ax, Ay from a verification method.
+ * Expects publicKeyMultibase as "z" + base58(concat(Ax_le_32bytes, Ay_le_32bytes))
+ * OR publicKeyJwk with x and y as base64url-encoded 32-byte little-endian values.
+ */
+function extractBabyJubJubKey(method) {
+    if (method.publicKeyJwk) {
+        const { x, y } = method.publicKeyJwk;
+        if (!x || !y)
+            throw new Error('JWK missing x or y');
+        return {
+            ax: base64urlToBigintLE(x),
+            ay: base64urlToBigintLE(y),
+        };
+    }
+    if (method.publicKeyMultibase) {
+        const mb = method.publicKeyMultibase;
+        if (!mb.startsWith('z')) {
+            throw new Error('Only base58btc (z prefix) multibase supported for BabyJubJub keys');
+        }
+        const bytes = base58Decode(mb.slice(1));
+        // Strip 2-byte multicodec prefix if present
+        const keyBytes = bytes.length === 66 ? bytes.slice(2) : bytes;
+        if (keyBytes.length !== 64) {
+            throw new Error(`Expected 64 key bytes, got ${keyBytes.length}`);
+        }
+        const ax = bytesToBigintLE(keyBytes.slice(0, 32));
+        const ay = bytesToBigintLE(keyBytes.slice(32, 64));
+        return { ax, ay };
+    }
+    throw new Error('No supported key encoding in verification method');
+}
+// -- Encoding helpers --
+function base64urlToBigintLE(b64url) {
+    const b64 = b64url.replace(/-/g, '+').replace(/_/g, '/');
+    const binary = atob(b64);
+    const bytes = Uint8Array.from(binary, (c) => c.charCodeAt(0));
+    return bytesToBigintLE(bytes);
+}
+function bytesToBigintLE(bytes) {
+    let result = 0n;
+    for (let i = bytes.length - 1; i >= 0; i--) {
+        result = (result << 8n) | BigInt(bytes[i]);
+    }
+    return result;
+}
+const BASE58_ALPHABET = '123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz';
+function base58Decode(input) {
+    let num = 0n;
+    for (const char of input) {
+        const idx = BASE58_ALPHABET.indexOf(char);
+        if (idx === -1)
+            throw new Error(`Invalid base58 character: ${char}`);
+        num = num * 58n + BigInt(idx);
+    }
+    const bytes = [];
+    while (num > 0n) {
+        bytes.unshift(Number(num & 0xffn));
+        num >>= 8n;
+    }
+    // Leading zeros
+    for (const char of input) {
+        if (char === '1')
+            bytes.unshift(0);
+        else
+            break;
+    }
+    return Uint8Array.from(bytes);
+}
+// Default singleton resolver
+export const defaultResolver = new DIDResolver();
+//# sourceMappingURL=did-resolver.js.map

package/dist/verifier/src/did-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"did-resolver.js","sourceRoot":"","sources":["../../../verifier/src/did-resolver.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAyBH,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,YAAY;AAElD,MAAM,OAAO,WAAW;IACd,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IACtC,KAAK,CAAS;IAEtB,YAAY,KAAK,GAAG,cAAc;QAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,OAAO,CAAC,GAAW;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,IAAI,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QAED,IAAI,GAAgB,CAAC;QACrB,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/B,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACtC,GAAG,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,2BAA2B,GAAG,EAAE,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,iBAAiB,CAAC,GAAW;QACjC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,GAAG,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAE7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBACnC,MAAM,CAAC,IAAI,KAAK,gCAAgC,EAChD,CAAC;gBACD,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,YAAY,EAAE,GAAG,KAAK,YAAY,EAAE,CAAC;gBAC9C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,yDAAyD,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,UAAU;QACR,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;CACF;AAED,2BAA2B;AAE3B;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW;IAChC,MAAM,EAAE,GAAG,GAAG,CAAC;IACf,MAAM,KAAK,GAAG,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;IAEvD,OAAO;QACL,EAAE;QACF,kBAAkB,EAAE;YAClB;gBACE,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,EAAE;gBACd,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;aACjD;SACF;KACF,CAAC;AACJ,CAAC;AAED,2BAA2B;AAE3B,KAAK,UAAU,aAAa,CAAC,GAAW;IACtC,kEAAkE;IAClE,wEAAwE;IACxE,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1C,IAAI,OAAe,CAAC;IACpB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,uBAAuB,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;IACjF,CAAC;IAED,MAAM,GAAG,GAAG,WAAW,IAAI,GAAG,OAAO,EAAE,CAAC;IAExC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;QAChC,OAAO,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE;QACvC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;KACpC,CAAC,CAAC;IAEH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,GAAG,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAgB,CAAC;IAEnD,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,CAAC,EAAE,cAAc,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uBAAuB;AAEvB;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,MAA0B;IACtD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACxB,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC;QACrC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACpD,OAAO;YACL,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;YAC1B,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;SAC3B,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,kBAAkB,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACnD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;IACpB,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;AACtE,CAAC;AAED,yBAAyB;AAEzB,SAAS,mBAAmB,CAAC,MAAc;IACzC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CAAC,KAAiB;IACxC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,eAAe,GAAG,4DAA4D,CAAC;AAErF,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,EAAE,CAAC,CAAC;QACrE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,GAAG,GAAG,EAAE,EAAE,CAAC;QAChB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC;QACnC,GAAG,KAAK,EAAE,CAAC;IACb,CAAC;IACD,gBAAgB;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;;YAC9B,MAAM;IACb,CAAC;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,6BAA6B;AAC7B,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,WAAW,EAAE,CAAC"}

package/dist/verifier/src/index.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/verifier/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../verifier/src/index.ts"],"names":[],"mappings":""}

package/dist/verifier/src/index.js

@@ -0,0 +1,9 @@
+import { createServer } from './server.js';
+const PORT = parseInt(process.env.PORT ?? '3000', 10);
+const LOG_LEVEL = process.env.LOG_LEVEL ?? 'info';
+const CIRCUIT_PATH = process.env.CIRCUIT_PATH ?? '../circuits';
+const app = createServer({ logLevel: LOG_LEVEL, circuitPath: CIRCUIT_PATH });
+app.listen(PORT, () => {
+    console.log(`[reputrans-verifier] listening on port ${PORT}`);
+});
+//# sourceMappingURL=index.js.map

package/dist/verifier/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../verifier/src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,EAAE,CAAC,CAAC;AACtD,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC;AAClD,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,aAAa,CAAC;AAE/D,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC;AAE7E,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE;IACpB,OAAO,CAAC,GAAG,CAAC,0CAA0C,IAAI,EAAE,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC"}

package/dist/verifier/src/server.d.ts

@@ -0,0 +1,6 @@
+export interface ServerConfig {
+    logLevel: string;
+    circuitPath: string;
+}
+export declare function createServer(config: ServerConfig): import("express-serve-static-core").Express;
+//# sourceMappingURL=server.d.ts.map

package/dist/verifier/src/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../../verifier/src/server.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,+CAgFhD"}

package/dist/verifier/src/server.js

@@ -0,0 +1,75 @@
+import express from 'express';
+import cors from 'cors';
+import rateLimit from 'express-rate-limit';
+import { verifyProof, listCircuits } from './verify.js';
+const START_TIME = Date.now();
+export function createServer(config) {
+    const app = express();
+    const corsOrigins = process.env.CORS_ORIGINS?.split(',') || false;
+    app.use(cors({ origin: corsOrigins }));
+    app.use(express.json());
+    const verifyLimiter = rateLimit({
+        windowMs: 60 * 1000,
+        max: 20,
+        standardHeaders: true,
+        legacyHeaders: false,
+        message: { valid: false, error: 'Too many verification requests, try again later' },
+    });
+    // Minimal request logging
+    app.use((req, _res, next) => {
+        if (config.logLevel !== 'silent') {
+            console.log(`[${new Date().toISOString()}] ${req.method} ${req.path}`);
+        }
+        next();
+    });
+    // GET /status - health check
+    app.get('/status', (_req, res) => {
+        res.json({
+            status: 'ok',
+            version: '0.1.0',
+            uptime: Math.floor((Date.now() - START_TIME) / 1000),
+        });
+    });
+    // GET /circuits - list available circuits and their verification keys
+    app.get('/circuits', async (_req, res) => {
+        try {
+            const circuits = await listCircuits(config.circuitPath);
+            res.json({ circuits });
+        }
+        catch (err) {
+            res.status(500).json({ error: 'Failed to list circuits' });
+        }
+    });
+    // POST /verify - verify a Barretenberg proof
+    app.post('/verify', verifyLimiter, async (req, res) => {
+        const { proof, publicInputs, circuitType } = req.body;
+        if (!proof || typeof proof !== 'string') {
+            res.status(400).json({ valid: false, error: 'proof is required (hex string)' });
+            return;
+        }
+        if (!Array.isArray(publicInputs)) {
+            res.status(400).json({ valid: false, error: 'publicInputs is required (string[])' });
+            return;
+        }
+        try {
+            const valid = await verifyProof({
+                proof,
+                publicInputs,
+                circuitType,
+                circuitPath: config.circuitPath,
+            });
+            res.json({ valid });
+        }
+        catch (err) {
+            const message = err instanceof Error ? err.message : 'verification failed';
+            res.status(400).json({ valid: false, error: message });
+        }
+    });
+    // Error handling middleware
+    app.use((err, _req, res, _next) => {
+        console.error('[reputrans-verifier] unhandled error:', err);
+        res.status(500).json({ error: 'internal server error' });
+    });
+    return app;
+}
+//# sourceMappingURL=server.js.map

package/dist/verifier/src/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../../../verifier/src/server.ts"],"names":[],"mappings":"AAAA,OAAO,OAA4C,MAAM,SAAS,CAAC;AACnE,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,SAAS,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAExD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;AAO9B,MAAM,UAAU,YAAY,CAAC,MAAoB;IAC/C,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IAEtB,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC;IAClE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IACvC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAExB,MAAM,aAAa,GAAG,SAAS,CAAC;QAC9B,QAAQ,EAAE,EAAE,GAAG,IAAI;QACnB,GAAG,EAAE,EAAE;QACP,eAAe,EAAE,IAAI;QACrB,aAAa,EAAE,KAAK;QACpB,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,iDAAiD,EAAE;KACpF,CAAC,CAAC;IAEH,0BAA0B;IAC1B,GAAG,CAAC,GAAG,CAAC,CAAC,GAAY,EAAE,IAAc,EAAE,IAAkB,EAAE,EAAE;QAC3D,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;IAEH,6BAA6B;IAC7B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,IAAa,EAAE,GAAa,EAAE,EAAE;QAClD,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,UAAU,CAAC,GAAG,IAAI,CAAC;SACrD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,sEAAsE;IACtE,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,EAAE,IAAa,EAAE,GAAa,EAAE,EAAE;QAC1D,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACxD,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,yBAAyB,EAAE,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,6CAA6C;IAC7C,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,GAAY,EAAE,GAAa,EAAE,EAAE;QACvE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,IAIhD,CAAC;QAEF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACxC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,gCAAgC,EAAE,CAAC,CAAC;YAChF,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,qCAAqC,EAAE,CAAC,CAAC;YACrF,OAAO;QACT,CAAC;QAED,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC;gBAC9B,KAAK;gBACL,YAAY;gBACZ,WAAW;gBACX,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACtB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC;YAC3E,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,4BAA4B;IAC5B,GAAG,CAAC,GAAG,CAAC,CAAC,GAAU,EAAE,IAAa,EAAE,GAAa,EAAE,KAAmB,EAAE,EAAE;QACxE,OAAO,CAAC,KAAK,CAAC,uCAAuC,EAAE,GAAG,CAAC,CAAC;QAC5D,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/verifier/src/verify.d.ts

@@ -0,0 +1,20 @@
+export interface VerifyRequest {
+    proof: string;
+    publicInputs: string[];
+    circuitType?: string;
+    circuitPath: string;
+}
+export interface CircuitInfo {
+    name: string;
+    hasVerificationKey: boolean;
+    expectedPublicInputs: number | null;
+}
+/**
+ * Verify a Barretenberg (UltraHonk) proof against the named circuit.
+ */
+export declare function verifyProof(req: VerifyRequest): Promise<boolean>;
+/**
+ * List available circuits and whether their compiled artifacts exist.
+ */
+export declare function listCircuits(circuitPath: string): Promise<CircuitInfo[]>;
+//# sourceMappingURL=verify.d.ts.map

package/dist/verifier/src/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../../verifier/src/verify.ts"],"names":[],"mappings":"AAaA,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,EAAE,OAAO,CAAC;IAC5B,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAqBD;;GAEG;AACH,wBAAsB,WAAW,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAwCtE;AAED;;GAEG;AACH,wBAAsB,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,CA0B9E"}

package/dist/verifier/src/verify.js

@@ -0,0 +1,97 @@
+import { readFile, readdir } from 'fs/promises';
+import path from 'path';
+import { UltraHonkBackend } from '@noir-lang/backend_barretenberg';
+// Circuit types and the number of public inputs each expects (used for inference)
+const CIRCUIT_PUBLIC_INPUT_COUNTS = {
+    composite: 8,
+    signature_verify: 5,
+    field_disclosure: 3,
+    range_proof: 2,
+};
+/**
+ * Infer circuit type from public input count when not explicitly provided.
+ */
+function inferCircuitType(publicInputCount) {
+    for (const [name, count] of Object.entries(CIRCUIT_PUBLIC_INPUT_COUNTS)) {
+        if (count === publicInputCount)
+            return name;
+    }
+    return null;
+}
+/**
+ * Load the compiled circuit artifact (circuit.json) for a given circuit type.
+ */
+async function loadCircuit(circuitPath, circuitType) {
+    const artifactPath = path.resolve(circuitPath, circuitType, 'target', `${circuitType}.json`);
+    const raw = await readFile(artifactPath, 'utf-8');
+    return JSON.parse(raw);
+}
+/**
+ * Verify a Barretenberg (UltraHonk) proof against the named circuit.
+ */
+export async function verifyProof(req) {
+    const { proof, publicInputs, circuitPath } = req;
+    // Determine and sanitize circuit type
+    let circuitType = req.circuitType;
+    if (circuitType && !/^[a-z_]+$/.test(circuitType)) {
+        throw new Error('Invalid circuitType: must match /^[a-z_]+$/');
+    }
+    if (!circuitType) {
+        const inferred = inferCircuitType(publicInputs.length);
+        if (!inferred) {
+            throw new Error(`Cannot infer circuit type from ${publicInputs.length} public inputs. ` +
+                `Provide circuitType explicitly. Known counts: ${JSON.stringify(CIRCUIT_PUBLIC_INPUT_COUNTS)}`);
+        }
+        circuitType = inferred;
+    }
+    const artifact = await loadCircuit(circuitPath, circuitType);
+    // Decode hex proof to Uint8Array
+    const proofHex = proof.startsWith('0x') ? proof.slice(2) : proof;
+    if (proofHex.length % 2 !== 0) {
+        throw new Error('proof hex string has odd length');
+    }
+    const proofBytes = Uint8Array.from(proofHex.match(/.{2}/g).map((b) => parseInt(b, 16)));
+    const backend = new UltraHonkBackend(artifact);
+    try {
+        const valid = await backend.verifyProof({
+            proof: proofBytes,
+            publicInputs,
+        });
+        return valid;
+    }
+    finally {
+        await backend.destroy();
+    }
+}
+/**
+ * List available circuits and whether their compiled artifacts exist.
+ */
+export async function listCircuits(circuitPath) {
+    const resolved = path.resolve(circuitPath);
+    let entries;
+    try {
+        entries = await readdir(resolved);
+    }
+    catch {
+        return [];
+    }
+    const results = [];
+    for (const entry of entries) {
+        const artifactPath = path.join(resolved, entry, 'target', `${entry}.json`);
+        let hasVk = false;
+        try {
+            await readFile(artifactPath);
+            hasVk = true;
+        }
+        catch {
+            // artifact not compiled yet
+        }
+        results.push({
+            name: entry,
+            hasVerificationKey: hasVk,
+            expectedPublicInputs: CIRCUIT_PUBLIC_INPUT_COUNTS[entry] ?? null,
+        });
+    }
+    return results;
+}
+//# sourceMappingURL=verify.js.map

package/dist/verifier/src/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../../verifier/src/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAGnE,kFAAkF;AAClF,MAAM,2BAA2B,GAA2B;IAC1D,SAAS,EAAE,CAAC;IACZ,gBAAgB,EAAE,CAAC;IACnB,gBAAgB,EAAE,CAAC;IACnB,WAAW,EAAE,CAAC;CACf,CAAC;AAeF;;GAEG;AACH,SAAS,gBAAgB,CAAC,gBAAwB;IAChD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC,EAAE,CAAC;QACxE,IAAI,KAAK,KAAK,gBAAgB;YAAE,OAAO,IAAI,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,WAAW,CAAC,WAAmB,EAAE,WAAmB;IACjE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,WAAW,OAAO,CAAC,CAAC;IAC7F,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAkB;IAClD,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC;IAEjD,sCAAsC;IACtC,IAAI,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IAClC,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CACb,kCAAkC,YAAY,CAAC,MAAM,kBAAkB;gBACrE,iDAAiD,IAAI,CAAC,SAAS,CAAC,2BAA2B,CAAC,EAAE,CACjG,CAAC;QACJ,CAAC;QACD,WAAW,GAAG,QAAQ,CAAC;IACzB,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAE7D,iCAAiC;IACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACjE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAChC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CACrD,CAAC;IAEF,MAAM,OAAO,GAAG,IAAI,gBAAgB,CAAC,QAA0C,CAAC,CAAC;IACjF,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC;YACtC,KAAK,EAAE,UAAU;YACjB,YAAY;SACb,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,WAAmB;IACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;QAC3E,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,CAAC;YACH,MAAM,QAAQ,CAAC,YAAY,CAAC,CAAC;YAC7B,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QAAC,MAAM,CAAC;YACP,4BAA4B;QAC9B,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,KAAK;YACX,kBAAkB,EAAE,KAAK;YACzB,oBAAoB,EAAE,2BAA2B,CAAC,KAAK,CAAC,IAAI,IAAI;SACjE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}