@invisi-labs/sdk 1.1.6 → 1.1.7

package/dist/session-support.cjs

@@ -0,0 +1,168 @@
+"use strict";Object.defineProperty(exports, "__esModule", {value: true}); function _optionalChain(ops) { let lastAccessLHS = undefined; let value = ops[0]; let i = 1; while (i < ops.length) { const op = ops[i]; const fn = ops[i + 1]; i += 2; if ((op === 'optionalAccess' || op === 'optionalCall') && value == null) { return undefined; } if (op === 'access' || op === 'optionalAccess') { lastAccessLHS = value; value = fn(value); } else if (op === 'call' || op === 'optionalCall') { value = fn((...args) => value.call(lastAccessLHS, ...args)); lastAccessLHS = undefined; } } return value; }
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+var _chunkRHNIHI4Pcjs = require('./chunk-RHNIHI4P.cjs');
+
+
+
+var _chunkLOU7AP2Bcjs = require('./chunk-LOU7AP2B.cjs');
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+var _chunkJ2JH6HIGcjs = require('./chunk-J2JH6HIG.cjs');
+require('./chunk-7F7ZZW3L.cjs');
+
+// src/transactions/proving/aggregate-receipt.ts
+var _ethers = require('ethers');
+var _protocol = require('@invisi-labs/protocol');
+var _contracts = require('@invisi-labs/protocol/contracts');
+var aggregateAbi = _contracts.invisiProtocolAbi.filter(
+  (item) => item.type === "function" && item.name === "transact" && item.inputs.length === 2 && _optionalChain([item, 'access', _ => _.inputs, 'access', _2 => _2[1], 'optionalAccess', _3 => _3.type]) === "tuple[]"
+);
+function matchesAggregateTransaction(saved, transaction) {
+  const plan = saved.plan;
+  if (_optionalChain([plan, 'access', _4 => _4.statement, 'optionalAccess', _5 => _5.target]) !== "noir-recursive" || !plan.params || !saved.externalized || transaction.to.toLowerCase() !== plan.context.protocolAddress.toLowerCase() || transaction.value !== 0n)
+    return false;
+  try {
+    const decoded = new (0, _ethers.Interface)(aggregateAbi).parseTransaction({ data: transaction.data }), requests = decoded.args[1].map((request) => {
+      const member = request.toObject(true);
+      member.params.sources = request.params.sources.map(
+        (source) => source.toObject(true)
+      );
+      member.params.nullifiers = request.params.nullifiers.toArray(true);
+      member.params.outputCommitments = request.params.outputCommitments.toArray(true);
+      member.deliveries = request.deliveries.map(
+        (delivery) => delivery.toObject(true)
+      );
+      member.funding.permit.v = Number(member.funding.permit.v);
+      return {
+        params: member.params,
+        deliveries: member.deliveries,
+        funding: member.funding
+      };
+    });
+    if (decoded.name !== "transact" || !Array.isArray(requests) || ![4, 8, 12].includes(requests.length))
+      return false;
+    const canonical = (request) => _protocol.buildTransactCalldata.call(void 0, {
+      context: { ...plan.context, tokenAddress: request.params.token },
+      proof: "0x00",
+      params: request.params,
+      deliveries: request.deliveries,
+      funding: request.funding,
+      caller: transaction.from
+    }).data.toLowerCase();
+    const expected = _protocol.buildTransactCalldata.call(void 0, {
+      context: plan.context,
+      proof: "0x00",
+      params: plan.params,
+      deliveries: plan.outputs.map((output) => output.delivery),
+      funding: plan.funding,
+      caller: transaction.from
+    }).data.toLowerCase();
+    return requests.filter((request) => canonical(request) === expected).length === 1;
+  } catch (e) {
+    return false;
+  }
+}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+exports.BroadcasterClient = _chunkRHNIHI4Pcjs.BroadcasterClient; exports.BroadcasterRpcError = _chunkRHNIHI4Pcjs.BroadcasterRpcError; exports.Invisi = _chunkRHNIHI4Pcjs.Invisi; exports.InvisiError = _chunkJ2JH6HIGcjs.InvisiError; exports.NoteOutput = _chunkJ2JH6HIGcjs.NoteOutput; exports.TransactionOutput = _chunkRHNIHI4Pcjs.TransactionOutput; exports.TransactionPreparation = _chunkJ2JH6HIGcjs.TransactionPreparation; exports.acceptFundingSignature = _chunkRHNIHI4Pcjs.acceptFundingSignature; exports.acceptWalletSignature = _chunkRHNIHI4Pcjs.acceptWalletSignature; exports.authorizationRequest = _chunkJ2JH6HIGcjs.authorizationRequest; exports.authorizeOperation = _chunkRHNIHI4Pcjs.authorizeOperation; exports.broadcasterQuoteDomain = _chunkRHNIHI4Pcjs.broadcasterQuoteDomain; exports.broadcasterQuoteTypes = _chunkRHNIHI4Pcjs.broadcasterQuoteTypes; exports.broadcasterRequestHash = _chunkRHNIHI4Pcjs.broadcasterRequestHash; exports.broadcasterTransactInterface = _chunkRHNIHI4Pcjs.broadcasterTransactInterface; exports.configureRecipientInfrastructure = _chunkJ2JH6HIGcjs.configureRecipientInfrastructure; exports.configureTransactionInfrastructure = _chunkRHNIHI4Pcjs.configureTransactionInfrastructure; exports.copyGasBenchmarks = _chunkRHNIHI4Pcjs.copyGasBenchmarks; exports.creditLeaf = _chunkJ2JH6HIGcjs.creditLeaf; exports.creditReservationKey = _chunkRHNIHI4Pcjs.creditReservationKey; exports.decodeBroadcasterIntent = _chunkRHNIHI4Pcjs.decodeBroadcasterIntent; exports.decodeProtocolEvent = _chunkRHNIHI4Pcjs.decodeProtocolEvent; exports.decryptCandidates = _chunkRHNIHI4Pcjs.decryptCandidates; exports.defineGasBenchmarks = _chunkRHNIHI4Pcjs.defineGasBenchmarks; exports.encodeOperation = _chunkRHNIHI4Pcjs.encodeOperation; exports.estimateBenchmarkGas = _chunkRHNIHI4Pcjs.estimateBenchmarkGas; exports.estimateGasReference = _chunkRHNIHI4Pcjs.estimateGasReference; exports.estimateShapeGas = _chunkRHNIHI4Pcjs.estimateShapeGas; exports.exportBroadcasterIntent = _chunkJ2JH6HIGcjs.exportBroadcasterIntent; exports.extractDeliveryCandidates = _chunkRHNIHI4Pcjs.extractDeliveryCandidates; exports.fundingSigningRequest = _chunkRHNIHI4Pcjs.fundingSigningRequest; exports.fundingTypedData = _chunkRHNIHI4Pcjs.fundingTypedData; exports.inputFacts = _chunkRHNIHI4Pcjs.inputFacts; exports.matchesAggregateTransaction = matchesAggregateTransaction; exports.operationExpired = _chunkJ2JH6HIGcjs.operationExpired; exports.operationPreview = _chunkRHNIHI4Pcjs.operationPreview; exports.operationSources = _chunkRHNIHI4Pcjs.operationSources; exports.prepareBroadcasterPlan = _chunkLOU7AP2Bcjs.prepareBroadcasterPlan; exports.prepareIntent = _chunkLOU7AP2Bcjs.prepareIntent; exports.prepareWithErrors = _chunkJ2JH6HIGcjs.prepareWithErrors; exports.proveOperation = _chunkRHNIHI4Pcjs.proveOperation; exports.publicProof = _chunkRHNIHI4Pcjs.publicProof; exports.readProtocolLogs = _chunkRHNIHI4Pcjs.readProtocolLogs; exports.recipientLookup = _chunkJ2JH6HIGcjs.recipientLookup; exports.requiresAuthorization = _chunkJ2JH6HIGcjs.requiresAuthorization; exports.sameStatement = _chunkRHNIHI4Pcjs.sameStatement; exports.signOperationFunding = _chunkRHNIHI4Pcjs.signOperationFunding; exports.statement = _chunkJ2JH6HIGcjs.statement; exports.validateTransactionInfrastructure = _chunkRHNIHI4Pcjs.validateTransactionInfrastructure; exports.verifyBroadcasterQuote = _chunkRHNIHI4Pcjs.verifyBroadcasterQuote; exports.verifyMembership = _chunkJ2JH6HIGcjs.verifyMembership; exports.walletSigningRequest = _chunkRHNIHI4Pcjs.walletSigningRequest; exports.witnessFor = _chunkRHNIHI4Pcjs.witnessFor;
+//# sourceMappingURL=session-support.cjs.map

package/dist/session-support.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["/home/runner/work/invisi-sdk-ts/invisi-sdk-ts/packages/sdk/dist/session-support.cjs","../src/transactions/proving/aggregate-receipt.ts"],"names":[],"mappings":"AAAA;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACF,wDAA6B;AAC7B;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,wDAA6B;AAC7B,gCAA6B;AAC7B;AACA;AC3DA,gCAAuC;AAEvC,iDAA4D;AAC5D,4DAAwD;AAExD,IAAM,aAAA,EAAe,4BAAA,CAAkB,MAAA;AAAA,EACnC,CAAC,IAAA,EAAA,GACG,IAAA,CAAK,KAAA,IAAS,WAAA,GACd,IAAA,CAAK,KAAA,IAAS,WAAA,GACd,IAAA,CAAK,MAAA,CAAO,OAAA,IAAW,EAAA,mBACvB,IAAA,mBAAK,MAAA,qBAAO,CAAC,CAAA,6BAAG,OAAA,IAAS;AACjC,CAAA;AAEO,SAAS,2BAAA,CACZ,KAAA,EACA,WAAA,EACO;AACP,EAAA,MAAM,KAAA,EAAO,KAAA,CAAM,IAAA;AACnB,EAAA,GAAA,iBACI,IAAA,qBAAK,SAAA,6BAAW,SAAA,IAAW,iBAAA,GAC3B,CAAC,IAAA,CAAK,OAAA,GACN,CAAC,KAAA,CAAM,aAAA,GACP,WAAA,CAAY,EAAA,CAAG,WAAA,CAAY,EAAA,IAAM,IAAA,CAAK,OAAA,CAAQ,eAAA,CAAgB,WAAA,CAAY,EAAA,GAC1E,WAAA,CAAY,MAAA,IAAU,EAAA;AAEtB,IAAA,OAAO,KAAA;AACX,EAAA,IAAI;AACA,IAAA,MAAM,QAAA,EAAU,IAAI,sBAAA,CAAU,YAAY,CAAA,CAAE,gBAAA,CAAiB,EAAE,IAAA,EAAM,WAAA,CAAY,KAAK,CAAC,CAAA,EACnF,SAAA,EAAY,OAAA,CAAQ,IAAA,CAAK,CAAC,CAAA,CAAe,GAAA,CAAI,CAAC,OAAA,EAAA,GAAY;AACtD,MAAA,MAAM,OAAA,EAAS,OAAA,CAAQ,QAAA,CAAS,IAAI,CAAA;AACpC,MAAA,MAAA,CAAO,MAAA,CAAO,QAAA,EAAU,OAAA,CAAQ,MAAA,CAAO,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAA,GAChD,MAAA,CAAO,QAAA,CAAS,IAAI;AAAA,MACxB,CAAA;AACA,MAAA,MAAA,CAAO,MAAA,CAAO,WAAA,EAAa,OAAA,CAAQ,MAAA,CAAO,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AACjE,MAAA,MAAA,CAAO,MAAA,CAAO,kBAAA,EAAoB,OAAA,CAAQ,MAAA,CAAO,iBAAA,CAAkB,OAAA,CAAQ,IAAI,CAAA;AAC/E,MAAA,MAAA,CAAO,WAAA,EAAa,OAAA,CAAQ,UAAA,CAAW,GAAA;AAAA,QAAI,CAAC,QAAA,EAAA,GACxC,QAAA,CAAS,QAAA,CAAS,IAAI;AAAA,MAC1B,CAAA;AACA,MAAA,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,MAAA,CAAO,OAAA,CAAQ,MAAA,CAAO,CAAC,CAAA;AACxD,MAAA,OAAO;AAAA,QACH,MAAA,EAAQ,MAAA,CAAO,MAAA;AAAA,QACf,UAAA,EAAY,MAAA,CAAO,UAAA;AAAA,QACnB,OAAA,EAAS,MAAA,CAAO;AAAA,MACpB,CAAA;AAAA,IACJ,CAAC,CAAA;AACL,IAAA,GAAA,CACI,OAAA,CAAQ,KAAA,IAAS,WAAA,GACjB,CAAC,KAAA,CAAM,OAAA,CAAQ,QAAQ,EAAA,GACvB,CAAC,CAAC,CAAA,EAAG,CAAA,EAAG,EAAE,CAAA,CAAE,QAAA,CAAS,QAAA,CAAS,MAAM,CAAA;AAEpC,MAAA,OAAO,KAAA;AACX,IAAA,MAAM,UAAA,EAAY,CAAC,OAAA,EAAA,GACf,6CAAA;AAAsB,MAClB,OAAA,EAAS,EAAE,GAAG,IAAA,CAAK,OAAA,EAAS,YAAA,EAAc,OAAA,CAAQ,MAAA,CAAO,MAAM,CAAA;AAAA,MAC/D,KAAA,EAAO,MAAA;AAAA,MACP,MAAA,EAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,UAAA,EAAY,OAAA,CAAQ,UAAA;AAAA,MACpB,OAAA,EAAS,OAAA,CAAQ,OAAA;AAAA,MACjB,MAAA,EAAQ,WAAA,CAAY;AAAA,IACxB,CAAC,CAAA,CAAE,IAAA,CAAK,WAAA,CAAY,CAAA;AACxB,IAAA,MAAM,SAAA,EAAW,6CAAA;AAAsB,MACnC,OAAA,EAAS,IAAA,CAAK,OAAA;AAAA,MACd,KAAA,EAAO,MAAA;AAAA,MACP,MAAA,EAAQ,IAAA,CAAK,MAAA;AAAA,MACb,UAAA,EAAY,IAAA,CAAK,OAAA,CAAQ,GAAA,CAAI,CAAC,MAAA,EAAA,GAAW,MAAA,CAAO,QAAQ,CAAA;AAAA,MACxD,OAAA,EAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,WAAA,CAAY;AAAA,IACxB,CAAC,CAAA,CAAE,IAAA,CAAK,WAAA,CAAY,CAAA;AACpB,IAAA,OAAO,QAAA,CAAS,MAAA,CAAO,CAAC,OAAA,EAAA,GAAY,SAAA,CAAU,OAAO,EAAA,IAAM,QAAQ,CAAA,CAAE,OAAA,IAAW,CAAA;AAAA,EACpF,EAAA,UAAQ;AACJ,IAAA,OAAO,KAAA;AAAA,EACX;AACJ;ADuCA;AACE;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACF,ggHAAC","file":"/home/runner/work/invisi-sdk-ts/invisi-sdk-ts/packages/sdk/dist/session-support.cjs","sourcesContent":[null,"import type { Address } from \"@invisi-labs/protocol/contracts\";\nimport { Interface, type Result } from \"ethers\";\n\nimport { buildTransactCalldata, type TransactionCall } from \"@invisi-labs/protocol\";\nimport { invisiProtocolAbi, type TransactRequest } from \"@invisi-labs/protocol/contracts\";\nimport type { SavedOperation } from \"../operation-types\";\nconst aggregateAbi = invisiProtocolAbi.filter(\n    (item) =>\n        item.type === \"function\" &&\n        item.name === \"transact\" &&\n        item.inputs.length === 2 &&\n        item.inputs[1]?.type === \"tuple[]\"\n);\n/** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */\nexport function matchesAggregateTransaction(\n    saved: SavedOperation,\n    transaction: TransactionCall & { from: Address }\n): boolean {\n    const plan = saved.plan;\n    if (\n        plan.statement?.target !== \"noir-recursive\" ||\n        !plan.params ||\n        !saved.externalized ||\n        transaction.to.toLowerCase() !== plan.context.protocolAddress.toLowerCase() ||\n        transaction.value !== 0n\n    )\n        return false;\n    try {\n        const decoded = new Interface(aggregateAbi).parseTransaction({ data: transaction.data })!,\n            requests = (decoded.args[1] as Result[]).map((request) => {\n                const member = request.toObject(true);\n                member.params.sources = request.params.sources.map((source: Result) =>\n                    source.toObject(true)\n                );\n                member.params.nullifiers = request.params.nullifiers.toArray(true);\n                member.params.outputCommitments = request.params.outputCommitments.toArray(true);\n                member.deliveries = request.deliveries.map((delivery: Result) =>\n                    delivery.toObject(true)\n                );\n                member.funding.permit.v = Number(member.funding.permit.v);\n                return {\n                    params: member.params,\n                    deliveries: member.deliveries,\n                    funding: member.funding,\n                };\n            }) as readonly TransactRequest[];\n        if (\n            decoded.name !== \"transact\" ||\n            !Array.isArray(requests) ||\n            ![4, 8, 12].includes(requests.length)\n        )\n            return false;\n        const canonical = (request: TransactRequest) =>\n            buildTransactCalldata({\n                context: { ...plan.context, tokenAddress: request.params.token },\n                proof: \"0x00\",\n                params: request.params,\n                deliveries: request.deliveries,\n                funding: request.funding,\n                caller: transaction.from,\n            }).data.toLowerCase();\n        const expected = buildTransactCalldata({\n            context: plan.context,\n            proof: \"0x00\",\n            params: plan.params,\n            deliveries: plan.outputs.map((output) => output.delivery),\n            funding: plan.funding,\n            caller: transaction.from,\n        }).data.toLowerCase();\n        return requests.filter((request) => canonical(request) === expected).length === 1;\n    } catch {\n        return false;\n    }\n}\n"]}

package/dist/session-support.d.cts

@@ -0,0 +1,252 @@
+import { I as GasEstimateRequest, m as GasBenchmarkProfile, p as GasReference, J as OperationPlan, K as BenchmarkGasEstimate, L as SavedOperation, M as TransactionRuntime, v as TransactionProveOptions, i as FundingSigner, F as FundingAuthorizationVerifier, Q as OperationStatus, R as PreparationRuntime, w as TransferPreparation, S as ShieldPreparation, h as CreateCreditPreparation, D as DrawCreditPreparation, T as TopUpCreditPreparation, C as CancelCreditPreparation, U as TransactionInfrastructure } from './broadcaster-preparation-DMxxZ_1Q.cjs';
+export { V as AddressLookup, B as BroadcasterClient, a as BroadcasterConfiguration, b as BroadcasterFeeSource, c as BroadcasterQuote, d as BroadcasterRpcError, e as BroadcasterStatus, f as BroadcasterTransport, g as BroadcasterTrust, X as Checkpoint, Y as CoinSelector, Z as CreditPlan, _ as CreditRecord, j as FundingSource, k as FundingTypedData, G as GasBenchmarkCircuit, l as GasBenchmarkDeployment, n as GasBenchmarkSample, o as GasBenchmarkShape, $ as LocalOperationSecrets, N as NoteOutput, a0 as NoteRecord, O as OperationAggregateMember, a1 as PreparationIntent, a2 as PreparationInventory, a3 as PreparedCreditInput, a4 as PreparedCreditOutput, a5 as PreparedOutput, a6 as ReceiptPosition, t as SignedBroadcasterQuote, a7 as SpentState, u as TransactionExecution, a8 as WalletScope, W as WithBroadcasterOptions, x as broadcasterQuoteDomain, y as broadcasterQuoteTypes, z as broadcasterRequestHash, A as broadcasterTransactInterface, a9 as configureRecipientInfrastructure, aa as creditReservationKey, E as decodeBroadcasterIntent, ab as prepareBroadcasterPlan, ac as prepareIntent, ad as recipientLookup, H as verifyBroadcasterQuote } from './broadcaster-preparation-DMxxZ_1Q.cjs';
+import { Hex as Hex$1, InputSource, Address as Address$1 } from '@invisi-labs/protocol/contracts';
+export { o as DeliveryCandidate, D as DeliveryEventLog, a as DiscoveredCredit, b as DiscoveredNote, p as DiscoveryContext, I as Invisi, h as InvisiError, i as InvisiErrorCode, j as InvisiErrorDetails, l as TransactionOutput, q as copyGasBenchmarks, m as decryptCandidates, n as defineGasBenchmarks, s as extractDeliveryCandidates, t as prepareWithErrors, r as readProtocolLogs } from './receipt-logs-CvC951p7.cjs';
+import { TokenProtocol, ChainReader, TransactionContext, CanonicalBlock, Membership, TransactionCall } from '@invisi-labs/protocol';
+import * as _invisi_labs_core from '@invisi-labs/core';
+import { AuthorizedStatement, WalletAuthorizationProvider, CreditDeliveryState } from '@invisi-labs/core';
+import * as _invisi_labs_prover from '@invisi-labs/prover';
+import { Prover, ProofBundle, ProofStatement, ProvingRequest } from '@invisi-labs/prover';
+import 'ethers';
+
+/** Internal workload envelope for combinations without an exact receipt measurement. */
+declare function estimateShapeGas(request: GasEstimateRequest, profiles?: readonly GasBenchmarkProfile[]): GasReference;
+
+/** Pure reference lookup. No proof, RPC, current fee price, extrapolation or transaction gas limit. */
+declare function estimateBenchmarkGas(plan: OperationPlan, protocol: TokenProtocol, profiles?: readonly GasBenchmarkProfile[]): BenchmarkGasEstimate;
+declare function estimateGasReference(plan: OperationPlan, protocol: TokenProtocol, profiles?: readonly GasBenchmarkProfile[]): GasReference;
+
+/** Public frozen request for quote signing. Empty proof/signature make this deliberately non-sendable. */
+declare function exportBroadcasterIntent(plan: OperationPlan): {
+    sendable: false;
+    data: Hex$1;
+};
+
+declare function verifyMembership(reader: ChainReader, context: TransactionContext, block: CanonicalBlock, input: {
+    treeId: bigint;
+    leafIndex: number;
+    commitment: Hex$1;
+}, proof: Membership): Promise<void>;
+
+/** Decode only canonical protocol receipt bytes before routing events to token wallets. */
+declare function decodeProtocolEvent(log: {
+    data: string;
+    topics: readonly string[];
+}): {
+    eventName: string;
+    args: Record<string, any>;
+};
+
+declare function encodeOperation(saved: SavedOperation): Promise<TransactionCall>;
+
+/** Both managed and detached handles authorize the same frozen statement. */
+declare function authorizeOperation(plan: OperationPlan, provider: WalletAuthorizationProvider): Promise<AuthorizedStatement>;
+declare function proveOperation(protocol: TokenProtocol, plan: OperationPlan, authorization: AuthorizedStatement | undefined, prover: Prover, options: TransactionProveOptions): Promise<_invisi_labs_prover.ProofBundle>;
+declare function signOperationFunding(saved: SavedOperation, signer: FundingSigner, verifier?: FundingAuthorizationVerifier): Promise<`0x${string}`>;
+/** Export only typed commitments, never private note openings or authorization witnesses. */
+declare function walletSigningRequest(plan: OperationPlan): _invisi_labs_core.SigningRequest;
+/** Recover the EOA key and build the existing private witness without receiving a private key. */
+declare function acceptWalletSignature(plan: OperationPlan, signature: string): Promise<AuthorizedStatement>;
+/** The remote round trip may outlive the nonce or deadline selected during preparation. */
+declare function fundingSigningRequest(saved: SavedOperation, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<_invisi_labs_core.SigningRequest>;
+/** Verify against reconstructed operation data, never caller-supplied typed data. */
+declare function acceptFundingSignature(saved: SavedOperation, signature: string, runtime: Pick<TransactionRuntime, "reader" | "options">): Promise<`0x${string}`>;
+
+type Hex = `0x${string}`;
+type Address = `0x${string}`;
+
+declare function operationPreview(plan: OperationPlan, status: OperationStatus): {
+    id: string;
+    kind: "shield" | "transfer" | "create-credit" | "draw-credit" | "top-up-credit" | "cancel-credit";
+    status: OperationStatus;
+    context: {
+        tokenAddress: Address;
+        now?: bigint;
+        timestamp?: bigint;
+        chainId: bigint;
+        protocolAddress: Address;
+    };
+    inputs: number;
+    inputDetails: ({
+        kind: "notes";
+        commitment: `0x${string}`;
+        amount: bigint;
+        owner: `0x${string}`;
+        treeId: bigint;
+        leafIndex: number;
+    } | {
+        kind: "credits";
+        commitment: `0x${string}`;
+        amount: bigint;
+        owner: `0x${string}`;
+        spender: `0x${string}`;
+        expiry: bigint;
+        role: "owner" | "spender";
+        treeId: bigint;
+        leafIndex: number;
+    })[];
+    funding: {
+        payer: `0x${string}`;
+        amount: bigint;
+        authorization: "signature" | "none" | "caller";
+        sigNonce: bigint;
+        deadline: bigint;
+        permit: {
+            deadline: bigint;
+        };
+    };
+    creditOutputs: {
+        commitment: `0x${string}`;
+        amount: bigint;
+        expiry: bigint;
+        owner: `0x${string}`;
+        spender: `0x${string}`;
+        ownerPayout: bigint;
+        spenderPayout: bigint;
+    }[] | undefined;
+    outputs: {
+        commitment: `0x${string}`;
+        to: string;
+        amount: bigint;
+        change: boolean;
+    }[];
+    capacity: number | undefined;
+    deadline: bigint;
+    feeRecipient: `0x${string}` | undefined;
+    feeAmount: bigint;
+    fundingAmount: bigint;
+    fundingPayer: `0x${string}` | undefined;
+    withdrawalAmount: bigint;
+    withdrawalAddress: `0x${string}` | undefined;
+    permissions: {
+        walletAuthorization: boolean;
+        proof: boolean;
+        fundingAuthorization: boolean;
+    };
+};
+
+declare function creditLeaf(state: CreditDeliveryState): Promise<Hex$1>;
+
+declare function inputFacts(plan: OperationPlan): Array<{
+    key: string;
+    reservationKey: string;
+    nullifier: Hex$1;
+    kind: "notes" | "credits";
+}>;
+declare function operationSources(plan: OperationPlan): readonly InputSource[];
+
+/** Shared preparation engine for managed sessions and explicitly supplied inputs. */
+declare class TransactionPreparation<Result> {
+    #private;
+    readonly context: PreparationRuntime<Result>;
+    constructor(context: PreparationRuntime<Result>);
+    private runtime;
+    private get scope();
+    prepareTransfer(options: TransferPreparation): Promise<Result>;
+    private funds;
+    prepareShield(options: ShieldPreparation): Promise<Result>;
+    prepareCreateCredit(options: CreateCreditPreparation): Promise<Result>;
+    prepareDrawCredit(options: DrawCreditPreparation): Promise<Result>;
+    prepareTopUpCredit(options: TopUpCreditPreparation): Promise<Result>;
+    prepareCancelCredit(options: CancelCreditPreparation): Promise<Result>;
+}
+
+/** Match the whole frozen member, including funding nonce, signature and permit, in one successful aggregate. */
+declare function matchesAggregateTransaction(saved: SavedOperation, transaction: TransactionCall & {
+    from: Address$1;
+}): boolean;
+
+/** Whitelist the public proof fields; a custom local backend cannot accidentally export its witness. */
+declare function publicProof(bundle: ProofBundle): ProofBundle;
+
+declare function sameStatement(proof: ProofBundle, expected: ProofStatement): void;
+
+declare function witnessFor(protocol: TokenProtocol, plan: OperationPlan, authorization?: AuthorizedStatement): Promise<ProvingRequest>;
+
+declare function fundingTypedData(saved: SavedOperation): Promise<{
+    domain: {
+        name: string;
+        version: string;
+        chainId: bigint;
+        verifyingContract: Hex;
+    };
+    primaryType: "FundTransact";
+    types: {
+        FundTransact: readonly [{
+            readonly name: "requestHash";
+            readonly type: "bytes32";
+        }, {
+            readonly name: "payer";
+            readonly type: "address";
+        }, {
+            readonly name: "amount";
+            readonly type: "uint256";
+        }, {
+            readonly name: "sigNonce";
+            readonly type: "uint256";
+        }, {
+            readonly name: "deadline";
+            readonly type: "uint256";
+        }];
+    };
+    message: {
+        requestHash: `0x${string}`;
+        payer: `0x${string}`;
+        amount: bigint;
+        sigNonce: bigint;
+        deadline: bigint;
+    };
+} | {
+    domain: {
+        name: string;
+        version: string;
+        chainId: bigint;
+        verifyingContract: Hex;
+    };
+    primaryType: "FundShield";
+    types: {
+        FundShield: readonly [{
+            readonly name: "requestHash";
+            readonly type: "bytes32";
+        }, {
+            readonly name: "payer";
+            readonly type: "address";
+        }, {
+            readonly name: "amount";
+            readonly type: "uint256";
+        }, {
+            readonly name: "sigNonce";
+            readonly type: "uint256";
+        }, {
+            readonly name: "deadline";
+            readonly type: "uint256";
+        }];
+    };
+    message: {
+        requestHash: `0x${string}`;
+        payer: `0x${string}`;
+        amount: bigint;
+        sigNonce: bigint;
+        deadline: bigint;
+    };
+}>;
+
+declare function requiresAuthorization(plan: OperationPlan): boolean;
+declare function statement(plan: OperationPlan): ProofStatement;
+declare function authorizationRequest(plan: OperationPlan): {
+    context: {
+        chainId: bigint;
+        protocolAddress: bigint;
+    };
+    operation: "transact" | "create-credit" | "top-up-credit" | "cancel-credit" | "credit-draw";
+    capacity: number;
+    words: bigint[];
+};
+declare function operationExpired(plan: OperationPlan, now: bigint): boolean;
+
+/** Resolve adapters without starting synchronization or accessing wallet state. */
+declare function configureTransactionInfrastructure<T extends TransactionInfrastructure>(options: T): T;
+/** Validate the selected chain and pinned deployment before any managed state access. */
+declare function validateTransactionInfrastructure(options: TransactionInfrastructure): Promise<void>;
+
+export { BenchmarkGasEstimate, CancelCreditPreparation, CreateCreditPreparation, DrawCreditPreparation, FundingAuthorizationVerifier, FundingSigner, GasBenchmarkProfile, GasEstimateRequest, GasReference, OperationPlan, OperationStatus, PreparationRuntime, SavedOperation, ShieldPreparation, TopUpCreditPreparation, TransactionInfrastructure, TransactionPreparation, TransactionProveOptions, TransactionRuntime, TransferPreparation, acceptFundingSignature, acceptWalletSignature, authorizationRequest, authorizeOperation, configureTransactionInfrastructure, creditLeaf, decodeProtocolEvent, encodeOperation, estimateBenchmarkGas, estimateGasReference, estimateShapeGas, exportBroadcasterIntent, fundingSigningRequest, fundingTypedData, inputFacts, matchesAggregateTransaction, operationExpired, operationPreview, operationSources, proveOperation, publicProof, requiresAuthorization, sameStatement, signOperationFunding, statement, validateTransactionInfrastructure, verifyMembership, walletSigningRequest, witnessFor };