@invisi-labs/sdk 1.1.7 → 1.2.1

package/dist/{broadcaster-preparation-DMxxZ_1Q.d.cts → operation-bridge-CoECSxfi.d.cts}

@@ -1,99 +1,30 @@
-import { Note, CreditDeliveryState, ReceivingKeyLookup, Hex as Hex$2, Wallet, PublicWallet, AuthorizedStatement } from '@invisi-labs/core';
+import { ProofSidecar, ManifestIdentity, Scope } from '@invisi-labs/protocol/provenance';
+import { OfflineProver } from '@invisi-labs/prover/provenance-witness';
+import * as _invisi_labs_rpc_provenance from '@invisi-labs/rpc/provenance';
+import { ProvenanceClient } from '@invisi-labs/rpc/provenance';
+import { Note, CreditDeliveryState, ReceivingKeyLookup, Wallet, CreditUpdateChanges, AuthorizedStatement } from '@invisi-labs/primitives';
 import * as _invisi_labs_prover from '@invisi-labs/prover';
-import { Hex, Prover, ProverOptions, AggregateMember, ProofBundle } from '@invisi-labs/prover';
+import { Hex, Prover, NoteMembership, CreditMembership, ProverOptions, AggregateMember, ProofBundle } from '@invisi-labs/prover';
 import * as _invisi_labs_protocol from '@invisi-labs/protocol';
-import { FundingInput, TransactionContext, CanonicalBlock, NoteMembership, TransactRequestParams, CreditMembership, Protocol, ChainReader, ProtocolDataProvider, TokenProtocol } from '@invisi-labs/protocol';
-import * as ethers from 'ethers';
-import { Interface, Provider } from 'ethers';
-import { Hex as Hex$1, Delivery, Address, ShieldParams, ShieldOutput, CreateCreditParams, CreditDrawParams, CancelCreditParams, TopUpCreditParams, TransactRequest } from '@invisi-labs/protocol/contracts';
+import { FundingInput, ChainReader, ProtocolDataProvider, TransactionContext, CanonicalBlock, TransactRequestParams } from '@invisi-labs/protocol';
+import { SignedBroadcasterQuote, BroadcasterClient as BroadcasterClient$1, BroadcasterStatus, BroadcasterConfiguration } from '@invisi-labs/rpc/broadcaster';
+import { Hex as Hex$1, Delivery, Address, ShieldParams, ShieldOutput, CreateCreditParams, CreditDrawParams, UpdateCreditParams, RevokeCreditParams, TransactRequest } from '@invisi-labs/protocol/contracts';
+import { Provider } from 'ethers';
+import { Protocol, TokenProtocol } from '@invisi-labs/rpc';
 
-declare const broadcasterQuoteTypes: {
-    Quote: {
-        name: string;
-        type: string;
-    }[];
-};
-interface BroadcasterQuote {
-    token: string;
-    feeRecipient: string;
-    feeAmount: string;
-    deadline: string;
-    maxGas: string;
-    requestHash: string;
-}
-interface SignedBroadcasterQuote {
-    quote: BroadcasterQuote;
-    signature: string;
-    context?: {
-        chainId: bigint;
-        protocol: string;
-    };
-}
-interface BroadcasterTrust {
-    chainId: bigint;
-    protocol: string;
-    signer: string;
-}
-declare function broadcasterQuoteDomain(trust: BroadcasterTrust): {
-    name: string;
-    version: string;
-    chainId: bigint;
-    verifyingContract: string;
-};
-declare const broadcasterTransactInterface: Interface;
-/** Decode a canonical supported direct public intent. Draw, registry and aggregates are excluded. */
-declare function decodeBroadcasterIntent(data: string): {
-    fragment: ethers.FunctionFragment;
-    method: string;
-    args: ethers.Result;
-    proof: string;
-    request: {
-        params: any;
-        funding: any;
-        deliveries: any;
+/** Public recovery packet; persist encrypted Note openings separately if reproof is needed. */
+interface ProvenanceProof {
+    format: "invisi-provenance-submission-v1";
+    data: string;
+    context: {
+        chainId: string;
+        protocolAddress: string;
+        tokenAddress: string;
     };
-};
-/** Domain-separated final public intent: omit only proof bytes and funding.signature. */
-declare function broadcasterRequestHash(data: string): string;
-declare function verifyBroadcasterQuote(signed: SignedBroadcasterQuote, trust: BroadcasterTrust, data: string, now?: bigint): BroadcasterQuote;
-interface BroadcasterStatus {
-    id: string;
-    state: "pending" | "submitted" | "confirmed" | "reverted" | "uncertain";
-    transactionHash?: string;
-}
-type BroadcasterTransport = (request: {
-    jsonrpc: "2.0";
-    id: number;
-    method: string;
-    params: unknown;
-}) => Promise<unknown>;
-interface BroadcasterConfiguration {
-    endpoint: string;
-    quoteSigner: string;
-    feeRecipient: string;
-}
-declare class BroadcasterClient {
-    readonly configuration: Readonly<BroadcasterConfiguration>;
-    readonly url: string;
-    readonly transport: BroadcasterTransport;
-    private requestId;
-    constructor(configuration: BroadcasterConfiguration, transport?: BroadcasterTransport);
-    private call;
-    fee(token: string, data?: string): Promise<{
-        feeRecipient: string;
-        feeAmount: string;
-        maxGas: string;
-    }>;
-    quote(data: string, context: {
-        chainId: bigint;
-        protocol: string;
-    }): Promise<SignedBroadcasterQuote>;
-    submit(data: string, signed: SignedBroadcasterQuote, idempotencyKey: string): Promise<BroadcasterStatus>;
-    status(id: string): Promise<BroadcasterStatus>;
-}
-declare class BroadcasterRpcError extends Error {
-    readonly code: number;
-    constructor(code: number, message: string);
+    mainCircuitCapacity: number;
+    publicInputs: string[];
+    operationDigest: string;
+    sidecars: ProofSidecar[];
 }
 
 interface WalletScope {
@@ -123,9 +54,10 @@ interface NoteRecord extends ReceiptPosition {
 }
 interface CreditRecord extends ReceiptPosition {
     receivingKeySource?: {
-        kind: "draw" | "top-up";
+        kind: "draw" | "update";
         commitment: Hex;
     };
+    revoked?: boolean;
     state: CreditDeliveryState;
     role: "owner" | "spender";
     spent: SpentState;
@@ -136,6 +68,51 @@ type OperationStatus = "prepared" | "authorized" | "proved" | "ready" | "submitt
 /** Minimal input count by descending amount, with deterministic tree/position/commitment ties. */
 type SelectableNote = Pick<NoteRecord, "note" | "commitment" | "treeId" | "leafIndex" | "spent">;
 
+type PreparationIntent = {
+    kind: "transfer";
+    options: TransferPreparation;
+} | {
+    kind: "shield";
+    options: ShieldPreparation;
+} | {
+    kind: "create-credit";
+    options: CreateCreditPreparation;
+} | {
+    kind: "draw-credit";
+    options: DrawCreditPreparation;
+} | {
+    kind: "update-credit";
+    options: UpdateCreditPreparation;
+} | {
+    kind: "revoke-credit";
+    options: RevokeCreditPreparation;
+};
+type BroadcasterFeeSource = "public-funding" | "private-inputs";
+interface BroadcasterQuoteOptions {
+    maxFeeAmount: bigint;
+    feeSource?: BroadcasterFeeSource;
+    maxAttempts?: number;
+    /** Optional app-owned permit signing, requested once for the final gross funding amount. */
+    fundingPermit?: (request: {
+        payer: `0x${string}`;
+        amount: bigint;
+        tokenAddress: `0x${string}`;
+        protocolAddress: `0x${string}`;
+    }) => Promise<NonNullable<TransferPreparation["funding"]>["permit"]>;
+}
+declare function prepareIntent(runtime: PreparationRuntime<OperationPlan>, intent: PreparationIntent): Promise<OperationPlan>;
+declare function prepareBroadcasterPlan(plan: OperationPlan, reprepare: (intent: PreparationIntent) => Promise<OperationPlan>, client: BroadcasterClient, options: BroadcasterQuoteOptions): Promise<{
+    plan: OperationPlan;
+    quote: SignedBroadcasterQuote;
+    broadcasterBinding: NonNullable<SavedOperation["broadcasterBinding"]>;
+}>;
+
+/** Application-level quote and submission conveniences over the public RPC client. */
+declare class BroadcasterClient extends BroadcasterClient$1 {
+    quote<T extends BroadcasterTransaction>(transaction: T, options: BroadcasterQuoteOptions): Promise<T>;
+    submit(transaction: BroadcasterTransaction): Promise<BroadcasterStatus>;
+}
+
 type AddressLookup = "chain" | "protocol-rpc";
 /** Capture deployment pins before a Protocol is bound to an operation's token. */
 declare function configureRecipientInfrastructure<T extends TransactionInfrastructure>(options: T): T;
@@ -220,109 +197,6 @@ declare class NoteOutput {
     get delivery(): Delivery;
 }
 
-interface GasBenchmarkShape {
-    kind: OperationPlan["kind"];
-    target: string;
-    capacity: number;
-    noteInputs: number;
-    noteOutputs: number;
-    sourceTrees: number;
-    creditInputs: number;
-    creditOutputs: number;
-    creditRemainders: number;
-    funding: "none" | "caller" | "signature";
-    permit: boolean;
-    deliveryBytes: number;
-}
-interface GasBenchmarkDeployment {
-    chainId: string;
-    protocolAddress: Hex$2;
-    runtimeCodeHash: Hex$2 | null;
-    tokenAddress: Hex$2;
-}
-interface GasBenchmarkCircuit {
-    circuitName: string;
-    target: string;
-    artifactSha256: string;
-    vkSha256: string;
-}
-interface GasBenchmarkSample {
-    gasUsed: string;
-    transactionHash: Hex$2;
-    blockNumber: string;
-    blockHash: Hex$2;
-    calldataBytes: number;
-}
-interface GasBenchmarkProfile {
-    formatVersion: 1;
-    id: string;
-    deployment: GasBenchmarkDeployment;
-    source: {
-        protocolCommit: string;
-        fingerprints?: {
-            protocolSourceSha256: string;
-            dirtyDiffSha256: string;
-            compiledArtifactsSha256: string;
-            creditManifestSha256: string;
-            userManifestSha256: string;
-            sdkSourceSha256: string;
-        };
-        toolchain?: {
-            solidity: string;
-            barretenberg: string;
-            noir: string;
-            evmVersion: string;
-            optimizerRuns: number;
-            anvil: string;
-        };
-        blockGasLimit?: string;
-        runtimeContracts?: Record<string, {
-            address: Hex$2;
-            runtimeCodeHash: Hex$2;
-        }>;
-        measuredAt: string;
-        chain: string;
-        hardfork: string;
-        token: string;
-        verifier: "real";
-        assumptions: string[];
-    };
-    measurements: Array<{
-        id: string;
-        shape: GasBenchmarkShape;
-        circuit: GasBenchmarkCircuit | null;
-        samples: GasBenchmarkSample[];
-    }>;
-}
-interface GasEstimateRequest {
-    deployment: GasBenchmarkDeployment;
-    shape: GasBenchmarkShape;
-    circuit: GasBenchmarkCircuit | null;
-}
-type BenchmarkGasEstimate = {
-    source: "benchmark";
-    request: GasEstimateRequest;
-} & ({
-    available: false;
-    reason: "deployment-not-covered" | "shape-not-covered" | "recursive-member-only";
-} | {
-    available: true;
-    gasUnits: bigint;
-    range: {
-        min: bigint;
-        max: bigint;
-        kind: "observed";
-    };
-    samples: number;
-    profileId: string;
-    measurementId: string;
-    evidence: GasBenchmarkProfile["source"];
-});
-/** Pre-proof reference only; ethers must estimate the final transaction independently. */
-interface GasReference {
-    gasUnits: bigint;
-}
-
 interface CoinSelector {
     select(candidates: readonly NoteRecord[], requiredAmount: bigint): readonly Hex$1[] | Promise<readonly Hex$1[]>;
 }
@@ -405,52 +279,59 @@ interface CreateCreditPreparation {
         recipient: Address;
         amount: bigint;
     };
-    /** Version-specific application data. Omission uses built-in v1 with no data. */
     payload?: Uint8Array;
     singleLimit?: bigint;
     dailyLimit?: bigint;
     monthlyLimit?: bigint;
+    availableCredit?: bigint;
+    unlimited?: boolean;
     tokenAddress: Address;
     spender: string;
-    amount: bigint;
     expiry: bigint;
-    funding?: FundingSource;
     deadline?: bigint;
 }
 interface DrawCreditPreparation {
+    fee?: {
+        recipient: Address;
+        amount: bigint;
+    };
     tokenAddress: Address;
     credits: readonly {
         credit: Hex$1;
         amount: bigint;
         payload?: Uint8Array;
     }[];
+    recipient: string;
+    payload?: Uint8Array;
     deadline?: bigint;
 }
-interface TopUpCreditPreparation {
+interface UpdateCreditPreparation {
     fee?: {
         recipient: Address;
         amount: bigint;
     };
-    /** Version-specific application data. Omission uses built-in v1 with no data. */
     payload?: Uint8Array;
-    /** Omission inherits the previous limit; zero disables it without clearing usage. */
     singleLimit?: bigint;
     dailyLimit?: bigint;
     monthlyLimit?: bigint;
+    increaseAvailableCredit?: bigint;
+    decreaseAvailableCredit?: bigint;
+    unlimited?: boolean;
     tokenAddress: Address;
     credit: Hex$1;
-    additionalAmount: bigint;
     expiry?: bigint;
-    funding?: FundingSource;
     deadline?: bigint;
 }
-interface CancelCreditPreparation {
+interface RevokeCreditPreparation {
     fee?: {
         recipient: Address;
         amount: bigint;
     };
     tokenAddress: Address;
-    credit: Hex$1;
+    owner?: Address;
+    shard: bigint;
+    slot: bigint;
+    caller?: Address;
     deadline?: bigint;
 }
 interface PreparedCreditOutput {
@@ -468,15 +349,18 @@ interface CreditPlan {
     deliveries: Delivery[];
     creation?: CreateCreditParams;
     draw?: CreditDrawParams;
-    cancel?: CancelCreditParams;
-    topUp?: TopUpCreditParams;
+    update?: UpdateCreditParams;
+    updateChanges?: CreditUpdateChanges;
+    revocation?: RevokeCreditParams;
+    revocationSignature?: Hex$1;
+    revocationCaller?: Hex$1;
     amounts?: bigint[];
 }
 interface OperationPlan {
     intent?: PreparationIntent;
     version: 1;
     id: string;
-    kind: "transfer" | "shield" | "create-credit" | "draw-credit" | "top-up-credit" | "cancel-credit";
+    kind: "transfer" | "shield" | "create-credit" | "draw-credit" | "update-credit" | "revoke-credit";
     context: TransactionContext;
     scope: WalletScope;
     preparedAt: CanonicalBlock;
@@ -496,6 +380,13 @@ interface OperationPlan {
 }
 interface SavedOperation {
     plan: OperationPlan;
+    provenance?: ProvenanceProof;
+    broadcasterBinding?: {
+        configuration: BroadcasterConfiguration;
+        intentHash: string;
+    };
+    broadcasterSubmissionId?: string;
+    broadcasterAttempted?: boolean;
     broadcasterQuote?: SignedBroadcasterQuote;
     proof?: ProofBundle;
     call?: _invisi_labs_protocol.TransactionCall;
@@ -507,8 +398,9 @@ interface SavedOperation {
     };
 }
 interface TransactionInfrastructure {
-    gasBenchmarks?: readonly GasBenchmarkProfile[];
-    wallet: Wallet | PublicWallet;
+    provenanceClient?: _invisi_labs_rpc_provenance.ProvenanceClient;
+    provenance?: PreparedProvenanceCapability;
+    wallet: Wallet;
     protocol: Protocol;
     chainReader?: ChainReader;
     protocolRpc?: ProtocolDataProvider;
@@ -549,39 +441,32 @@ interface PreparationInventory {
     credits: Record<string, Pick<CreditRecord, "state" | "commitment" | "treeId" | "leafIndex" | "role" | "spent">>;
 }
 
-type PreparationIntent = {
-    kind: "transfer";
-    options: TransferPreparation;
-} | {
-    kind: "shield";
-    options: ShieldPreparation;
-} | {
-    kind: "create-credit";
-    options: CreateCreditPreparation;
-} | {
-    kind: "top-up-credit";
-    options: TopUpCreditPreparation;
-} | {
-    kind: "cancel-credit";
-    options: CancelCreditPreparation;
-};
-type BroadcasterFeeSource = "public-funding" | "private-inputs" | "payout";
-interface WithBroadcasterOptions {
-    maxFeeAmount: bigint;
-    feeSource?: BroadcasterFeeSource;
-    maxAttempts?: number;
-    /** Optional app-owned permit signing, requested once for the final gross funding amount. */
-    fundingPermit?: (request: {
-        payer: `0x${string}`;
-        amount: bigint;
-        tokenAddress: `0x${string}`;
-        protocolAddress: `0x${string}`;
-    }) => Promise<NonNullable<TransferPreparation["funding"]>["permit"]>;
-}
-declare function prepareIntent(runtime: PreparationRuntime<OperationPlan>, intent: PreparationIntent): Promise<OperationPlan>;
-declare function prepareBroadcasterPlan(plan: OperationPlan, reprepare: (intent: PreparationIntent) => Promise<OperationPlan>, client: BroadcasterClient, options: WithBroadcasterOptions): Promise<{
-    plan: OperationPlan;
-    quote: SignedBroadcasterQuote;
+interface PreparedProvenanceCapability {
+    client: ProvenanceClient;
+    manifest: ManifestIdentity;
+    prover: OfflineProver;
+    maxRootPages?: number;
+    maxLeaves?: number;
+}
+declare function prepareProvenance(plan: OperationPlan, runtime: TransactionRuntime): Promise<{
+    operationDigest: string;
+    sidecars: ProofSidecar[];
 }>;
+declare function provePreparedProvenance(saved: SavedOperation, runtime: TransactionRuntime, capability?: PreparedProvenanceCapability, reprove?: boolean): Promise<ProvenanceProof>;
+declare function validateBroadcastEnvelope(saved: SavedOperation, client: BroadcasterClient): void;
+declare function validatePreparedBroadcast(saved: SavedOperation, client: BroadcasterClient, runtime: TransactionRuntime): Promise<void>;
+
+interface BroadcasterTransaction {
+    readonly id: string;
+    readonly status: string;
+}
+interface Hooks<T extends BroadcasterTransaction> {
+    quote(client: BroadcasterClient, options: BroadcasterQuoteOptions): Promise<T>;
+    submit(client: BroadcasterClient): Promise<BroadcasterStatus>;
+    provenanceContext(): Promise<Scope>;
+    readProvenance(): Promise<ProvenanceProof | undefined>;
+    proveProvenance(capability: PreparedProvenanceCapability, reprove?: boolean): Promise<ProvenanceProof>;
+}
+declare function bindBroadcasterOperation<T extends BroadcasterTransaction>(target: T, hooks: Hooks<T>): void;
 
-export { type LocalOperationSecrets as $, broadcasterTransactInterface as A, BroadcasterClient as B, type CancelCreditPreparation as C, type DrawCreditPreparation as D, decodeBroadcasterIntent as E, type FundingAuthorizationVerifier as F, type GasBenchmarkCircuit as G, verifyBroadcasterQuote as H, type GasEstimateRequest as I, type OperationPlan as J, type BenchmarkGasEstimate as K, type SavedOperation as L, type TransactionRuntime as M, NoteOutput as N, type OperationAggregateMember as O, type PaymentRequest as P, type OperationStatus as Q, type PreparationRuntime as R, type ShieldPreparation as S, type TopUpCreditPreparation as T, type TransactionInfrastructure as U, type AddressLookup as V, type WithBroadcasterOptions as W, type Checkpoint as X, type CoinSelector as Y, type CreditPlan as Z, type CreditRecord as _, type BroadcasterConfiguration as a, type NoteRecord as a0, type PreparationIntent as a1, type PreparationInventory as a2, type PreparedCreditInput as a3, type PreparedCreditOutput as a4, type PreparedOutput as a5, type ReceiptPosition as a6, type SpentState as a7, type WalletScope as a8, configureRecipientInfrastructure as a9, creditReservationKey as aa, prepareBroadcasterPlan as ab, prepareIntent as ac, recipientLookup as ad, type BroadcasterFeeSource as b, type BroadcasterQuote as c, BroadcasterRpcError as d, type BroadcasterStatus as e, type BroadcasterTransport as f, type BroadcasterTrust as g, type CreateCreditPreparation as h, type FundingSigner as i, type FundingSource as j, type FundingTypedData as k, type GasBenchmarkDeployment as l, type GasBenchmarkProfile as m, type GasBenchmarkSample as n, type GasBenchmarkShape as o, type GasReference as p, type NoteOutputContext as q, type NoteOutputExecutionOptions as r, type NoteOutputRecipient as s, type SignedBroadcasterQuote as t, type TransactionExecution as u, type TransactionProveOptions as v, type TransferPreparation as w, broadcasterQuoteDomain as x, broadcasterQuoteTypes as y, broadcasterRequestHash as z };
+export { validateBroadcastEnvelope as $, type AddressLookup as A, type BroadcasterTransaction as B, type CreateCreditPreparation as C, type DrawCreditPreparation as D, type PreparedCreditInput as E, type FundingSigner as F, type PreparedCreditOutput as G, type PreparedOutput as H, type ReceiptPosition as I, type SpentState as J, bindBroadcasterOperation as K, type LocalOperationSecrets as L, configureRecipientInfrastructure as M, NoteOutput as N, type OperationStatus as O, type ProvenanceProof as P, creditReservationKey as Q, type RevokeCreditPreparation as R, type ShieldPreparation as S, type TransactionRuntime as T, type UpdateCreditPreparation as U, prepareBroadcasterPlan as V, type WalletScope as W, prepareIntent as X, prepareProvenance as Y, provePreparedProvenance as Z, recipientLookup as _, type PreparedProvenanceCapability as a, validatePreparedBroadcast as a0, type FundingTypedData as b, type FundingAuthorizationVerifier as c, type PreparationIntent as d, type OperationPlan as e, type TransactionProveOptions as f, type OperationAggregateMember as g, type TransactionInfrastructure as h, BroadcasterClient as i, type PaymentRequest as j, type BroadcasterFeeSource as k, type BroadcasterQuoteOptions as l, type FundingSource as m, type NoteOutputContext as n, type NoteOutputExecutionOptions as o, type NoteOutputRecipient as p, type TransactionExecution as q, type TransferPreparation as r, type SavedOperation as s, type PreparationRuntime as t, type Checkpoint as u, type CoinSelector as v, type CreditPlan as w, type CreditRecord as x, type NoteRecord as y, type PreparationInventory as z };