@bolyra/sdk 0.2.0 → 0.3.0

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for describing the origin of the Work and
+      reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may accept and charge a
+      fee for the acceptance of support, warranty, indemnity, or other
+      liability obligations and/or rights consistent with this License.
+      However, in accepting such obligations, You may act only on Your
+      own behalf and on Your sole responsibility, not on behalf of any
+      other Contributor, and only if You agree to indemnify, defend,
+      and hold each Contributor harmless for any liability incurred by,
+      or claims asserted against, such Contributor by reason of your
+      accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Viswanadha Pratap Kondoju
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,63 @@
+Bolyra
+Copyright 2026 Viswanadha Pratap Kondoju
+
+This product includes software developed by Viswanadha Pratap Kondoju for the Bolyra
+project (https://bolyra.ai).
+
+================================================================================
+PATENT NOTICE
+================================================================================
+
+The patent grant in Section 3 of the Apache License, Version 2.0 ("the
+License") under which this software is distributed extends, without
+limitation, to all patent claims owned or controlled by the Licensor that are
+necessarily infringed by the Contribution alone or in combination with this
+Work, including without limitation any claims that may issue from the
+following patent applications and any continuations, continuations-in-part,
+divisionals, reissues, reexaminations, foreign counterparts, or any other
+applications claiming priority therefrom:
+
+  - U.S. Provisional Patent Application No. 64/043,898, filed April 20, 2026,
+    titled "Privacy-Preserving Mutual Authentication and Composable Delegation
+    Between Human and Artificial Intelligence Agent Identities Using
+    Zero-Knowledge Proofs with Scope Commitment Chain Linking."
+
+The Licensor reserves the right to file additional patent applications
+covering subject matter contained in or related to this Work. Any such
+applications, if filed and prosecuted by the Licensor, will be subject to the
+same patent grant under Section 3 of the License with respect to the version
+of the Work distributed under the License.
+
+The defensive termination provision of Section 3 of the License applies in
+full: any patent license granted under the License terminates as of the date
+that the licensee institutes patent litigation against the Licensor, the
+Bolyra protocol, or any compliant implementation thereof.
+
+================================================================================
+STANDARDS BODY INTENT
+================================================================================
+
+The Licensor intends, but is not yet bound, to make a royalty-free (RF)
+licensing declaration consistent with the IETF IPR disclosure rules (BCP 79)
+and the W3C Patent Policy at such time as the Bolyra protocol is submitted to
+a recognized standards body. This statement is forward-looking and does not
+itself constitute an RF declaration to any particular standards
+organization.
+
+================================================================================
+TRADEMARK NOTICE
+================================================================================
+
+"Bolyra" is a trademark of Viswanadha Pratap Kondoju. The Apache License does not grant
+permission to use the trade name "Bolyra" or related marks except as required
+for describing the origin of the Work and as permitted under the nominative
+fair use policy set out in TRADEMARKS.md at the project root. See
+TRADEMARKS.md for details on permitted and prohibited uses.
+
+================================================================================
+THIRD-PARTY NOTICES
+================================================================================
+
+This software depends on other open-source software. License information for
+those dependencies is included in the corresponding package metadata
+(package.json, node_modules/<dep>/LICENSE).

package/README.md

@@ -1,6 +1,6 @@
 # @bolyra/sdk
 
-TypeScript SDK for **Bolyra (IdentityOS)** — mutual ZKP authentication for humans and AI agents.
+TypeScript SDK for **Bolyra** — mutual ZKP authentication for humans and AI agents.
 
 > **New here?** Start with the [5-minute Quickstart](./QUICKSTART.md) — from `npm install` to on-chain verification.
 
@@ -73,4 +73,4 @@ Permissions use cumulative bit encoding — higher tiers imply lower ones:
 
 ## License
 
-MIT
+Apache-2.0 — see [LICENSE](../LICENSE).

package/dist/delegation.d.ts

@@ -1,26 +1,74 @@
-import { DelegationResult, Proof, BolyraConfig, AgentCredential } from './types';
+import { AgentCredential, BolyraConfig, DelegateeMerkleProof, DelegationResult, Proof } from './types';
+import { ProverBackend } from './prover';
+export interface DelegateInput {
+    /** The delegating agent's credential (provides modelHash, operator pubkey, scope, expiry). */
+    delegator: AgentCredential;
+    /** Operator's EdDSA private key — used to sign the delegation token.
+     *  Same key that minted the delegator credential. */
+    delegatorOperatorPrivateKey: bigint | Buffer;
+    /** Identity commitment of the recipient (leaf in agentTree). */
+    delegateeCommitment: bigint;
+    /** Narrowed scope being granted. Must be a subset of delegator.permissionBitmask
+     *  under the cumulative-bit rules. Circuit enforces; SDK pre-checks for a clean error. */
+    delegateeScope: bigint;
+    /** Expiry being granted. Must be <= delegator.expiryTimestamp. */
+    delegateeExpiry: bigint;
+    /** Scope commitment from the prior chain link.
+     *  For hop 1, this is the agent's scopeCommitment output from the handshake.
+     *  For hop N+1, this is the previous delegation's newScopeCommitment. */
+    previousScopeCommitment: bigint;
+    /** Session nonce. Must match the nonce of the originating handshake. */
+    sessionNonce: bigint;
+    /** Unix-seconds timestamp the proof is bound to. Must be within MAX_CLOCK_SKEW
+     *  of block.timestamp at on-chain verification time (300s in IdentityRegistry).
+     *  Defaults to floor(Date.now() / 1000). */
+    currentTimestamp?: bigint;
+    /** Optional Merkle inclusion proof for the delegatee in agentTree.
+     *  Defaults to the single-leaf pattern (sufficient for tests and demos). */
+    delegateeMerkleProof?: DelegateeMerkleProof;
+    /** Informational hop index (0-indexed). Not consumed by the circuit;
+     *  echoed in DelegationResult for caller bookkeeping. */
+    hopIndex?: number;
+    config?: BolyraConfig;
+    backend?: ProverBackend;
+}
 /**
- * Delegate scoped permissions to another agent.
- * Currently a stub -- full implementation requires the delegation circuit zkey.
+ * Generate a Delegation proof.
  *
- * @param delegator - The delegating agent's credential
- * @param delegatee - The receiving agent's credential
- * @param parentScopeCommitment - Scope commitment from the parent handshake or delegation
- * @param hopIndex - Current hop index in the delegation chain (0-indexed)
- * @param config - SDK configuration
- * @returns Delegation proof ready for on-chain verification
+ * Produces a Groth16 proof matching the Delegation circuit. The caller submits
+ * `{ proof, publicSignals }` to `IdentityRegistry.verifyDelegation()` along with
+ * the session nonce.
+ *
+ * Scope narrowing is one-way: the circuit (and contract) reject any delegatee
+ * scope that is not a subset of the delegator's, and any expiry past the
+ * delegator's. The cumulative-bit invariants (bit 4 ⇒ 2+3, bit 3 ⇒ 2) are
+ * enforced on the delegatee scope.
+ *
+ * @example
+ * ```ts
+ * const { proof, result } = await delegate({
+ *   delegator: parentCredential,
+ *   delegatorOperatorPrivateKey: operatorSecret,
+ *   delegateeCommitment: childCredential.commitment,
+ *   delegateeScope: 0b00000011n,                    // read + write (narrower)
+ *   delegateeExpiry: parentCredential.expiryTimestamp - 3600n,
+ *   previousScopeCommitment: handshake.scopeCommitment,
+ *   sessionNonce: handshake.sessionNonce,
+ * });
+ * ```
  */
-export declare function delegate(_delegator: AgentCredential, _delegatee: AgentCredential, _parentScopeCommitment: bigint, _hopIndex: number, _config?: BolyraConfig): Promise<{
+export declare function delegate(input: DelegateInput): Promise<{
     proof: Proof;
     result: DelegationResult;
 }>;
 /**
- * Verify a delegation proof on-chain.
+ * Verify a delegation proof off-chain (snarkjs Groth16 verify).
  *
- * @param proof - The delegation ZK proof
- * @param parentScopeCommitment - Expected parent scope commitment
- * @param config - SDK configuration
- * @returns DelegationResult with new scope commitment and hop index
+ * For on-chain enforcement, submit `proof` and `proof.publicSignals` to
+ * `IdentityRegistry.verifyDelegation(proof, pubSignals, sessionNonce)` — that
+ * call additionally enforces chain state, hop count, expiry binding, and
+ * nullifier replay. Off-chain verify here only confirms the proof itself is
+ * mathematically valid and that the publicSignals match the expected chain link.
  */
-export declare function verifyDelegation(_proof: Proof, _parentScopeCommitment: bigint, _config?: BolyraConfig): Promise<DelegationResult>;
+export declare function verifyDelegation(proof: Proof, previousScopeCommitment: bigint, sessionNonce: bigint, currentTimestamp: bigint, config?: BolyraConfig): Promise<DelegationResult>;
 //# sourceMappingURL=delegation.d.ts.map

package/dist/delegation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"delegation.d.ts","sourceRoot":"","sources":["../src/delegation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAEjF;;;;;;;;;;GAUG;AACH,wBAAsB,QAAQ,CAC5B,UAAU,EAAE,eAAe,EAC3B,UAAU,EAAE,eAAe,EAC3B,sBAAsB,EAAE,MAAM,EAC9B,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAKrD;AAED;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CACpC,MAAM,EAAE,KAAK,EACb,sBAAsB,EAAE,MAAM,EAC9B,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAAC,gBAAgB,CAAC,CAK3B"}
+{"version":3,"file":"delegation.d.ts","sourceRoot":"","sources":["../src/delegation.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,eAAe,EACf,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,KAAK,EACN,MAAM,SAAS,CAAC;AASjB,OAAO,EAAgB,aAAa,EAAE,MAAM,UAAU,CAAC;AAiCvD,MAAM,WAAW,aAAa;IAC5B,8FAA8F;IAC9F,SAAS,EAAE,eAAe,CAAC;IAC3B;yDACqD;IACrD,2BAA2B,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7C,gEAAgE;IAChE,mBAAmB,EAAE,MAAM,CAAC;IAC5B;8FAC0F;IAC1F,cAAc,EAAE,MAAM,CAAC;IACvB,kEAAkE;IAClE,eAAe,EAAE,MAAM,CAAC;IACxB;;6EAEyE;IACzE,uBAAuB,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;IACrB;;gDAE4C;IAC5C,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;gFAC4E;IAC5E,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;IAC5C;6DACyD;IACzD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,QAAQ,CAC5B,KAAK,EAAE,aAAa,GACnB,OAAO,CAAC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,CAAC,CA0GrD;AAED;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,KAAK,EACZ,uBAAuB,EAAE,MAAM,EAC/B,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,MAAM,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,gBAAgB,CAAC,CAgD3B"}

package/dist/delegation.js

@@ -1,31 +1,214 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.delegate = delegate;
 exports.verifyDelegation = verifyDelegation;
+const snarkjs = __importStar(require("snarkjs"));
+const path = __importStar(require("path"));
+const fs = __importStar(require("fs"));
 const errors_1 = require("./errors");
+const utils_1 = require("./utils");
+const prover_1 = require("./prover");
+const DEFAULT_CIRCUIT_DIR = process.env.BOLYRA_CIRCUITS_DIR ?? path.join(__dirname, '../../circuits/build');
+/** Delegation circuit MAX_DEPTH constant (matches circuits/src/Delegation.circom). */
+const DELEGATION_MAX_DEPTH = 20;
+/** snarkjs publicSignals layout for the Delegation circuit (outputs first):
+ *    [0] newScopeCommitment
+ *    [1] delegationNullifier
+ *    [2] delegateeMerkleRoot
+ *    [3] previousScopeCommitment
+ *    [4] sessionNonce
+ *    [5] currentTimestamp
+ *  This MUST match IdentityRegistry.verifyDelegation()'s pubSignals layout.
+ */
+const PUBSIG_NEW_SCOPE = 0;
+const PUBSIG_NULLIFIER = 1;
+const PUBSIG_DELEGATEE_ROOT = 2;
+const PUBSIG_PREV_SCOPE = 3;
+const PUBSIG_SESSION_NONCE = 4;
+const PUBSIG_CURRENT_TS = 5;
+/** Build the single-leaf Merkle proof default (matches the conformance test pattern). */
+function defaultMerkleProof() {
+    return {
+        length: 1,
+        index: 0,
+        siblings: new Array(DELEGATION_MAX_DEPTH).fill(0n),
+    };
+}
 /**
- * Delegate scoped permissions to another agent.
- * Currently a stub -- full implementation requires the delegation circuit zkey.
+ * Generate a Delegation proof.
+ *
+ * Produces a Groth16 proof matching the Delegation circuit. The caller submits
+ * `{ proof, publicSignals }` to `IdentityRegistry.verifyDelegation()` along with
+ * the session nonce.
+ *
+ * Scope narrowing is one-way: the circuit (and contract) reject any delegatee
+ * scope that is not a subset of the delegator's, and any expiry past the
+ * delegator's. The cumulative-bit invariants (bit 4 ⇒ 2+3, bit 3 ⇒ 2) are
+ * enforced on the delegatee scope.
  *
- * @param delegator - The delegating agent's credential
- * @param delegatee - The receiving agent's credential
- * @param parentScopeCommitment - Scope commitment from the parent handshake or delegation
- * @param hopIndex - Current hop index in the delegation chain (0-indexed)
- * @param config - SDK configuration
- * @returns Delegation proof ready for on-chain verification
+ * @example
+ * ```ts
+ * const { proof, result } = await delegate({
+ *   delegator: parentCredential,
+ *   delegatorOperatorPrivateKey: operatorSecret,
+ *   delegateeCommitment: childCredential.commitment,
+ *   delegateeScope: 0b00000011n,                    // read + write (narrower)
+ *   delegateeExpiry: parentCredential.expiryTimestamp - 3600n,
+ *   previousScopeCommitment: handshake.scopeCommitment,
+ *   sessionNonce: handshake.sessionNonce,
+ * });
+ * ```
  */
-async function delegate(_delegator, _delegatee, _parentScopeCommitment, _hopIndex, _config) {
-    throw new errors_1.BolyraError('delegate() coming in @bolyra/sdk v0.3 — delegation circuit integration.', 'NOT_IMPLEMENTED');
+async function delegate(input) {
+    // Pre-flight scope check — gives a clean error before paying for proof generation.
+    if ((input.delegateeScope & ~input.delegator.permissionBitmask) !== 0n) {
+        throw new errors_1.ScopeEscalationError(input.delegator.permissionBitmask, input.delegateeScope);
+    }
+    if (input.delegateeExpiry > input.delegator.expiryTimestamp) {
+        throw new errors_1.BolyraError(`Delegatee expiry (${input.delegateeExpiry}) exceeds delegator expiry (${input.delegator.expiryTimestamp}). Delegations may only narrow expiry, not extend it.`, 'EXPIRY_ESCALATION', {
+            delegateeExpiry: input.delegateeExpiry.toString(),
+            delegatorExpiry: input.delegator.expiryTimestamp.toString(),
+        });
+    }
+    // Sanity check: the previousScopeCommitment passed in must equal the
+    // identity-bound chain link Poseidon3(delegatorScope, delegatorCredCommitment,
+    // delegatorExpiry). The circuit will assert this; we precheck for a clean error.
+    // Ordered before artifact loading so CI environments without circuits still
+    // surface CHAIN_LINK_MISMATCH instead of CIRCUIT_ARTIFACT_NOT_FOUND.
+    const expectedPrev = await (0, utils_1.poseidon3)(input.delegator.permissionBitmask, input.delegator.commitment, input.delegator.expiryTimestamp);
+    if (expectedPrev !== input.previousScopeCommitment) {
+        throw new errors_1.BolyraError(`previousScopeCommitment does not match the delegator's identity-bound chain link. Got ${input.previousScopeCommitment}, expected ${expectedPrev} (= Poseidon3(scope, credCommitment, expiry) for this delegator). For hop 1, pass the agent's scopeCommitment output from proveHandshake.`, 'CHAIN_LINK_MISMATCH');
+    }
+    const circuitDir = input.config?.circuitDir ?? DEFAULT_CIRCUIT_DIR;
+    const backend = input.backend ?? 'auto';
+    const currentTimestamp = input.currentTimestamp ?? BigInt(Math.floor(Date.now() / 1000));
+    const merkleProof = input.delegateeMerkleProof ?? defaultMerkleProof();
+    if (merkleProof.siblings.length !== DELEGATION_MAX_DEPTH) {
+        throw new errors_1.BolyraError(`Delegatee Merkle proof must have exactly ${DELEGATION_MAX_DEPTH} siblings (got ${merkleProof.siblings.length}).`, 'INVALID_MERKLE_PROOF');
+    }
+    const wasmPath = path.join(circuitDir, 'Delegation_js/Delegation.wasm');
+    const zkeyPath = path.join(circuitDir, 'Delegation_final.zkey');
+    if (!fs.existsSync(wasmPath)) {
+        throw new errors_1.CircuitArtifactNotFoundError(wasmPath, 'wasm');
+    }
+    if (!fs.existsSync(zkeyPath)) {
+        throw new errors_1.CircuitArtifactNotFoundError(zkeyPath, 'zkey');
+    }
+    // The delegator signs the delegation token, binding this delegation to a
+    // specific recipient with specific scope+expiry.
+    // Token = Poseidon4(previousScopeCommitment, delegateeCommitment, delegateeScope, delegateeExpiry).
+    const tokenHash = await (0, utils_1.poseidon4)(input.previousScopeCommitment, input.delegateeCommitment, input.delegateeScope, input.delegateeExpiry);
+    const sig = await (0, utils_1.eddsaSign)(input.delegatorOperatorPrivateKey, tokenHash);
+    const witnessInput = {
+        delegatorScope: input.delegator.permissionBitmask.toString(),
+        delegateeScope: input.delegateeScope.toString(),
+        delegateeExpiry: input.delegateeExpiry.toString(),
+        delegatorExpiry: input.delegator.expiryTimestamp.toString(),
+        delegatorModelHash: input.delegator.modelHash.toString(),
+        delegatorPubkeyAx: input.delegator.operatorPublicKey.x.toString(),
+        delegatorPubkeyAy: input.delegator.operatorPublicKey.y.toString(),
+        sigR8x: sig.R8.x.toString(),
+        sigR8y: sig.R8.y.toString(),
+        sigS: sig.S.toString(),
+        delegatorCredCommitment: input.delegator.commitment.toString(),
+        delegateeCredCommitment: input.delegateeCommitment.toString(),
+        delegateeMerkleProofLength: merkleProof.length.toString(),
+        delegateeMerkleProofIndex: merkleProof.index.toString(),
+        delegateeMerkleProofSiblings: merkleProof.siblings.map((s) => s.toString()),
+        previousScopeCommitment: input.previousScopeCommitment.toString(),
+        sessionNonce: input.sessionNonce.toString(),
+        currentTimestamp: currentTimestamp.toString(),
+    };
+    let proof;
+    try {
+        proof = await (0, prover_1.proveGroth16)(witnessInput, wasmPath, zkeyPath, backend);
+    }
+    catch (err) {
+        throw new errors_1.ProofGenerationError('Delegation', err.message ?? String(err));
+    }
+    const result = {
+        newScopeCommitment: BigInt(proof.publicSignals[PUBSIG_NEW_SCOPE]),
+        delegationNullifier: BigInt(proof.publicSignals[PUBSIG_NULLIFIER]),
+        delegateeMerkleRoot: BigInt(proof.publicSignals[PUBSIG_DELEGATEE_ROOT]),
+        hopIndex: input.hopIndex ?? 0,
+    };
+    return { proof, result };
 }
 /**
- * Verify a delegation proof on-chain.
+ * Verify a delegation proof off-chain (snarkjs Groth16 verify).
  *
- * @param proof - The delegation ZK proof
- * @param parentScopeCommitment - Expected parent scope commitment
- * @param config - SDK configuration
- * @returns DelegationResult with new scope commitment and hop index
+ * For on-chain enforcement, submit `proof` and `proof.publicSignals` to
+ * `IdentityRegistry.verifyDelegation(proof, pubSignals, sessionNonce)` — that
+ * call additionally enforces chain state, hop count, expiry binding, and
+ * nullifier replay. Off-chain verify here only confirms the proof itself is
+ * mathematically valid and that the publicSignals match the expected chain link.
  */
-async function verifyDelegation(_proof, _parentScopeCommitment, _config) {
-    throw new errors_1.BolyraError('verifyDelegation() coming in @bolyra/sdk v0.3.', 'NOT_IMPLEMENTED');
+async function verifyDelegation(proof, previousScopeCommitment, sessionNonce, currentTimestamp, config) {
+    if (!proof || !proof.proof || !Array.isArray(proof.publicSignals)) {
+        throw new errors_1.VerificationError('Invalid Delegation proof structure: expected { proof: object, publicSignals: string[] }.');
+    }
+    if (proof.publicSignals.length < 6) {
+        throw new errors_1.VerificationError(`Delegation proof has ${proof.publicSignals.length} public signals, expected 6.`);
+    }
+    // Bind the public signals to the expected chain context before trusting the proof.
+    if (BigInt(proof.publicSignals[PUBSIG_PREV_SCOPE]) !== previousScopeCommitment) {
+        throw new errors_1.VerificationError(`previousScopeCommitment mismatch: proof binds ${proof.publicSignals[PUBSIG_PREV_SCOPE]}, caller expected ${previousScopeCommitment}.`);
+    }
+    if (BigInt(proof.publicSignals[PUBSIG_SESSION_NONCE]) !== sessionNonce) {
+        throw new errors_1.VerificationError(`sessionNonce mismatch: proof binds ${proof.publicSignals[PUBSIG_SESSION_NONCE]}, caller expected ${sessionNonce}.`);
+    }
+    if (BigInt(proof.publicSignals[PUBSIG_CURRENT_TS]) !== currentTimestamp) {
+        throw new errors_1.VerificationError(`currentTimestamp mismatch: proof binds ${proof.publicSignals[PUBSIG_CURRENT_TS]}, caller expected ${currentTimestamp}.`);
+    }
+    const circuitDir = config?.circuitDir ?? DEFAULT_CIRCUIT_DIR;
+    const vkeyPath = path.join(circuitDir, 'Delegation_groth16_vkey.json');
+    if (!fs.existsSync(vkeyPath)) {
+        throw new errors_1.CircuitArtifactNotFoundError(vkeyPath, 'vkey');
+    }
+    // eslint-disable-next-line @typescript-eslint/no-var-requires
+    const vkey = require(vkeyPath);
+    const valid = await snarkjs.groth16.verify(vkey, proof.publicSignals, proof.proof);
+    if (!valid) {
+        throw new errors_1.VerificationError('Delegation proof failed Groth16 verification.');
+    }
+    return {
+        newScopeCommitment: BigInt(proof.publicSignals[PUBSIG_NEW_SCOPE]),
+        delegationNullifier: BigInt(proof.publicSignals[PUBSIG_NULLIFIER]),
+        delegateeMerkleRoot: BigInt(proof.publicSignals[PUBSIG_DELEGATEE_ROOT]),
+        hopIndex: 0,
+    };
 }
 //# sourceMappingURL=delegation.js.map

package/dist/delegation.js.map

@@ -1 +1 @@
-{"version":3,"file":"delegation.js","sourceRoot":"","sources":["../src/delegation.ts"],"names":[],"mappings":";;AAcA,4BAWC;AAUD,4CASC;AA5CD,qCAAuC;AAGvC;;;;;;;;;;GAUG;AACI,KAAK,UAAU,QAAQ,CAC5B,UAA2B,EAC3B,UAA2B,EAC3B,sBAA8B,EAC9B,SAAiB,EACjB,OAAsB;IAEtB,MAAM,IAAI,oBAAW,CACnB,yEAAyE,EACzE,iBAAiB,CAClB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACI,KAAK,UAAU,gBAAgB,CACpC,MAAa,EACb,sBAA8B,EAC9B,OAAsB;IAEtB,MAAM,IAAI,oBAAW,CACnB,gDAAgD,EAChD,iBAAiB,CAClB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"delegation.js","sourceRoot":"","sources":["../src/delegation.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6GA,4BA4GC;AAWD,4CAsDC;AA1RD,iDAAmC;AACnC,2CAA6B;AAC7B,uCAAyB;AAQzB,qCAMkB;AAClB,mCAA0D;AAC1D,qCAAuD;AAEvD,MAAM,mBAAmB,GACvB,OAAO,CAAC,GAAG,CAAC,mBAAmB,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;AAElF,sFAAsF;AACtF,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEhC;;;;;;;;GAQG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAC3B,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAChC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAC5B,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAC/B,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,yFAAyF;AACzF,SAAS,kBAAkB;IACzB,OAAO;QACL,MAAM,EAAE,CAAC;QACT,KAAK,EAAE,CAAC;QACR,QAAQ,EAAE,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;KACnD,CAAC;AACJ,CAAC;AAmCD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACI,KAAK,UAAU,QAAQ,CAC5B,KAAoB;IAEpB,mFAAmF;IACnF,IACE,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAClE,CAAC;QACD,MAAM,IAAI,6BAAoB,CAC5B,KAAK,CAAC,SAAS,CAAC,iBAAiB,EACjC,KAAK,CAAC,cAAc,CACrB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,GAAG,KAAK,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC;QAC5D,MAAM,IAAI,oBAAW,CACnB,qBAAqB,KAAK,CAAC,eAAe,+BAA+B,KAAK,CAAC,SAAS,CAAC,eAAe,uDAAuD,EAC/J,mBAAmB,EACnB;YACE,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,QAAQ,EAAE;YACjD,eAAe,EAAE,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,EAAE;SAC5D,CACF,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,+EAA+E;IAC/E,iFAAiF;IACjF,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,YAAY,GAAG,MAAM,IAAA,iBAAS,EAClC,KAAK,CAAC,SAAS,CAAC,iBAAiB,EACjC,KAAK,CAAC,SAAS,CAAC,UAAU,EAC1B,KAAK,CAAC,SAAS,CAAC,eAAe,CAChC,CAAC;IACF,IAAI,YAAY,KAAK,KAAK,CAAC,uBAAuB,EAAE,CAAC;QACnD,MAAM,IAAI,oBAAW,CACnB,yFAAyF,KAAK,CAAC,uBAAuB,cAAc,YAAY,2IAA2I,EAC3R,qBAAqB,CACtB,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,UAAU,IAAI,mBAAmB,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC;IACxC,MAAM,gBAAgB,GACpB,KAAK,CAAC,gBAAgB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,KAAK,CAAC,oBAAoB,IAAI,kBAAkB,EAAE,CAAC;IACvE,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;QACzD,MAAM,IAAI,oBAAW,CACnB,4CAA4C,oBAAoB,kBAAkB,WAAW,CAAC,QAAQ,CAAC,MAAM,IAAI,EACjH,sBAAsB,CACvB,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,+BAA+B,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IAChE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,qCAA4B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,qCAA4B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IAED,yEAAyE;IACzE,iDAAiD;IACjD,oGAAoG;IACpG,MAAM,SAAS,GAAG,MAAM,IAAA,iBAAS,EAC/B,KAAK,CAAC,uBAAuB,EAC7B,KAAK,CAAC,mBAAmB,EACzB,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,eAAe,CACtB,CAAC;IACF,MAAM,GAAG,GAAG,MAAM,IAAA,iBAAS,EAAC,KAAK,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC;IAE1E,MAAM,YAAY,GAA4B;QAC5C,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,QAAQ,EAAE;QAC5D,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE;QAC/C,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,QAAQ,EAAE;QACjD,eAAe,EAAE,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,EAAE;QAC3D,kBAAkB,EAAE,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,EAAE;QACxD,iBAAiB,EAAE,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,EAAE;QACjE,iBAAiB,EAAE,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,EAAE;QACjE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC3B,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC3B,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE;QACtB,uBAAuB,EAAE,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE;QAC9D,uBAAuB,EAAE,KAAK,CAAC,mBAAmB,CAAC,QAAQ,EAAE;QAC7D,0BAA0B,EAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE;QACzD,yBAAyB,EAAE,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE;QACvD,4BAA4B,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3E,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,CAAC,QAAQ,EAAE;QACjE,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE;QAC3C,gBAAgB,EAAE,gBAAgB,CAAC,QAAQ,EAAE;KAC9C,CAAC;IAEF,IAAI,KAAY,CAAC;IACjB,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,IAAA,qBAAY,EAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,MAAM,IAAI,6BAAoB,CAAC,YAAY,EAAE,GAAG,CAAC,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,MAAM,GAAqB;QAC/B,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC;QACjE,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC;QAClE,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC;QACvE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,CAAC;KAC9B,CAAC;IAEF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;GAQG;AACI,KAAK,UAAU,gBAAgB,CACpC,KAAY,EACZ,uBAA+B,EAC/B,YAAoB,EACpB,gBAAwB,EACxB,MAAqB;IAErB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,0BAAiB,CACzB,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,0BAAiB,CACzB,wBAAwB,KAAK,CAAC,aAAa,CAAC,MAAM,8BAA8B,CACjF,CAAC;IACJ,CAAC;IAED,mFAAmF;IACnF,IAAI,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,KAAK,uBAAuB,EAAE,CAAC;QAC/E,MAAM,IAAI,0BAAiB,CACzB,iDAAiD,KAAK,CAAC,aAAa,CAAC,iBAAiB,CAAC,qBAAqB,uBAAuB,GAAG,CACvI,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC,KAAK,YAAY,EAAE,CAAC;QACvE,MAAM,IAAI,0BAAiB,CACzB,sCAAsC,KAAK,CAAC,aAAa,CAAC,oBAAoB,CAAC,qBAAqB,YAAY,GAAG,CACpH,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,KAAK,gBAAgB,EAAE,CAAC;QACxE,MAAM,IAAI,0BAAiB,CACzB,0CAA0C,KAAK,CAAC,aAAa,CAAC,iBAAiB,CAAC,qBAAqB,gBAAgB,GAAG,CACzH,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,mBAAmB,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,8BAA8B,CAAC,CAAC;IACvE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,qCAA4B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IACD,8DAA8D;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAE/B,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnF,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,0BAAiB,CAAC,+CAA+C,CAAC,CAAC;IAC/E,CAAC;IAED,OAAO;QACL,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC;QACjE,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC;QAClE,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,qBAAqB,CAAC,CAAC;QACvE,QAAQ,EAAE,CAAC;KACZ,CAAC;AACJ,CAAC"}

package/dist/errors.d.ts

@@ -21,4 +21,16 @@ export declare class ScopeEscalationError extends BolyraError {
 export declare class StaleProofError extends BolyraError {
     constructor(rootType: 'human' | 'agent');
 }
+export declare class InvalidSecretError extends BolyraError {
+    constructor(reason: string);
+}
+export declare class CircuitArtifactNotFoundError extends ProofGenerationError {
+    constructor(artifactPath: string, artifactType: 'wasm' | 'zkey' | 'vkey');
+}
+export declare class MerkleTreeError extends BolyraError {
+    constructor(reason: string, details?: Record<string, unknown>);
+}
+export declare class ConfigurationError extends BolyraError {
+    constructor(field: string, reason: string);
+}
 //# sourceMappingURL=errors.d.ts.map