@veritier/sdk 0.1.0

package/dist/Veritier.d.ts

@@ -0,0 +1,78 @@
+import { ethers } from "ethers";
+import type { VeritierConfig, AgentInfo, TierDistribution, ProofResult, Groth16Proof, SolidityCalldata, AgeProofParams, JurisdictionProofParams, TierProofParams, VerifyAndRegisterParams, RegisterAgentParams, SubmitFeedbackParams, UpgradeAgentTierParams } from "./types";
+import { ProofGenerator } from "./ProofGenerator";
+/**
+ * Veritier — Main SDK class
+ *
+ * Privacy-preserving tiered identity & access protocol for HashKey Chain.
+ * Composes proof generation, identity management, agent management, and compliance checking.
+ *
+ * @example
+ * ```typescript
+ * import { Veritier } from "@veritier/sdk";
+ *
+ * const veritier = new Veritier({
+ *   chainId: 133,
+ *   rpcUrl: "https://testnet.hsk.xyz",
+ *   contracts: { identityRegistry: "0x...", agentRegistry: "0x...", complianceAggregator: "0x..." },
+ *   circuitArtifacts: {
+ *     ageProof: { wasm: "/circuits/age_proof.wasm", zkey: "/circuits/age_proof_final.zkey" },
+ *     jurisdictionProof: { wasm: "...", zkey: "..." },
+ *     tierProof: { wasm: "...", zkey: "..." },
+ *   },
+ * });
+ * ```
+ */
+export declare class Veritier {
+    readonly config: VeritierConfig;
+    readonly provider: ethers.JsonRpcProvider;
+    readonly proofGenerator: ProofGenerator;
+    private identity;
+    private agents;
+    private compliance;
+    constructor(config: VeritierConfig);
+    /** Get the current tier of an address (0 if expired or unverified) */
+    getTier(address: string): Promise<number>;
+    /** Check if an address is verified (tier > 0 and not expired) */
+    isVerified(address: string): Promise<boolean>;
+    /** Check if an address meets a required tier */
+    checkTier(address: string, requiredTier: number): Promise<boolean>;
+    /** Get the identity Merkle root */
+    getIdentityRoot(): Promise<string>;
+    /** Verify a ZK proof and register at a tier (submits on-chain transaction) */
+    verifyAndRegister(params: VerifyAndRegisterParams): Promise<ethers.TransactionReceipt>;
+    /** Upgrade to a higher tier with a new proof */
+    upgradeTier(params: VerifyAndRegisterParams): Promise<ethers.TransactionReceipt>;
+    /** Generate an AgeProof (proves user is at least ageThreshold years old) */
+    generateAgeProof(params: AgeProofParams): Promise<ProofResult>;
+    /** Generate a JurisdictionProof (proves country is in whitelist) */
+    generateJurisdictionProof(params: JurisdictionProofParams): Promise<ProofResult>;
+    /** Generate a TierProof (proves user holds a tier in the Merkle tree) */
+    generateTierProof(params: TierProofParams): Promise<ProofResult>;
+    /** Convert snarkjs proof to Solidity calldata format */
+    static proofToSolidityCalldata(proof: Groth16Proof): SolidityCalldata;
+    /** Register a new AI agent (caller must be Tier 2+) */
+    registerAgent(params: RegisterAgentParams): Promise<{
+        agentId: bigint;
+        tx: ethers.TransactionReceipt;
+    }>;
+    /** Get an agent's current tier */
+    getAgentTier(agentId: bigint): Promise<number>;
+    /** Get full agent details (owner, URI, tier, reputation) */
+    getAgent(agentId: bigint): Promise<AgentInfo>;
+    /** Submit feedback for an agent (-100 to +100) */
+    submitFeedback(params: SubmitFeedbackParams): Promise<ethers.TransactionReceipt>;
+    /** Upgrade an agent's tier (requires reputation + cooldown) */
+    upgradeAgentTier(params: UpgradeAgentTierParams): Promise<ethers.TransactionReceipt>;
+    /** Get reputation score for an agent */
+    getReputationScore(agentId: bigint): Promise<{
+        total: bigint;
+        count: bigint;
+        average: number;
+    }>;
+    /** Get aggregate tier distribution */
+    getTierDistribution(): Promise<TierDistribution>;
+    /** Get jurisdiction distribution (bucket → count) */
+    getJurisdictionDistribution(): Promise<Record<number, bigint>>;
+}
+//# sourceMappingURL=Veritier.d.ts.map

package/dist/Veritier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Veritier.d.ts","sourceRoot":"","sources":["../src/Veritier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,KAAK,EACV,cAAc,EACd,SAAS,EACT,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,eAAe,EACf,uBAAuB,EACvB,mBAAmB,EACnB,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAKlD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,qBAAa,QAAQ;IACnB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IAExC,OAAO,CAAC,QAAQ,CAAkB;IAClC,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,UAAU,CAAc;gBAEpB,MAAM,EAAE,cAAc;IAWlC,sEAAsE;IAChE,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAI/C,iEAAiE;IAC3D,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAInD,gDAAgD;IAC1C,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAIxE,mCAAmC;IAC7B,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC;IAIxC,8EAA8E;IACxE,iBAAiB,CAAC,MAAM,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAI5F,gDAAgD;IAC1C,WAAW,CAAC,MAAM,EAAE,uBAAuB,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAMtF,4EAA4E;IACtE,gBAAgB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC;IAIpE,oEAAoE;IAC9D,yBAAyB,CAAC,MAAM,EAAE,uBAAuB,GAAG,OAAO,CAAC,WAAW,CAAC;IAItF,yEAAyE;IACnE,iBAAiB,CAAC,MAAM,EAAE,eAAe,GAAG,OAAO,CAAC,WAAW,CAAC;IAItE,wDAAwD;IACxD,MAAM,CAAC,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,gBAAgB;IAMrE,uDAAuD;IACjD,aAAa,CACjB,MAAM,EAAE,mBAAmB,GAC1B,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC,kBAAkB,CAAA;KAAE,CAAC;IAI9D,kCAAkC;IAC5B,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAIpD,4DAA4D;IACtD,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC;IAInD,kDAAkD;IAC5C,cAAc,CAAC,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAItF,+DAA+D;IACzD,gBAAgB,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC;IAI1F,wCAAwC;IAClC,kBAAkB,CACtB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAM7D,sCAAsC;IAChC,mBAAmB,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAItD,qDAAqD;IAC/C,2BAA2B,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAGrE"}

package/dist/Veritier.js

@@ -0,0 +1,124 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Veritier = void 0;
+const ethers_1 = require("ethers");
+const ProofGenerator_1 = require("./ProofGenerator");
+const IdentityManager_1 = require("./IdentityManager");
+const AgentManager_1 = require("./AgentManager");
+const TierChecker_1 = require("./TierChecker");
+/**
+ * Veritier — Main SDK class
+ *
+ * Privacy-preserving tiered identity & access protocol for HashKey Chain.
+ * Composes proof generation, identity management, agent management, and compliance checking.
+ *
+ * @example
+ * ```typescript
+ * import { Veritier } from "@veritier/sdk";
+ *
+ * const veritier = new Veritier({
+ *   chainId: 133,
+ *   rpcUrl: "https://testnet.hsk.xyz",
+ *   contracts: { identityRegistry: "0x...", agentRegistry: "0x...", complianceAggregator: "0x..." },
+ *   circuitArtifacts: {
+ *     ageProof: { wasm: "/circuits/age_proof.wasm", zkey: "/circuits/age_proof_final.zkey" },
+ *     jurisdictionProof: { wasm: "...", zkey: "..." },
+ *     tierProof: { wasm: "...", zkey: "..." },
+ *   },
+ * });
+ * ```
+ */
+class Veritier {
+    config;
+    provider;
+    proofGenerator;
+    identity;
+    agents;
+    compliance;
+    constructor(config) {
+        this.config = config;
+        this.provider = new ethers_1.ethers.JsonRpcProvider(config.rpcUrl);
+        this.proofGenerator = new ProofGenerator_1.ProofGenerator(config.circuitArtifacts);
+        this.identity = new IdentityManager_1.IdentityManager(config, this.provider);
+        this.agents = new AgentManager_1.AgentManager(config, this.provider);
+        this.compliance = new TierChecker_1.TierChecker(config, this.provider);
+    }
+    // === Identity Management ===
+    /** Get the current tier of an address (0 if expired or unverified) */
+    async getTier(address) {
+        return this.identity.getTier(address);
+    }
+    /** Check if an address is verified (tier > 0 and not expired) */
+    async isVerified(address) {
+        return this.identity.isVerified(address);
+    }
+    /** Check if an address meets a required tier */
+    async checkTier(address, requiredTier) {
+        return this.identity.isTierValid(address, requiredTier);
+    }
+    /** Get the identity Merkle root */
+    async getIdentityRoot() {
+        return this.identity.getIdentityRoot();
+    }
+    /** Verify a ZK proof and register at a tier (submits on-chain transaction) */
+    async verifyAndRegister(params) {
+        return this.identity.verifyAndRegister(params);
+    }
+    /** Upgrade to a higher tier with a new proof */
+    async upgradeTier(params) {
+        return this.identity.upgradeTier(params);
+    }
+    // === Proof Generation ===
+    /** Generate an AgeProof (proves user is at least ageThreshold years old) */
+    async generateAgeProof(params) {
+        return this.proofGenerator.generateAgeProof(params);
+    }
+    /** Generate a JurisdictionProof (proves country is in whitelist) */
+    async generateJurisdictionProof(params) {
+        return this.proofGenerator.generateJurisdictionProof(params);
+    }
+    /** Generate a TierProof (proves user holds a tier in the Merkle tree) */
+    async generateTierProof(params) {
+        return this.proofGenerator.generateTierProof(params);
+    }
+    /** Convert snarkjs proof to Solidity calldata format */
+    static proofToSolidityCalldata(proof) {
+        return ProofGenerator_1.ProofGenerator.proofToSolidityCalldata(proof);
+    }
+    // === Agent Management ===
+    /** Register a new AI agent (caller must be Tier 2+) */
+    async registerAgent(params) {
+        return this.agents.registerAgent(params);
+    }
+    /** Get an agent's current tier */
+    async getAgentTier(agentId) {
+        return this.agents.getAgentTier(agentId);
+    }
+    /** Get full agent details (owner, URI, tier, reputation) */
+    async getAgent(agentId) {
+        return this.agents.getAgent(agentId);
+    }
+    /** Submit feedback for an agent (-100 to +100) */
+    async submitFeedback(params) {
+        return this.agents.submitFeedback(params);
+    }
+    /** Upgrade an agent's tier (requires reputation + cooldown) */
+    async upgradeAgentTier(params) {
+        return this.agents.upgradeAgentTier(params);
+    }
+    /** Get reputation score for an agent */
+    async getReputationScore(agentId) {
+        return this.agents.getReputationScore(agentId);
+    }
+    // === Compliance ===
+    /** Get aggregate tier distribution */
+    async getTierDistribution() {
+        return this.compliance.getTierDistribution();
+    }
+    /** Get jurisdiction distribution (bucket → count) */
+    async getJurisdictionDistribution() {
+        return this.compliance.getJurisdictionDistribution();
+    }
+}
+exports.Veritier = Veritier;
+//# sourceMappingURL=Veritier.js.map

package/dist/Veritier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Veritier.js","sourceRoot":"","sources":["../src/Veritier.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAgBhC,qDAAkD;AAClD,uDAAoD;AACpD,iDAA8C;AAC9C,+CAA4C;AAE5C;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAa,QAAQ;IACV,MAAM,CAAiB;IACvB,QAAQ,CAAyB;IACjC,cAAc,CAAiB;IAEhC,QAAQ,CAAkB;IAC1B,MAAM,CAAe;IACrB,UAAU,CAAc;IAEhC,YAAY,MAAsB;QAChC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,IAAI,eAAM,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,cAAc,GAAG,IAAI,+BAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,GAAG,IAAI,iCAAe,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,GAAG,IAAI,2BAAY,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU,GAAG,IAAI,yBAAW,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAED,8BAA8B;IAE9B,sEAAsE;IACtE,KAAK,CAAC,OAAO,CAAC,OAAe;QAC3B,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IAED,iEAAiE;IACjE,KAAK,CAAC,UAAU,CAAC,OAAe;QAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,gDAAgD;IAChD,KAAK,CAAC,SAAS,CAAC,OAAe,EAAE,YAAoB;QACnD,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC1D,CAAC;IAED,mCAAmC;IACnC,KAAK,CAAC,eAAe;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;IACzC,CAAC;IAED,8EAA8E;IAC9E,KAAK,CAAC,iBAAiB,CAAC,MAA+B;QACrD,OAAO,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,gDAAgD;IAChD,KAAK,CAAC,WAAW,CAAC,MAA+B;QAC/C,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED,2BAA2B;IAE3B,4EAA4E;IAC5E,KAAK,CAAC,gBAAgB,CAAC,MAAsB;QAC3C,OAAO,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,oEAAoE;IACpE,KAAK,CAAC,yBAAyB,CAAC,MAA+B;QAC7D,OAAO,IAAI,CAAC,cAAc,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAC/D,CAAC;IAED,yEAAyE;IACzE,KAAK,CAAC,iBAAiB,CAAC,MAAuB;QAC7C,OAAO,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,wDAAwD;IACxD,MAAM,CAAC,uBAAuB,CAAC,KAAmB;QAChD,OAAO,+BAAc,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,2BAA2B;IAE3B,uDAAuD;IACvD,KAAK,CAAC,aAAa,CACjB,MAA2B;QAE3B,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED,kCAAkC;IAClC,KAAK,CAAC,YAAY,CAAC,OAAe;QAChC,OAAO,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,4DAA4D;IAC5D,KAAK,CAAC,QAAQ,CAAC,OAAe;QAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,kDAAkD;IAClD,KAAK,CAAC,cAAc,CAAC,MAA4B;QAC/C,OAAO,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IAED,+DAA+D;IAC/D,KAAK,CAAC,gBAAgB,CAAC,MAA8B;QACnD,OAAO,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED,wCAAwC;IACxC,KAAK,CAAC,kBAAkB,CACtB,OAAe;QAEf,OAAO,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,qBAAqB;IAErB,sCAAsC;IACtC,KAAK,CAAC,mBAAmB;QACvB,OAAO,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC;IAC/C,CAAC;IAED,qDAAqD;IACrD,KAAK,CAAC,2BAA2B;QAC/B,OAAO,IAAI,CAAC,UAAU,CAAC,2BAA2B,EAAE,CAAC;IACvD,CAAC;CACF;AAvHD,4BAuHC"}