@opaquecash/psr-prover 0.1.0 → 0.2.1

package/dist/defaultReputationArtifacts.d.ts

@@ -1,10 +1,10 @@
 import type { ArtifactPaths } from "./prove.js";
 /**
- * Host for reputation Groth16 assets (same `/circuits/...` paths as the Opaque frontend).
+ * Host for reputation Groth16 assets (same `/circuits/v2/...` paths as the Opaque frontend).
  */
 export declare const DEFAULT_REPUTATION_ARTIFACTS_ORIGIN = "https://www.opaque.cash";
 /**
- * Default wasm + zkey URLs for `generateReputationProof` when `artifacts` is omitted.
+ * Default V2 wasm + zkey URLs for `generateReputationProof` when `artifacts` is omitted.
  */
 export declare const DEFAULT_REPUTATION_ARTIFACT_PATHS: ArtifactPaths;
 //# sourceMappingURL=defaultReputationArtifacts.d.ts.map

package/dist/defaultReputationArtifacts.js

@@ -1,12 +1,12 @@
 /**
- * Host for reputation Groth16 assets (same `/circuits/...` paths as the Opaque frontend).
+ * Host for reputation Groth16 assets (same `/circuits/v2/...` paths as the Opaque frontend).
  */
 export const DEFAULT_REPUTATION_ARTIFACTS_ORIGIN = "https://www.opaque.cash";
 /**
- * Default wasm + zkey URLs for `generateReputationProof` when `artifacts` is omitted.
+ * Default V2 wasm + zkey URLs for `generateReputationProof` when `artifacts` is omitted.
  */
 export const DEFAULT_REPUTATION_ARTIFACT_PATHS = {
-    wasmPath: `${DEFAULT_REPUTATION_ARTIFACTS_ORIGIN}/circuits/stealth_attestation_js/stealth_attestation.wasm`,
-    zkeyPath: `${DEFAULT_REPUTATION_ARTIFACTS_ORIGIN}/circuits/sa_final.zkey`,
+    wasmPath: `${DEFAULT_REPUTATION_ARTIFACTS_ORIGIN}/circuits/v2/stealth_reputation.wasm`,
+    zkeyPath: `${DEFAULT_REPUTATION_ARTIFACTS_ORIGIN}/circuits/v2/stealth_reputation_final.zkey`,
 };
 //# sourceMappingURL=defaultReputationArtifacts.js.map

package/dist/defaultReputationArtifacts.js.map

@@ -1 +1 @@
-{"version":3,"file":"defaultReputationArtifacts.js","sourceRoot":"","sources":["../src/defaultReputationArtifacts.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,yBAAyB,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAkB;IAC9D,QAAQ,EAAE,GAAG,mCAAmC,2DAA2D;IAC3G,QAAQ,EAAE,GAAG,mCAAmC,yBAAyB;CAC1E,CAAC"}
+{"version":3,"file":"defaultReputationArtifacts.js","sourceRoot":"","sources":["../src/defaultReputationArtifacts.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,yBAAyB,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAkB;IAC9D,QAAQ,EAAE,GAAG,mCAAmC,sCAAsC;IACtF,QAAQ,EAAE,GAAG,mCAAmC,4CAA4C;CAC7F,CAAC"}

package/dist/index.d.ts

@@ -1,12 +1,13 @@
 /**
- * `@opaquecash/psr-prover` — witness construction and Groth16 proving for the stealth attestation circuit.
+ * `@opaquecash/psr-prover` — witness construction and Groth16 proving for the V2
+ * `stealth_reputation` circuit.
  *
  * Depends on `snarkjs` and `circomlibjs`; browser apps should polyfill `Buffer` (see {@link ensureBufferPolyfill}).
  *
  * @packageDocumentation
  */
-export type { CircuitWitness } from "./witness.js";
-export { buildWitnessCircuitConsistent, buildWitnessFromWasm, ensureBufferPolyfill, } from "./witness.js";
+export type { CircuitWitness, BuildWitnessV2Params } from "./witness.js";
+export { buildWitnessV2, ensureBufferPolyfill, } from "./witness.js";
 export type { ArtifactPaths, ProofProgressCallback } from "./prove.js";
 export { generateGroth16Proof, verifyProofLocally, } from "./prove.js";
 export { DEFAULT_REPUTATION_ARTIFACT_PATHS, DEFAULT_REPUTATION_ARTIFACTS_ORIGIN, } from "./defaultReputationArtifacts.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,YAAY,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,YAAY,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EACL,cAAc,EACd,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAEtB,YAAY,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -1,11 +1,12 @@
 /**
- * `@opaquecash/psr-prover` — witness construction and Groth16 proving for the stealth attestation circuit.
+ * `@opaquecash/psr-prover` — witness construction and Groth16 proving for the V2
+ * `stealth_reputation` circuit.
  *
  * Depends on `snarkjs` and `circomlibjs`; browser apps should polyfill `Buffer` (see {@link ensureBufferPolyfill}).
  *
  * @packageDocumentation
  */
-export { buildWitnessCircuitConsistent, buildWitnessFromWasm, ensureBufferPolyfill, } from "./witness.js";
+export { buildWitnessV2, ensureBufferPolyfill, } from "./witness.js";
 export { generateGroth16Proof, verifyProofLocally, } from "./prove.js";
 export { DEFAULT_REPUTATION_ARTIFACT_PATHS, DEFAULT_REPUTATION_ARTIFACTS_ORIGIN, } from "./defaultReputationArtifacts.js";
 export { generateReputationProof } from "./pipeline.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EACL,cAAc,EACd,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC"}

package/dist/pipeline.d.ts

@@ -1,32 +1,34 @@
 import type { DiscoveredTrait, ProofData } from "@opaquecash/psr-core";
-import type { StealthWasmModule } from "@opaquecash/stealth-wasm";
 import type { ArtifactPaths, ProofProgressCallback } from "./prove.js";
 /**
  * High-level inputs for {@link generateReputationProof}.
  */
 export interface GenerateReputationProofParams {
-    /** Initialized WASM module. */
-    wasm: StealthWasmModule;
     /** Trait to prove (from scanner). */
     trait: DiscoveredTrait;
-    /**
-     * When set, witness is built via Rust `generate_reputation_witness` using this JSON string.
-     * Otherwise {@link buildWitnessCircuitConsistent} is used (zero-hash tree dev mode).
-     */
-    attestationsJson?: string;
     /** 32-byte reconstructed one-time stealth private key for the trait output. */
     stealthPrivKeyBytes: Uint8Array;
-    /** External nullifier as decimal string (see {@link externalNullifierFromScope} in `@opaquecash/psr-core`). */
+    /** External nullifier as decimal string (see `externalNullifierFromScope` in `@opaquecash/psr-core`). */
     externalNullifier: string;
+    /** Issuer's BabyJubJub x-coordinate (field element). Omit for the deterministic dev-mode value. */
+    issuerPkX?: string | bigint;
+    /** Poseidon hash of the attestation data payload. Omit for the deterministic dev-mode value. */
+    traitDataHash?: string | bigint;
+    /** Leaf-blinding secret from issuance. Omit for the deterministic dev-mode value. */
+    nonce?: string | bigint;
     /**
-     * Circom wasm + zkey paths/URLs.
-     * Defaults to {@link DEFAULT_REPUTATION_ARTIFACT_PATHS} (opaque.cash).
+     * Circom V2 wasm + zkey paths/URLs.
+     * Defaults to {@link DEFAULT_REPUTATION_ARTIFACT_PATHS} (opaque.cash, `/circuits/v2/...`).
      */
     artifacts?: ArtifactPaths;
     onProgress?: ProofProgressCallback;
 }
 /**
- * End-to-end: build witness (WASM or circomlib placeholder tree) + Groth16 prove.
+ * End-to-end V2 prove: build the dev-mode zero-hash-tree witness, then Groth16 prove.
+ *
+ * The returned proof's public signals are
+ * `[merkle_root, attestation_id, external_nullifier, nullifier_hash]`; submit
+ * `publicSignals[0]` as the Merkle root after registering it with the verifier admin.
  */
 export declare function generateReputationProof(params: GenerateReputationProofParams): Promise<ProofData>;
 //# sourceMappingURL=pipeline.d.ts.map

package/dist/pipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../src/pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAQvE;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,+BAA+B;IAC/B,IAAI,EAAE,iBAAiB,CAAC;IACxB,qCAAqC;IACrC,KAAK,EAAE,eAAe,CAAC;IACvB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,mBAAmB,EAAE,UAAU,CAAC;IAChC,+GAA+G;IAC/G,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,UAAU,CAAC,EAAE,qBAAqB,CAAC;CACpC;AAED;;GAEG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,6BAA6B,GACpC,OAAO,CAAC,SAAS,CAAC,CAyBpB"}
+{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../src/pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,KAAK,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAIvE;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,qCAAqC;IACrC,KAAK,EAAE,eAAe,CAAC;IACvB,+EAA+E;IAC/E,mBAAmB,EAAE,UAAU,CAAC;IAChC,yGAAyG;IACzG,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mGAAmG;IACnG,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,qFAAqF;IACrF,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB;;;OAGG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,UAAU,CAAC,EAAE,qBAAqB,CAAC;CACpC;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,6BAA6B,GACpC,OAAO,CAAC,SAAS,CAAC,CAgBpB"}

package/dist/pipeline.js

@@ -1,20 +1,24 @@
 import { DEFAULT_REPUTATION_ARTIFACT_PATHS } from "./defaultReputationArtifacts.js";
 import { generateGroth16Proof } from "./prove.js";
-import { buildWitnessCircuitConsistent, buildWitnessFromWasm, } from "./witness.js";
+import { buildWitnessV2 } from "./witness.js";
 /**
- * End-to-end: build witness (WASM or circomlib placeholder tree) + Groth16 prove.
+ * End-to-end V2 prove: build the dev-mode zero-hash-tree witness, then Groth16 prove.
+ *
+ * The returned proof's public signals are
+ * `[merkle_root, attestation_id, external_nullifier, nullifier_hash]`; submit
+ * `publicSignals[0]` as the Merkle root after registering it with the verifier admin.
  */
 export async function generateReputationProof(params) {
     params.onProgress?.("preparing-witness", 5);
-    let witness;
-    if (params.attestationsJson !== undefined) {
-        witness = buildWitnessFromWasm(params.wasm, params.attestationsJson, String(params.trait.attestationId), params.stealthPrivKeyBytes, params.externalNullifier);
-        params.onProgress?.("preparing-witness", 60);
-    }
-    else {
-        witness = await buildWitnessCircuitConsistent(params.trait.attestationId, params.stealthPrivKeyBytes, params.externalNullifier);
-        params.onProgress?.("preparing-witness", 60);
-    }
+    const witness = await buildWitnessV2({
+        attestationId: params.trait.attestationId,
+        stealthPrivKeyBytes: params.stealthPrivKeyBytes,
+        externalNullifier: params.externalNullifier,
+        issuerPkX: params.issuerPkX,
+        traitDataHash: params.traitDataHash,
+        nonce: params.nonce,
+    });
+    params.onProgress?.("preparing-witness", 60);
     return generateGroth16Proof(witness, params.artifacts ?? DEFAULT_REPUTATION_ARTIFACT_PATHS, params.onProgress);
 }
 //# sourceMappingURL=pipeline.js.map

package/dist/pipeline.js.map

@@ -1 +1 @@
-{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../src/pipeline.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iCAAiC,EAAE,MAAM,iCAAiC,CAAC;AAEpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,GAErB,MAAM,cAAc,CAAC;AA2BtB;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAqC;IAErC,MAAM,CAAC,UAAU,EAAE,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;IAC5C,IAAI,OAAuB,CAAC;IAC5B,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,GAAG,oBAAoB,CAC5B,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,EAClC,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,iBAAiB,CACzB,CAAC;QACF,MAAM,CAAC,UAAU,EAAE,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,MAAM,6BAA6B,CAC3C,MAAM,CAAC,KAAK,CAAC,aAAa,EAC1B,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,iBAAiB,CACzB,CAAC;QACF,MAAM,CAAC,UAAU,EAAE,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,oBAAoB,CACzB,OAAO,EACP,MAAM,CAAC,SAAS,IAAI,iCAAiC,EACrD,MAAM,CAAC,UAAU,CAClB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../src/pipeline.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iCAAiC,EAAE,MAAM,iCAAiC,CAAC;AAEpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AA0B9C;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAqC;IAErC,MAAM,CAAC,UAAU,EAAE,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC;QACnC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa;QACzC,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;QAC/C,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,KAAK,EAAE,MAAM,CAAC,KAAK;KACpB,CAAC,CAAC;IACH,MAAM,CAAC,UAAU,EAAE,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,oBAAoB,CACzB,OAAO,EACP,MAAM,CAAC,SAAS,IAAI,iCAAiC,EACrD,MAAM,CAAC,UAAU,CAClB,CAAC;AACJ,CAAC"}

package/dist/prove.d.ts

@@ -4,7 +4,7 @@ import type { CircuitWitness } from "./witness.js";
  * Paths or URLs to Circom wasm + final zkey (Groth16).
  */
 export interface ArtifactPaths {
-    /** Path/URL to `stealth_attestation.wasm`. */
+    /** Path/URL to `stealth_reputation.wasm` (V2). */
     wasmPath: string;
     /** Path/URL to final `.zkey`. */
     zkeyPath: string;
@@ -14,9 +14,13 @@ export interface ArtifactPaths {
  */
 export type ProofProgressCallback = (stage: string, percent: number) => void;
 /**
- * Run `snarkjs.groth16.fullProve` on a prepared witness.
+ * Run `snarkjs.groth16.fullProve` on a prepared V2 witness.
  *
- * @param witness - JSON object accepted by the Circom wasm.
+ * V2 public signals: `[merkle_root, attestation_id, external_nullifier, nullifier_hash]`.
+ * The returned {@link ProofData}'s `nullifier` field carries `nullifier_hash`
+ * (`publicSignals[3]`) — the value the on-chain verifiers consume.
+ *
+ * @param witness - JSON object accepted by the V2 Circom wasm.
  * @param artifacts - Wasm + zkey locations (browser: serve static files; Node: file paths).
  * @param onProgress - Optional UI hook.
  */

package/dist/prove.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../src/prove.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAMnD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;AAE7E;;;;;;GAMG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,cAAc,EACvB,SAAS,EAAE,aAAa,EACxB,UAAU,CAAC,EAAE,qBAAqB,GACjC,OAAO,CAAC,SAAS,CAAC,CAgCpB;AAED;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACtC,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,OAAO,CAAC,CAOlB"}
+{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../src/prove.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAMnD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,iCAAiC;IACjC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;AAE7E;;;;;;;;;;GAUG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,cAAc,EACvB,SAAS,EAAE,aAAa,EACxB,UAAU,CAAC,EAAE,qBAAqB,GACjC,OAAO,CAAC,SAAS,CAAC,CA+BpB;AAED;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACtC,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,OAAO,CAAC,CAOlB"}

package/dist/prove.js

@@ -1,8 +1,12 @@
 import { ProofError } from "@opaquecash/psr-core";
 /**
- * Run `snarkjs.groth16.fullProve` on a prepared witness.
+ * Run `snarkjs.groth16.fullProve` on a prepared V2 witness.
  *
- * @param witness - JSON object accepted by the Circom wasm.
+ * V2 public signals: `[merkle_root, attestation_id, external_nullifier, nullifier_hash]`.
+ * The returned {@link ProofData}'s `nullifier` field carries `nullifier_hash`
+ * (`publicSignals[3]`) — the value the on-chain verifiers consume.
+ *
+ * @param witness - JSON object accepted by the V2 Circom wasm.
  * @param artifacts - Wasm + zkey locations (browser: serve static files; Node: file paths).
  * @param onProgress - Optional UI hook.
  */
@@ -11,12 +15,11 @@ export async function generateGroth16Proof(witness, artifacts, onProgress) {
     const snarkjs = (await import("snarkjs")).groth16;
     const { proof, publicSignals } = await snarkjs.fullProve(witness, artifacts.wasmPath, artifacts.zkeyPath);
     onProgress?.("generating-proof", 90);
-    const nullifier = publicSignals[0];
-    const attestationIdFromProof = Number(publicSignals[3]);
-    const isValidSignal = String(publicSignals[1] ?? "0");
-    if (isValidSignal !== "1") {
-        throw new ProofError("Generated proof has is_valid≠1; witness does not satisfy the circuit.");
+    if (publicSignals.length !== 4) {
+        throw new ProofError(`Expected 4 V2 public signals, got ${publicSignals.length} — the configured artifacts appear to be the retired V1 circuit.`);
     }
+    const nullifierHash = publicSignals[3];
+    const attestationIdFromProof = Number(publicSignals[1]);
     return {
         proof: {
             pi_a: proof.pi_a.slice(0, 2),
@@ -24,10 +27,10 @@ export async function generateGroth16Proof(witness, artifacts, onProgress) {
             pi_c: proof.pi_c.slice(0, 2),
         },
         publicSignals,
-        nullifier,
-        attestationId: Number.isFinite(attestationIdFromProof)
+        nullifier: nullifierHash,
+        attestationId: Number.isSafeInteger(attestationIdFromProof)
             ? attestationIdFromProof
-            : Number(witness.attestation_id),
+            : publicSignals[1],
     };
 }
 /**

package/dist/prove.js.map

@@ -1 +1 @@
-{"version":3,"file":"prove.js","sourceRoot":"","sources":["../src/prove.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAsBlD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAuB,EACvB,SAAwB,EACxB,UAAkC;IAElC,UAAU,EAAE,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAuB,CAAC;IAClE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,MAAM,OAAO,CAAC,SAAS,CACtD,OAAO,EACP,SAAS,CAAC,QAAQ,EAClB,SAAS,CAAC,QAAQ,CACnB,CAAC;IACF,UAAU,EAAE,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IAErC,MAAM,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,sBAAsB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IAEtD,IAAI,aAAa,KAAK,GAAG,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAClB,uEAAuE,CACxE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7B;QACD,aAAa;QACb,SAAS;QACT,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC;YACpD,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;KACnC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,SAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAuB,CAAC;IAClE,OAAO,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,aAAa,EAAE;QACvD,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;QAC1B,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;QAC1B,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;KAC3B,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"prove.js","sourceRoot":"","sources":["../src/prove.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAsBlD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,OAAuB,EACvB,SAAwB,EACxB,UAAkC;IAElC,UAAU,EAAE,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAuB,CAAC;IAClE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,MAAM,OAAO,CAAC,SAAS,CACtD,OAAO,EACP,SAAS,CAAC,QAAQ,EAClB,SAAS,CAAC,QAAQ,CACnB,CAAC;IACF,UAAU,EAAE,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;IAErC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,UAAU,CAClB,qCAAqC,aAAa,CAAC,MAAM,kEAAkE,CAC5H,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,sBAAsB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7B;QACD,aAAa;QACb,SAAS,EAAE,aAAa;QACxB,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC,sBAAsB,CAAC;YACzD,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;KACrB,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,SAAoB,EACpB,QAAgB;IAEhB,MAAM,OAAO,GAAG,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAuB,CAAC;IAClE,OAAO,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,aAAa,EAAE;QACvD,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;QAC1B,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;QAC1B,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI;KAC3B,CAAC,CAAC;AACL,CAAC"}

package/dist/witness.d.ts

@@ -1,39 +1,53 @@
-import type { StealthWasmModule } from "@opaquecash/stealth-wasm";
 /**
  * Ensure `Buffer` exists for `circomlibjs` in browser bundles.
  */
 export declare function ensureBufferPolyfill(): Promise<void>;
 /**
- * Circuit witness object matching `stealth_attestation` public/private input names (decimal string fields).
+ * Circuit witness matching the **V2** `stealth_reputation` input names
+ * (decimal-string field elements; see `circuits/v2/stealth_reputation.circom`).
  */
 export interface CircuitWitness {
+    stealth_pk: string;
+    schema_id: string;
+    issuer_pk_x: string;
+    trait_data_hash: string;
+    nonce: string;
+    merkle_path: string[];
+    merkle_path_indices: string[];
     merkle_root: string;
     attestation_id: string;
     external_nullifier: string;
-    stealth_private_key: string;
-    ephemeral_pubkey: [string, string];
-    announcement_attestation_id: string;
-    merkle_path_elements: string[];
-    merkle_path_indices: number[];
+    nullifier_hash: string;
 }
 /**
- * Build a **placeholder** Merkle witness using zero-hash siblings (matches Opaque wallet dev prover).
+ * Inputs for {@link buildWitnessV2}. The leaf commits to
+ * `Poseidon(stealth_pk, schema_id, issuer_pk_x, trait_data_hash, nonce)`.
  *
- * For production you must align leaves with the same tree the verifier admin commits on-chain.
- *
- * @param traitAttestationId - Public attestation id to prove.
- * @param stealthPrivKeyBytes - 32-byte reconstructed one-time stealth private key.
- * @param externalNullifier - Decimal string or hex-compatible numeric string for the circuit scalar.
+ * `issuerPkX`, `traitDataHash`, and `nonce` come from the attestation context.
+ * When omitted, deterministic dev-mode values are derived so the same
+ * (holder, schema) pair always rebuilds the same leaf — and therefore the same
+ * Merkle root, keeping a previously registered dev root valid across sessions.
  */
-export declare function buildWitnessCircuitConsistent(traitAttestationId: number, stealthPrivKeyBytes: Uint8Array, externalNullifier: string): Promise<CircuitWitness>;
+export interface BuildWitnessV2Params {
+    /** Numeric trait/schema id — becomes both `schema_id` and the public `attestation_id`. */
+    attestationId: number | bigint | string;
+    /** 32-byte reconstructed one-time stealth private key. */
+    stealthPrivKeyBytes: Uint8Array;
+    /** External nullifier as a decimal string (action scope). */
+    externalNullifier: string;
+    /** Issuer's BabyJubJub x-coordinate as a field element. Dev default derived from the schema id. */
+    issuerPkX?: string | bigint;
+    /** Poseidon hash of the attestation data payload. Dev default derived from the schema id. */
+    traitDataHash?: string | bigint;
+    /** Leaf-blinding secret. Dev default: `Poseidon(stealth_pk, schema_id)` (deterministic). */
+    nonce?: string | bigint;
+}
 /**
- * Delegate witness construction to Rust WASM (`generate_reputation_witness`) for full Merkle paths.
- *
- * @param wasm - Initialized `@opaquecash/stealth-wasm` module.
- * @param attestationsJson - JSON array string from the scanner.
- * @param targetTraitId - Decimal string attestation id to prove.
- * @param stealthPrivkeyBytes - 32-byte one-time stealth private key.
- * @param externalNullifier - Decimal string (must match {@link buildActionScope} encoding policy).
+ * Build a **dev-mode** V2 Merkle witness: the trait's leaf sits at index 0 of an
+ * otherwise-empty zero-hash tree, so the resulting `merkle_root` is exactly what
+ * the verifier admin registers for this leaf via `update_merkle_root` /
+ * `submitMerkleRoot`. Production indexers must build the real announcement tree
+ * with the identical leaf formula.
  */
-export declare function buildWitnessFromWasm(wasm: StealthWasmModule, attestationsJson: string, targetTraitId: string, stealthPrivkeyBytes: Uint8Array, externalNullifier: string): CircuitWitness;
+export declare function buildWitnessV2(params: BuildWitnessV2Params): Promise<CircuitWitness>;
 //# sourceMappingURL=witness.d.ts.map

package/dist/witness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"witness.d.ts","sourceRoot":"","sources":["../src/witness.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAWlE;;GAEG;AACH,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC,CAK1D;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,2BAA2B,EAAE,MAAM,CAAC;IACpC,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,mBAAmB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,wBAAsB,6BAA6B,CACjD,kBAAkB,EAAE,MAAM,EAC1B,mBAAmB,EAAE,UAAU,EAC/B,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,cAAc,CAAC,CA8DzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,iBAAiB,EACvB,gBAAgB,EAAE,MAAM,EACxB,aAAa,EAAE,MAAM,EACrB,mBAAmB,EAAE,UAAU,EAC/B,iBAAiB,EAAE,MAAM,GACxB,cAAc,CAShB"}
+{"version":3,"file":"witness.d.ts","sourceRoot":"","sources":["../src/witness.ts"],"names":[],"mappings":"AAUA;;GAEG;AACH,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC,CAK1D;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,0FAA0F;IAC1F,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACxC,0DAA0D;IAC1D,mBAAmB,EAAE,UAAU,CAAC;IAChC,6DAA6D;IAC7D,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mGAAmG;IACnG,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,6FAA6F;IAC7F,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,4FAA4F;IAC5F,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CACzB;AAED;;;;;;GAMG;AACH,wBAAsB,cAAc,CAClC,MAAM,EAAE,oBAAoB,GAC3B,OAAO,CAAC,cAAc,CAAC,CAmDzB"}

package/dist/witness.js

@@ -1,5 +1,4 @@
 import { Buffer } from "buffer";
-import { generateReputationWitnessJson } from "@opaquecash/stealth-wasm";
 const TREE_DEPTH = 20;
 function bytesToBigInt(bytes) {
     let result = 0n;
@@ -17,70 +16,52 @@ export async function ensureBufferPolyfill() {
     }
 }
 /**
- * Build a **placeholder** Merkle witness using zero-hash siblings (matches Opaque wallet dev prover).
- *
- * For production you must align leaves with the same tree the verifier admin commits on-chain.
- *
- * @param traitAttestationId - Public attestation id to prove.
- * @param stealthPrivKeyBytes - 32-byte reconstructed one-time stealth private key.
- * @param externalNullifier - Decimal string or hex-compatible numeric string for the circuit scalar.
+ * Build a **dev-mode** V2 Merkle witness: the trait's leaf sits at index 0 of an
+ * otherwise-empty zero-hash tree, so the resulting `merkle_root` is exactly what
+ * the verifier admin registers for this leaf via `update_merkle_root` /
+ * `submitMerkleRoot`. Production indexers must build the real announcement tree
+ * with the identical leaf formula.
  */
-export async function buildWitnessCircuitConsistent(traitAttestationId, stealthPrivKeyBytes, externalNullifier) {
+export async function buildWitnessV2(params) {
     await ensureBufferPolyfill();
     const circomlib = await import("circomlibjs");
     const poseidon = await circomlib.buildPoseidon();
-    const babyjub = await circomlib.buildBabyjub();
     const F = poseidon.F;
-    const attestationId = BigInt(traitAttestationId);
-    const extNullifier = BigInt(externalNullifier);
-    const stealthPriv = F.toObject(F.e(bytesToBigInt(stealthPrivKeyBytes)));
-    const ephemeralPriv = F.toObject(F.e(stealthPriv + extNullifier + 1n));
-    const stealthPub = babyjub.mulPointEscalar(babyjub.Base8, stealthPriv);
-    const ephemeralPub = babyjub.mulPointEscalar(babyjub.Base8, ephemeralPriv);
-    const sharedSecret = babyjub.mulPointEscalar(ephemeralPub, stealthPriv);
-    const stealthPubX = F.toObject(stealthPub[0]);
-    const stealthPubY = F.toObject(stealthPub[1]);
-    const ephemeralPubX = F.toObject(ephemeralPub[0]);
-    const ephemeralPubY = F.toObject(ephemeralPub[1]);
-    const sharedX = F.toObject(sharedSecret[0]);
-    const sharedY = F.toObject(sharedSecret[1]);
-    const addressCommitment = F.toObject(poseidon([sharedX, sharedY, stealthPubX, stealthPubY]));
-    const leaf = F.toObject(poseidon([addressCommitment, attestationId]));
-    const zeroHashes = [];
-    zeroHashes.push(F.toObject(poseidon([0n, 0n])));
+    const H = (inputs) => F.toObject(poseidon(inputs));
+    const schemaId = BigInt(params.attestationId);
+    const extNullifier = BigInt(params.externalNullifier);
+    const stealthPk = F.toObject(F.e(bytesToBigInt(params.stealthPrivKeyBytes)));
+    const issuerPkX = params.issuerPkX !== undefined ? BigInt(params.issuerPkX) : H([schemaId, 1n]);
+    const traitDataHash = params.traitDataHash !== undefined ? BigInt(params.traitDataHash) : H([schemaId, 2n]);
+    const nonce = params.nonce !== undefined ? BigInt(params.nonce) : H([stealthPk, schemaId]);
+    // leaf = Poseidon(stealth_pk, schema_id, issuer_pk_x, trait_data_hash, nonce)
+    const leaf = H([stealthPk, schemaId, issuerPkX, traitDataHash, nonce]);
+    // Zero-hash sibling chain: leaf at index 0 of an otherwise-empty tree.
+    const zeroHashes = [H([0n, 0n])];
     for (let i = 1; i < TREE_DEPTH; i++) {
-        zeroHashes.push(F.toObject(poseidon([zeroHashes[i - 1], zeroHashes[i - 1]])));
+        zeroHashes.push(H([zeroHashes[i - 1], zeroHashes[i - 1]]));
     }
-    const merklePathElements = [];
+    const merklePath = [];
     const merklePathIndices = [];
     let current = leaf;
     for (let i = 0; i < TREE_DEPTH; i++) {
-        merklePathElements.push(zeroHashes[i].toString());
-        merklePathIndices.push(0);
-        current = F.toObject(poseidon([current, zeroHashes[i]]));
+        merklePath.push(zeroHashes[i].toString());
+        merklePathIndices.push("0");
+        current = H([current, zeroHashes[i]]);
     }
+    const nullifierHash = H([stealthPk, extNullifier]);
     return {
+        stealth_pk: stealthPk.toString(),
+        schema_id: schemaId.toString(),
+        issuer_pk_x: issuerPkX.toString(),
+        trait_data_hash: traitDataHash.toString(),
+        nonce: nonce.toString(),
+        merkle_path: merklePath,
+        merkle_path_indices: merklePathIndices,
         merkle_root: current.toString(),
-        attestation_id: attestationId.toString(),
+        attestation_id: schemaId.toString(),
         external_nullifier: extNullifier.toString(),
-        stealth_private_key: stealthPriv.toString(),
-        ephemeral_pubkey: [ephemeralPubX.toString(), ephemeralPubY.toString()],
-        announcement_attestation_id: attestationId.toString(),
-        merkle_path_elements: merklePathElements,
-        merkle_path_indices: merklePathIndices,
+        nullifier_hash: nullifierHash.toString(),
     };
 }
-/**
- * Delegate witness construction to Rust WASM (`generate_reputation_witness`) for full Merkle paths.
- *
- * @param wasm - Initialized `@opaquecash/stealth-wasm` module.
- * @param attestationsJson - JSON array string from the scanner.
- * @param targetTraitId - Decimal string attestation id to prove.
- * @param stealthPrivkeyBytes - 32-byte one-time stealth private key.
- * @param externalNullifier - Decimal string (must match {@link buildActionScope} encoding policy).
- */
-export function buildWitnessFromWasm(wasm, attestationsJson, targetTraitId, stealthPrivkeyBytes, externalNullifier) {
-    const json = generateReputationWitnessJson(wasm, attestationsJson, targetTraitId, stealthPrivkeyBytes, externalNullifier);
-    return JSON.parse(json);
-}
 //# sourceMappingURL=witness.js.map

package/dist/witness.js.map

@@ -1 +1 @@
-{"version":3,"file":"witness.js","sourceRoot":"","sources":["../src/witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AAEzE,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,SAAS,aAAa,CAAC,KAAiB;IACtC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB;IACxC,IAAI,OAAO,UAAU,KAAK,WAAW,IAAI,CAAC,CAAC,QAAQ,IAAI,UAAU,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,GAAG,UAAwC,CAAC;QACnD,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IACpB,CAAC;AACH,CAAC;AAgBD;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,kBAA0B,EAC1B,mBAA+B,EAC/B,iBAAyB;IAEzB,MAAM,oBAAoB,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,aAAa,EAAE,CAAC;IACjD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,YAAY,EAAE,CAAC;IAC/C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAErB,MAAM,aAAa,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAE/C,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,YAAY,GAAG,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,CACxC,OAAO,CAAC,KAAK,EACb,WAAW,CACU,CAAC;IACxB,MAAM,YAAY,GAAG,OAAO,CAAC,eAAe,CAC1C,OAAO,CAAC,KAAK,EACb,aAAa,CACQ,CAAC;IACxB,MAAM,YAAY,GAAG,OAAO,CAAC,eAAe,CAC1C,YAAY,EACZ,WAAW,CACU,CAAC;IAExB,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5C,MAAM,iBAAiB,GAAG,CAAC,CAAC,QAAQ,CAClC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CACvD,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,iBAAiB,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAEtE,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAClD,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC/B,cAAc,EAAE,aAAa,CAAC,QAAQ,EAAE;QACxC,kBAAkB,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC3C,mBAAmB,EAAE,WAAW,CAAC,QAAQ,EAAE;QAC3C,gBAAgB,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC;QACtE,2BAA2B,EAAE,aAAa,CAAC,QAAQ,EAAE;QACrD,oBAAoB,EAAE,kBAAkB;QACxC,mBAAmB,EAAE,iBAAiB;KACvC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAuB,EACvB,gBAAwB,EACxB,aAAqB,EACrB,mBAA+B,EAC/B,iBAAyB;IAEzB,MAAM,IAAI,GAAG,6BAA6B,CACxC,IAAI,EACJ,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,iBAAiB,CAClB,CAAC;IACF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"witness.js","sourceRoot":"","sources":["../src/witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,SAAS,aAAa,CAAC,KAAiB;IACtC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,MAAM,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB;IACxC,IAAI,OAAO,UAAU,KAAK,WAAW,IAAI,CAAC,CAAC,QAAQ,IAAI,UAAU,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,GAAG,UAAwC,CAAC;QACnD,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;IACpB,CAAC;AACH,CAAC;AA4CD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,MAA4B;IAE5B,MAAM,oBAAoB,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,aAAa,EAAE,CAAC;IACjD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrB,MAAM,CAAC,GAAG,CAAC,MAAgB,EAAU,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAW,CAAC;IAE/E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAW,CAAC;IAEvF,MAAM,SAAS,GACb,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,aAAa,GACjB,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GACT,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IAE/E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC;IAEvE,uEAAuE;IACvE,MAAM,UAAU,GAAa,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1C,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,OAAO,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IAEnD,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE;QAChC,SAAS,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAC9B,WAAW,EAAE,SAAS,CAAC,QAAQ,EAAE;QACjC,eAAe,EAAE,aAAa,CAAC,QAAQ,EAAE;QACzC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;QACvB,WAAW,EAAE,UAAU;QACvB,mBAAmB,EAAE,iBAAiB;QACtC,WAAW,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC/B,cAAc,EAAE,QAAQ,CAAC,QAAQ,EAAE;QACnC,kBAAkB,EAAE,YAAY,CAAC,QAAQ,EAAE;QAC3C,cAAc,EAAE,aAAa,CAAC,QAAQ,EAAE;KACzC,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@opaquecash/psr-prover",
-  "version": "0.1.0",
+  "version": "0.2.1",
   "description": "Circom witness helpers and Groth16 proving (snarkjs) for PSR",
   "type": "module",
   "main": "./dist/index.js",
@@ -19,12 +19,22 @@
     "clean": "rm -rf dist"
   },
   "dependencies": {
-    "@opaquecash/psr-core": "0.1.0",
-    "@opaquecash/stealth-wasm": "0.1.0",
+    "@opaquecash/psr-core": "0.2.1",
+    "@opaquecash/stealth-wasm": "0.2.1",
     "buffer": "^6.0.3",
     "circomlibjs": "^0.1.7",
     "snarkjs": "^0.7.5",
     "viem": "^2.21.0"
   },
-  "sideEffects": false
+  "sideEffects": false,
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/opaquecash/sdk.git",
+    "directory": "packages/psr-prover"
+  },
+  "homepage": "https://docs.opaque.cash",
+  "publishConfig": {
+    "access": "public"
+  }
 }