@opaquecash/psr-chain 0.1.0

package/dist/abi.d.ts

@@ -0,0 +1,6 @@
+import type { Abi } from "viem";
+/**
+ * Minimal ABI surface for `OpaqueReputationVerifier` + errors (viem `readContract` / `writeContract`).
+ */
+export declare const opaqueReputationVerifierAbi: Abi;
+//# sourceMappingURL=abi.d.ts.map

package/dist/abi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"abi.d.ts","sourceRoot":"","sources":["../src/abi.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAyEhC;;GAEG;AACH,eAAO,MAAM,2BAA2B,EACK,GAAG,CAAC"}

package/dist/abi.js

@@ -0,0 +1,75 @@
+const _opaqueReputationVerifierAbi = [
+    { type: "error", name: "InvalidProof", inputs: [] },
+    { type: "error", name: "NullifierAlreadyUsed", inputs: [] },
+    { type: "error", name: "InvalidMerkleRoot", inputs: [] },
+    { type: "error", name: "RootExpired", inputs: [] },
+    { type: "error", name: "ZeroAddress", inputs: [] },
+    {
+        type: "function",
+        name: "isRootValid",
+        inputs: [{ name: "root", type: "bytes32" }],
+        outputs: [{ name: "", type: "bool" }],
+        stateMutability: "view",
+    },
+    {
+        type: "function",
+        name: "verifyReputation",
+        inputs: [
+            {
+                name: "proof",
+                type: "tuple",
+                components: [
+                    { name: "a", type: "uint256[2]" },
+                    { name: "b", type: "uint256[2][2]" },
+                    { name: "c", type: "uint256[2]" },
+                ],
+            },
+            { name: "root", type: "bytes32" },
+            { name: "attestationId", type: "uint256" },
+            { name: "externalNullifier", type: "uint256" },
+            { name: "nullifier", type: "uint256" },
+        ],
+        outputs: [{ name: "valid", type: "bool" }],
+        stateMutability: "nonpayable",
+    },
+    {
+        type: "function",
+        name: "verifyReputationView",
+        inputs: [
+            {
+                name: "proof",
+                type: "tuple",
+                components: [
+                    { name: "a", type: "uint256[2]" },
+                    { name: "b", type: "uint256[2][2]" },
+                    { name: "c", type: "uint256[2]" },
+                ],
+            },
+            { name: "root", type: "bytes32" },
+            { name: "attestationId", type: "uint256" },
+            { name: "externalNullifier", type: "uint256" },
+            { name: "nullifier", type: "uint256" },
+        ],
+        outputs: [{ name: "valid", type: "bool" }],
+        stateMutability: "view",
+    },
+    {
+        type: "function",
+        name: "rootHistoryLength",
+        inputs: [],
+        outputs: [{ name: "", type: "uint256" }],
+        stateMutability: "view",
+    },
+    {
+        type: "function",
+        name: "rootHistory",
+        inputs: [{ name: "", type: "uint256" }],
+        outputs: [{ name: "", type: "bytes32" }],
+        stateMutability: "view",
+    },
+];
+/**
+ * Minimal ABI surface for `OpaqueReputationVerifier` + errors (viem `readContract` / `writeContract`).
+ */
+export const opaqueReputationVerifierAbi = _opaqueReputationVerifierAbi;
+//# sourceMappingURL=abi.js.map

package/dist/abi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"abi.js","sourceRoot":"","sources":["../src/abi.ts"],"names":[],"mappings":"AAEA,MAAM,4BAA4B,GAAG;IACnC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE;IACnD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,EAAE,EAAE;IAC3D,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,EAAE,EAAE;IACxD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE,EAAE;IAClD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE,EAAE;IAClD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC3C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACrC,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;oBACjC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE;oBACpC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;iBAClC;aACF;YACD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1C,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;YAC9C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;SACvC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1C,eAAe,EAAE,YAAY;KAC9B;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;oBACjC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE;oBACpC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;iBAClC;aACF;YACD,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE;YACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;YAC1C,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;YAC9C,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE;SACvC;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC1C,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxC,eAAe,EAAE,MAAM;KACxB;IACD;QACE,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACvC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxC,eAAe,EAAE,MAAM;KACxB;CACO,CAAC;AAEX;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GACtC,4BAA8C,CAAC"}

package/dist/addresses.d.ts

@@ -0,0 +1,14 @@
+import type { Address } from "viem";
+/**
+ * Example address book shape: extend per deployment.
+ *
+ * Keys are `chainId` (e.g. `11155111` for Sepolia).
+ */
+export type ReputationAddressBook = Record<number, {
+    OpaqueReputationVerifier: Address;
+}>;
+/**
+ * Resolve verifier address or throw.
+ */
+export declare function reputationVerifierAddress(book: ReputationAddressBook, chainId: number): Address;
+//# sourceMappingURL=addresses.d.ts.map

package/dist/addresses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"addresses.d.ts","sourceRoot":"","sources":["../src/addresses.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAEpC;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,EAAE;IAAE,wBAAwB,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAE1F;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,MAAM,GACd,OAAO,CAMT"}

package/dist/addresses.js

@@ -0,0 +1,11 @@
+/**
+ * Resolve verifier address or throw.
+ */
+export function reputationVerifierAddress(book, chainId) {
+    const row = book[chainId];
+    if (!row) {
+        throw new Error(`No OpaqueReputationVerifier configured for chainId ${chainId}`);
+    }
+    return row.OpaqueReputationVerifier;
+}
+//# sourceMappingURL=addresses.js.map

package/dist/addresses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"addresses.js","sourceRoot":"","sources":["../src/addresses.ts"],"names":[],"mappings":"AASA;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B,EAC3B,OAAe;IAEf,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,KAAK,CAAC,sDAAsD,OAAO,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,GAAG,CAAC,wBAAwB,CAAC;AACtC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * `@opaquecash/psr-chain` — read Merkle roots, simulate, and submit `verifyReputation` via viem.
+ *
+ * Pair with `@opaquecash/psr-prover` for proof generation and `@opaquecash/psr-core` for scoping/nullifiers.
+ *
+ * @packageDocumentation
+ */
+export { opaqueReputationVerifierAbi } from "./abi.js";
+export { fetchLatestValidRoot, isRootValid, fetchRootHistory, } from "./roots.js";
+export type { VerifyReputationArgs } from "./submit.js";
+export { normalizeRootToBytes32, proofDataToSolidityTuple, simulateVerifyReputation, submitVerifyReputation, verifyReputationView, mapVerifierRevert, } from "./submit.js";
+export type { ReputationAddressBook } from "./addresses.js";
+export { reputationVerifierAddress } from "./addresses.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,2BAA2B,EAAE,MAAM,UAAU,CAAC;AAEvD,OAAO,EACL,oBAAoB,EACpB,WAAW,EACX,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAErB,YAAY,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,12 @@
+/**
+ * `@opaquecash/psr-chain` — read Merkle roots, simulate, and submit `verifyReputation` via viem.
+ *
+ * Pair with `@opaquecash/psr-prover` for proof generation and `@opaquecash/psr-core` for scoping/nullifiers.
+ *
+ * @packageDocumentation
+ */
+export { opaqueReputationVerifierAbi } from "./abi.js";
+export { fetchLatestValidRoot, isRootValid, fetchRootHistory, } from "./roots.js";
+export { normalizeRootToBytes32, proofDataToSolidityTuple, simulateVerifyReputation, submitVerifyReputation, verifyReputationView, mapVerifierRevert, } from "./submit.js";
+export { reputationVerifierAddress } from "./addresses.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,2BAA2B,EAAE,MAAM,UAAU,CAAC;AAEvD,OAAO,EACL,oBAAoB,EACpB,WAAW,EACX,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/roots.d.ts

@@ -0,0 +1,24 @@
+import type { PublicClient, Address, Hex } from "viem";
+/**
+ * Return the latest Merkle root from `rootHistory` that {@link isRootValid} still accepts.
+ *
+ * @param publicClient - Viem public client positioned on the verifier's chain.
+ * @param verifierAddress - `OpaqueReputationVerifier` deployment.
+ */
+export declare function fetchLatestValidRoot(publicClient: PublicClient, verifierAddress: Address): Promise<Hex>;
+/**
+ * Read whether a root is currently accepted (exists and not past `ROOT_EXPIRY`).
+ */
+export declare function isRootValid(publicClient: PublicClient, verifierAddress: Address, root: Hex): Promise<boolean>;
+/**
+ * Enumerate roots from `rootHistory` with their on-chain validity bit (newest index last).
+ *
+ * @param publicClient - Viem public client.
+ * @param verifierAddress - Verifier contract.
+ */
+export declare function fetchRootHistory(publicClient: PublicClient, verifierAddress: Address): Promise<Array<{
+    index: number;
+    root: Hex;
+    valid: boolean;
+}>>;
+//# sourceMappingURL=roots.d.ts.map

package/dist/roots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"roots.d.ts","sourceRoot":"","sources":["../src/roots.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAIvD;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,YAAY,EAC1B,eAAe,EAAE,OAAO,GACvB,OAAO,CAAC,GAAG,CAAC,CA+Bd;AAED;;GAEG;AACH,wBAAsB,WAAW,CAC/B,YAAY,EAAE,YAAY,EAC1B,eAAe,EAAE,OAAO,EACxB,IAAI,EAAE,GAAG,GACR,OAAO,CAAC,OAAO,CAAC,CAOlB;AAED;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,YAAY,EAAE,YAAY,EAC1B,eAAe,EAAE,OAAO,GACvB,OAAO,CAAC,KAAK,CAAC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC,CAoB9D"}

package/dist/roots.js

@@ -0,0 +1,73 @@
+import { RootExpiredError } from "@opaquecash/psr-core";
+import { opaqueReputationVerifierAbi } from "./abi.js";
+/**
+ * Return the latest Merkle root from `rootHistory` that {@link isRootValid} still accepts.
+ *
+ * @param publicClient - Viem public client positioned on the verifier's chain.
+ * @param verifierAddress - `OpaqueReputationVerifier` deployment.
+ */
+export async function fetchLatestValidRoot(publicClient, verifierAddress) {
+    const rootHistoryLength = await publicClient.readContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "rootHistoryLength",
+    });
+    const length = Number(rootHistoryLength);
+    if (!Number.isFinite(length) || length <= 0) {
+        throw new RootExpiredError("No Merkle roots found on verifier contract.");
+    }
+    for (let i = length - 1; i >= 0; i--) {
+        const root = (await publicClient.readContract({
+            address: verifierAddress,
+            abi: opaqueReputationVerifierAbi,
+            functionName: "rootHistory",
+            args: [BigInt(i)],
+        }));
+        const valid = (await publicClient.readContract({
+            address: verifierAddress,
+            abi: opaqueReputationVerifierAbi,
+            functionName: "isRootValid",
+            args: [root],
+        }));
+        if (valid)
+            return root;
+    }
+    throw new RootExpiredError("No valid (non-expired) Merkle root found on verifier contract.");
+}
+/**
+ * Read whether a root is currently accepted (exists and not past `ROOT_EXPIRY`).
+ */
+export async function isRootValid(publicClient, verifierAddress, root) {
+    return (await publicClient.readContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "isRootValid",
+        args: [root],
+    }));
+}
+/**
+ * Enumerate roots from `rootHistory` with their on-chain validity bit (newest index last).
+ *
+ * @param publicClient - Viem public client.
+ * @param verifierAddress - Verifier contract.
+ */
+export async function fetchRootHistory(publicClient, verifierAddress) {
+    const len = Number(await publicClient.readContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "rootHistoryLength",
+    }));
+    const out = [];
+    for (let i = 0; i < len; i++) {
+        const root = (await publicClient.readContract({
+            address: verifierAddress,
+            abi: opaqueReputationVerifierAbi,
+            functionName: "rootHistory",
+            args: [BigInt(i)],
+        }));
+        const valid = await isRootValid(publicClient, verifierAddress, root);
+        out.push({ index: i, root, valid });
+    }
+    return out;
+}
+//# sourceMappingURL=roots.js.map

package/dist/roots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roots.js","sourceRoot":"","sources":["../src/roots.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,2BAA2B,EAAE,MAAM,UAAU,CAAC;AAEvD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAA0B,EAC1B,eAAwB;IAExB,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAAC,YAAY,CAAC;QACxD,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,mBAAmB;KAClC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,gBAAgB,CAAC,6CAA6C,CAAC,CAAC;IAC5E,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC;YAC5C,OAAO,EAAE,eAAe;YACxB,GAAG,EAAE,2BAA2B;YAChC,YAAY,EAAE,aAAa;YAC3B,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAClB,CAAC,CAAQ,CAAC;QACX,MAAM,KAAK,GAAG,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC;YAC7C,OAAO,EAAE,eAAe;YACxB,GAAG,EAAE,2BAA2B;YAChC,YAAY,EAAE,aAAa;YAC3B,IAAI,EAAE,CAAC,IAAI,CAAC;SACb,CAAC,CAAY,CAAC;QACf,IAAI,KAAK;YAAE,OAAO,IAAI,CAAC;IACzB,CAAC;IAED,MAAM,IAAI,gBAAgB,CACxB,gEAAgE,CACjE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,YAA0B,EAC1B,eAAwB,EACxB,IAAS;IAET,OAAO,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC;QACtC,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,CAAC,IAAI,CAAC;KACb,CAAC,CAAY,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,YAA0B,EAC1B,eAAwB;IAExB,MAAM,GAAG,GAAG,MAAM,CAChB,MAAM,YAAY,CAAC,YAAY,CAAC;QAC9B,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,mBAAmB;KAClC,CAAC,CACH,CAAC;IACF,MAAM,GAAG,GAAwD,EAAE,CAAC;IACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC;YAC5C,OAAO,EAAE,eAAe;YACxB,GAAG,EAAE,2BAA2B;YAChC,YAAY,EAAE,aAAa;YAC3B,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SAClB,CAAC,CAAQ,CAAC;QACX,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,YAAY,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/submit.d.ts

@@ -0,0 +1,39 @@
+import type { PublicClient, WalletClient, Address, Hex, Chain, Transport, Account } from "viem";
+import type { ProofData } from "@opaquecash/psr-core";
+/**
+ * Normalize decimal / hex string Merkle roots to `bytes32`.
+ *
+ * @param root - `publicSignals[2]` or decimal string from an indexer.
+ */
+export declare function normalizeRootToBytes32(root: string): Hex;
+/**
+ * Convert {@link ProofData} into the Solidity tuple expected by `verifyReputation`.
+ */
+export declare function proofDataToSolidityTuple(proofData: ProofData): {
+    a: readonly [bigint, bigint];
+    b: readonly [readonly [bigint, bigint], readonly [bigint, bigint]];
+    c: readonly [bigint, bigint];
+};
+export interface VerifyReputationArgs {
+    proofData: ProofData;
+    /** Merkle root (decimal or hex string). */
+    merkleRoot: string;
+    externalNullifier: string;
+}
+/**
+ * Simulate `verifyReputation` without sending a transaction (preflight / gas estimation).
+ */
+export declare function simulateVerifyReputation<TTransport extends Transport, TChain extends Chain, TAccount extends Account | undefined>(publicClient: PublicClient, wallet: WalletClient<TTransport, TChain, TAccount>, verifierAddress: Address, args: VerifyReputationArgs): Promise<void>;
+/**
+ * Submit a Groth16 proof to `OpaqueReputationVerifier.verifyReputation`.
+ *
+ * @returns Transaction hash after broadcast (does not wait for receipt unless you await downstream).
+ */
+export declare function submitVerifyReputation<TTransport extends Transport, TChain extends Chain, TAccount extends Account | undefined>(publicClient: PublicClient, wallet: WalletClient<TTransport, TChain, TAccount>, verifierAddress: Address, args: VerifyReputationArgs): Promise<Hex>;
+/**
+ * Read-only verification path (does not mark nullifier used).
+ */
+export declare function verifyReputationView(publicClient: PublicClient, verifierAddress: Address, args: VerifyReputationArgs): Promise<boolean>;
+/** @internal Map contract revert to typed error where possible */
+export declare function mapVerifierRevert(e: unknown): Error;
+//# sourceMappingURL=submit.d.ts.map

package/dist/submit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit.d.ts","sourceRoot":"","sources":["../src/submit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,OAAO,EACP,GAAG,EACH,KAAK,EACL,SAAS,EACT,OAAO,EACR,MAAM,MAAM,CAAC;AAEd,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAItD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAMxD;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,SAAS,GAAG;IAC9D,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnE,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,CAQA;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,SAAS,CAAC;IACrB,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,wBAAsB,wBAAwB,CAC5C,UAAU,SAAS,SAAS,EAC5B,MAAM,SAAS,KAAK,EACpB,QAAQ,SAAS,OAAO,GAAG,SAAS,EAEpC,YAAY,EAAE,YAAY,EAC1B,MAAM,EAAE,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,EAClD,eAAe,EAAE,OAAO,EACxB,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,IAAI,CAAC,CA8Bf;AAED;;;;GAIG;AACH,wBAAsB,sBAAsB,CAC1C,UAAU,SAAS,SAAS,EAC5B,MAAM,SAAS,KAAK,EACpB,QAAQ,SAAS,OAAO,GAAG,SAAS,EAEpC,YAAY,EAAE,YAAY,EAC1B,MAAM,EAAE,YAAY,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,EAClD,eAAe,EAAE,OAAO,EACxB,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,GAAG,CAAC,CA+Cd;AAED;;GAEG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,YAAY,EAC1B,eAAe,EAAE,OAAO,EACxB,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,OAAO,CAAC,CAelB;AAED,kEAAkE;AAClE,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,OAAO,GAAG,KAAK,CAMnD"}

package/dist/submit.js

@@ -0,0 +1,135 @@
+import { toHex } from "viem";
+import { NullifierUsedError, RootExpiredError } from "@opaquecash/psr-core";
+import { opaqueReputationVerifierAbi } from "./abi.js";
+/**
+ * Normalize decimal / hex string Merkle roots to `bytes32`.
+ *
+ * @param root - `publicSignals[2]` or decimal string from an indexer.
+ */
+export function normalizeRootToBytes32(root) {
+    try {
+        return toHex(BigInt(root), { size: 32 });
+    }
+    catch {
+        throw new Error(`Invalid merkle root format: "${root}"`);
+    }
+}
+/**
+ * Convert {@link ProofData} into the Solidity tuple expected by `verifyReputation`.
+ */
+export function proofDataToSolidityTuple(proofData) {
+    const pi_a = proofData.proof.pi_a.map(BigInt);
+    const pi_b = proofData.proof.pi_b.map((pair) => [BigInt(pair[1]), BigInt(pair[0])]);
+    const pi_c = proofData.proof.pi_c.map(BigInt);
+    return { a: pi_a, b: pi_b, c: pi_c };
+}
+/**
+ * Simulate `verifyReputation` without sending a transaction (preflight / gas estimation).
+ */
+export async function simulateVerifyReputation(publicClient, wallet, verifierAddress, args) {
+    const account = wallet.account;
+    if (!account)
+        throw new Error("Wallet client has no account");
+    const root = normalizeRootToBytes32(args.merkleRoot);
+    const tuple = proofDataToSolidityTuple(args.proofData);
+    const validRoot = await publicClient.readContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "isRootValid",
+        args: [root],
+    });
+    if (!validRoot) {
+        throw new RootExpiredError();
+    }
+    await publicClient.simulateContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "verifyReputation",
+        args: [
+            { a: tuple.a, b: tuple.b, c: tuple.c },
+            root,
+            BigInt(args.proofData.attestationId),
+            BigInt(args.externalNullifier),
+            BigInt(args.proofData.nullifier),
+        ],
+        account,
+    });
+}
+/**
+ * Submit a Groth16 proof to `OpaqueReputationVerifier.verifyReputation`.
+ *
+ * @returns Transaction hash after broadcast (does not wait for receipt unless you await downstream).
+ */
+export async function submitVerifyReputation(publicClient, wallet, verifierAddress, args) {
+    const account = wallet.account;
+    if (!account)
+        throw new Error("Wallet client has no account");
+    const root = normalizeRootToBytes32(args.merkleRoot);
+    const tuple = proofDataToSolidityTuple(args.proofData);
+    const validRoot = await publicClient.readContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "isRootValid",
+        args: [root],
+    });
+    if (!validRoot) {
+        throw new RootExpiredError();
+    }
+    await publicClient.simulateContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "verifyReputation",
+        args: [
+            { a: tuple.a, b: tuple.b, c: tuple.c },
+            root,
+            BigInt(args.proofData.attestationId),
+            BigInt(args.externalNullifier),
+            BigInt(args.proofData.nullifier),
+        ],
+        account,
+    });
+    const hash = await wallet.writeContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "verifyReputation",
+        args: [
+            { a: tuple.a, b: tuple.b, c: tuple.c },
+            root,
+            BigInt(args.proofData.attestationId),
+            BigInt(args.externalNullifier),
+            BigInt(args.proofData.nullifier),
+        ],
+        chain: wallet.chain,
+        account,
+    });
+    return hash;
+}
+/**
+ * Read-only verification path (does not mark nullifier used).
+ */
+export async function verifyReputationView(publicClient, verifierAddress, args) {
+    const root = normalizeRootToBytes32(args.merkleRoot);
+    const tuple = proofDataToSolidityTuple(args.proofData);
+    return (await publicClient.readContract({
+        address: verifierAddress,
+        abi: opaqueReputationVerifierAbi,
+        functionName: "verifyReputationView",
+        args: [
+            { a: tuple.a, b: tuple.b, c: tuple.c },
+            root,
+            BigInt(args.proofData.attestationId),
+            BigInt(args.externalNullifier),
+            BigInt(args.proofData.nullifier),
+        ],
+    }));
+}
+/** @internal Map contract revert to typed error where possible */
+export function mapVerifierRevert(e) {
+    const msg = e instanceof Error ? e.message : String(e);
+    if (msg.includes("NullifierAlreadyUsed"))
+        return new NullifierUsedError();
+    if (msg.includes("InvalidMerkleRoot") || msg.includes("RootExpired"))
+        return new RootExpiredError();
+    return e instanceof Error ? e : new Error(msg);
+}
+//# sourceMappingURL=submit.js.map

package/dist/submit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submit.js","sourceRoot":"","sources":["../src/submit.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAE7B,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,UAAU,CAAC;AAEvD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,GAAG,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,SAAoB;IAK3D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAqB,CAAC;IAClE,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CACnC,CAAC,IAAc,EAAE,EAAE,CACjB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAqB,CACjB,CAAC;IAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAqB,CAAC;IAClE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC;AASD;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAK5C,YAA0B,EAC1B,MAAkD,EAClD,eAAwB,EACxB,IAA0B;IAE1B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAE9D,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAEvD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,YAAY,CAAC;QAChD,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,CAAC,IAAI,CAAC;KACb,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,EAAE,CAAC;IAC/B,CAAC;IAED,MAAM,YAAY,CAAC,gBAAgB,CAAC;QAClC,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,kBAAkB;QAChC,IAAI,EAAE;YACJ,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YACtC,IAAI;YACJ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;SACjC;QACD,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAK1C,YAA0B,EAC1B,MAAkD,EAClD,eAAwB,EACxB,IAA0B;IAE1B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAE9D,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAEvD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,YAAY,CAAC;QAChD,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,aAAa;QAC3B,IAAI,EAAE,CAAC,IAAI,CAAC;KACb,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,EAAE,CAAC;IAC/B,CAAC;IAED,MAAM,YAAY,CAAC,gBAAgB,CAAC;QAClC,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,kBAAkB;QAChC,IAAI,EAAE;YACJ,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YACtC,IAAI;YACJ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;SACjC;QACD,OAAO;KACR,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC;QACtC,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,kBAAkB;QAChC,IAAI,EAAE;YACJ,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YACtC,IAAI;YACJ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;SACjC;QACD,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,OAAO;KACsC,CAAC,CAAC;IAEjD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAA0B,EAC1B,eAAwB,EACxB,IAA0B;IAE1B,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,CAAC,MAAM,YAAY,CAAC,YAAY,CAAC;QACtC,OAAO,EAAE,eAAe;QACxB,GAAG,EAAE,2BAA2B;QAChC,YAAY,EAAE,sBAAsB;QACpC,IAAI,EAAE;YACJ,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;YACtC,IAAI;YACJ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;SACjC;KACF,CAAC,CAAY,CAAC;AACjB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,iBAAiB,CAAC,CAAU;IAC1C,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,GAAG,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAAE,OAAO,IAAI,kBAAkB,EAAE,CAAC;IAC1E,IAAI,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC;QAClE,OAAO,IAAI,gBAAgB,EAAE,CAAC;IAChC,OAAO,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;AACjD,CAAC"}

package/package.json

@@ -0,0 +1,26 @@
+{
+  "name": "@opaquecash/psr-chain",
+  "version": "0.1.0",
+  "description": "Viem integration for OpaqueReputationVerifier (roots, verify, submit)",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "clean": "rm -rf dist"
+  },
+  "dependencies": {
+    "@opaquecash/psr-core": "0.1.0",
+    "viem": "^2.21.0"
+  },
+  "sideEffects": false
+}