@claviss/sdk 0.1.0

package/dist/zk/merkle.js

@@ -0,0 +1,92 @@
+import { buildPoseidon } from "circomlibjs";
+/**
+ * Poseidon Merkle tree whose hashing matches circuits/credential.circom:
+ *   parent = Poseidon(left, right)
+ *   leaf   = Poseidon(secret)   // identity commitment
+ *
+ * Fixed depth; empty slots are filled with a zero subtree so the root is
+ * stable. Keep `depth` in sync with the circuit (default 20).
+ */
+export class PoseidonMerkleTree {
+    constructor(poseidon, depth) {
+        this.zeros = [];
+        this.layers = [];
+        this.poseidon = poseidon;
+        this.F = poseidon.F;
+        this.depth = depth;
+    }
+    static async create(depth = 20) {
+        const poseidon = await buildPoseidon();
+        const t = new PoseidonMerkleTree(poseidon, depth);
+        // precompute zero subtree roots per level
+        let cur = 0n;
+        t.zeros.push(cur);
+        for (let i = 0; i < depth; i++) {
+            cur = t.hash2(cur, cur);
+            t.zeros.push(cur);
+        }
+        t.layers = [[]];
+        return t;
+    }
+    toBig(x) {
+        return BigInt(this.F.toString(x));
+    }
+    hash1(a) {
+        return this.toBig(this.poseidon([a]));
+    }
+    hash2(a, b) {
+        return this.toBig(this.poseidon([a, b]));
+    }
+    /** identity commitment for a secret */
+    commitment(secret) {
+        return this.hash1(secret);
+    }
+    /** insert a leaf (already a commitment) and return its index */
+    insert(leaf) {
+        const index = this.layers[0].length;
+        this.layers[0].push(leaf);
+        this.rebuild();
+        return index;
+    }
+    /**
+     * Insert many leaves and rebuild once — O(n) total instead of O(n²) from
+     * calling insert() in a loop. Use this to load a tree from a commitment list.
+     */
+    insertMany(leaves) {
+        for (const leaf of leaves)
+            this.layers[0].push(leaf);
+        this.rebuild();
+    }
+    rebuild() {
+        for (let level = 0; level < this.depth; level++) {
+            const cur = this.layers[level];
+            const next = [];
+            for (let i = 0; i < cur.length; i += 2) {
+                const left = cur[i];
+                const right = i + 1 < cur.length ? cur[i + 1] : this.zeros[level];
+                next.push(this.hash2(left, right));
+            }
+            this.layers[level + 1] = next;
+        }
+    }
+    root() {
+        const top = this.layers[this.depth];
+        return top && top.length ? top[0] : this.zeros[this.depth];
+    }
+    /** Merkle proof for the leaf at `index`, formatted for the circuit. */
+    proof(index) {
+        const pathElements = [];
+        const pathIndices = [];
+        let idx = index;
+        for (let level = 0; level < this.depth; level++) {
+            const cur = this.layers[level] ?? [];
+            const isRight = idx % 2;
+            const siblingIdx = isRight ? idx - 1 : idx + 1;
+            const sibling = siblingIdx < cur.length ? cur[siblingIdx] : this.zeros[level];
+            pathElements.push(sibling);
+            pathIndices.push(isRight);
+            idx = Math.floor(idx / 2);
+        }
+        return { pathElements, pathIndices };
+    }
+}

package/dist/zk/prover.d.ts

@@ -0,0 +1,20 @@
+import { PoseidonMerkleTree } from "./merkle.js";
+import { type ProofCalldata, type RawProof } from "./calldata.js";
+export interface CredentialInputs {
+    secret: bigint;
+    tree: PoseidonMerkleTree;
+    leafIndex: number;
+    externalNullifier: bigint;
+    signalHash: bigint;
+}
+export type { ProofCalldata, RawProof };
+/**
+ * Generate the raw snarkjs proof + public signals. Use this when submitting via
+ * the relay, which formats calldata server-side.
+ */
+export declare function proveCredentialRaw(inputs: CredentialInputs, wasmPath: string, zkeyPath: string): Promise<RawProof>;
+/**
+ * Selective-disclosure proof as CredentialGroups.verify calldata.
+ * signals = [nullifierHash, merkleRoot, externalNullifier, signalHash].
+ */
+export declare function proveCredential(inputs: CredentialInputs, wasmPath: string, zkeyPath: string): Promise<ProofCalldata>;

package/dist/zk/prover.js

@@ -0,0 +1,27 @@
+import { groth16 } from "snarkjs";
+import { toCalldata } from "./calldata.js";
+/**
+ * Generate the raw snarkjs proof + public signals. Use this when submitting via
+ * the relay, which formats calldata server-side.
+ */
+export async function proveCredentialRaw(inputs, wasmPath, zkeyPath) {
+    const { secret, tree, leafIndex, externalNullifier, signalHash } = inputs;
+    const { pathElements, pathIndices } = tree.proof(leafIndex);
+    const witness = {
+        secret: secret.toString(),
+        pathElements: pathElements.map((x) => x.toString()),
+        pathIndices: pathIndices.map((x) => x.toString()),
+        merkleRoot: tree.root().toString(),
+        externalNullifier: externalNullifier.toString(),
+        signalHash: signalHash.toString(),
+    };
+    const { proof, publicSignals } = await groth16.fullProve(witness, wasmPath, zkeyPath);
+    return { proof, publicSignals };
+}
+/**
+ * Selective-disclosure proof as CredentialGroups.verify calldata.
+ * signals = [nullifierHash, merkleRoot, externalNullifier, signalHash].
+ */
+export async function proveCredential(inputs, wasmPath, zkeyPath) {
+    return toCalldata(await proveCredentialRaw(inputs, wasmPath, zkeyPath));
+}

package/package.json

@@ -0,0 +1,49 @@
+{
+  "name": "@claviss/sdk",
+  "version": "0.1.0",
+  "description": "Clavis privacy SDK for Robinhood Chain (EVM): hidden-amount shielded payments, ZK selective disclosure, stealth addresses, compliant privacy pool.",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/romeoscript/clavis.git",
+    "directory": "packages/sdk"
+  },
+  "homepage": "https://clavisrobinhood.com",
+  "keywords": [
+    "privacy",
+    "zero-knowledge",
+    "zk",
+    "stealth-address",
+    "privacy-pool",
+    "robinhood-chain",
+    "evm",
+    "ethereum"
+  ],
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "sideEffects": false,
+  "scripts": {
+    "build": "tsc -p tsconfig.json"
+  },
+  "dependencies": {
+    "@noble/curves": "^1.6.0",
+    "@noble/hashes": "^1.5.0",
+    "circomlibjs": "^0.1.7",
+    "snarkjs": "^0.7.5",
+    "viem": "^2.21.0"
+  },
+  "devDependencies": {
+    "typescript": "^5.6.3"
+  }
+}