@midnight-ntwrk/wallet-sdk-shielded 2.0.0-rc.0 → 2.0.0-rc.2

package/README.md

@@ -89,13 +89,6 @@ const tx = await wallet.transferTransaction(shieldedSecretKeys, [
 const balancingTx = await wallet.balanceTransaction(shieldedSecretKeys, transactionToBalance);
 ```
 
-### Finalizing Transactions
-
-```typescript
-// Generates ZK proofs and finalizes the transaction
-const finalizedTx = await wallet.finalizeTransaction(unprovenTx);
-```
-
 ### Creating Swap Offers
 
 ```typescript

package/dist/ShieldedWallet.d.ts

@@ -1,10 +1,10 @@
-import { type ProtocolState, ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
+import { type ProtocolState, ProtocolVersion, SyncProgress } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { type BaseV1Configuration, type DefaultV1Configuration, type V1Variant, CoreWallet } from './v1/index.js';
 import * as ledger from '@midnight-ntwrk/ledger-v7';
 import * as rx from 'rxjs';
 import { type BalancingResult } from './v1/Transacting.js';
 import { type SerializationCapability } from './v1/Serialization.js';
-import { type ProgressUpdate, type TransactionHistoryCapability } from './v1/TransactionHistory.js';
+import { type TransactionHistoryCapability } from './v1/TransactionHistory.js';
 import { type AvailableCoin, type CoinsAndBalancesCapability, type PendingCoin } from './v1/CoinsAndBalances.js';
 import { type KeysCapability } from './v1/Keys.js';
 import { type ShieldedAddress, type ShieldedCoinPublicKey, type ShieldedEncryptionPublicKey } from '@midnight-ntwrk/wallet-sdk-address-format';
@@ -30,7 +30,7 @@ export declare class ShieldedWalletState<TSerialized = string, TTransaction = le
     get coinPublicKey(): ShieldedCoinPublicKey;
     get encryptionPublicKey(): ShieldedEncryptionPublicKey;
     get address(): ShieldedAddress;
-    get progress(): ProgressUpdate;
+    get progress(): SyncProgress.SyncProgress;
     /**
      * Transaction history for the wallet.
      * @throws Error - Not yet implemented
@@ -47,7 +47,6 @@ export type ShieldedWalletAPI<TStartAux = ledger.ZswapSecretKeys, TTransaction =
     balanceTransaction(secretKeys: ledger.ZswapSecretKeys, tx: ledger.Transaction<ledger.Signaturish, ledger.Proofish, ledger.Bindingish>): Promise<BalancingResult>;
     transferTransaction(secretKeys: ledger.ZswapSecretKeys, outputs: readonly TokenTransfer[]): Promise<ledger.UnprovenTransaction>;
     initSwap(secretKeys: ledger.ZswapSecretKeys, desiredInputs: Record<ledger.RawTokenType, bigint>, desiredOutputs: readonly TokenTransfer[]): Promise<ledger.UnprovenTransaction>;
-    finalizeTransaction(transaction: ledger.UnprovenTransaction): Promise<TTransaction>;
     serializeState(): Promise<TSerialized>;
     waitForSyncedState(allowedGap?: bigint): Promise<ShieldedWalletState<TSerialized, TTransaction>>;
     getAddress(): Promise<ShieldedAddress>;

package/dist/ShieldedWallet.js

@@ -45,7 +45,7 @@ export class ShieldedWalletState {
         return this.capabilities.keys.getAddress(this.state);
     }
     get progress() {
-        return this.capabilities.transactionHistory.progress(this.state);
+        return this.state.progress;
     }
     /**
      * Transaction history for the wallet.
@@ -111,13 +111,6 @@ export function CustomShieldedWallet(configuration, builder) {
                 .dispatch({ [V1Tag]: (v1) => v1.initSwap(secretKeys, desiredInputs, desiredOutputs) })
                 .pipe(Effect.runPromise);
         }
-        finalizeTransaction(transaction) {
-            return this.runtime
-                .dispatch({
-                [V1Tag]: (v1) => v1.finalizeTransaction(transaction),
-            })
-                .pipe(Effect.runPromise);
-        }
         revertTransaction(transaction) {
             return this.runtime
                 .dispatch({

package/dist/v1/CoreWallet.d.ts

@@ -1,7 +1,6 @@
 import * as ledger from '@midnight-ntwrk/ledger-v7';
-import { ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
+import { ProtocolVersion, SyncProgress } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { Either } from 'effect';
-import { SyncProgress, SyncProgressData } from './SyncProgress.js';
 import { WalletError } from './WalletError.js';
 export type PublicKeys = {
     coinPublicKey: ledger.CoinPublicKey;
@@ -26,20 +25,20 @@ export type CoreWallet = Readonly<{
     state: ledger.ZswapLocalState;
     publicKeys: PublicKeys;
     protocolVersion: ProtocolVersion.ProtocolVersion;
-    progress: SyncProgress;
+    progress: SyncProgress.SyncProgress;
     networkId: string;
     coinHashes: CoinHashesMap;
 }>;
 export declare const CoreWallet: {
     init(localState: ledger.ZswapLocalState, secretKeys: ledger.ZswapSecretKeys, networkId: string): CoreWallet;
     empty(publicKeys: PublicKeys, networkId: string): CoreWallet;
-    restore(localState: ledger.ZswapLocalState, secretKeys: ledger.ZswapSecretKeys, syncProgress: Omit<SyncProgressData, "isConnected">, protocolVersion: bigint, networkId: string): CoreWallet;
-    restoreWithCoinHashes(publicKeys: PublicKeys, localState: ledger.ZswapLocalState, coinHashes: CoinHashesMap, syncProgress: SyncProgressData, protocolVersion: bigint, networkId: string): Either.Either<CoreWallet, WalletError>;
+    restore(localState: ledger.ZswapLocalState, secretKeys: ledger.ZswapSecretKeys, syncProgress: Omit<SyncProgress.SyncProgressData, "isConnected">, protocolVersion: bigint, networkId: string): CoreWallet;
+    restoreWithCoinHashes(publicKeys: PublicKeys, localState: ledger.ZswapLocalState, coinHashes: CoinHashesMap, syncProgress: SyncProgress.SyncProgressData, protocolVersion: bigint, networkId: string): Either.Either<CoreWallet, WalletError>;
     initEmpty(keys: ledger.ZswapSecretKeys, networkId: string): CoreWallet;
     applyCollapsedUpdate(wallet: CoreWallet, collapsed: ledger.MerkleTreeCollapsedUpdate): CoreWallet;
     apply<TOffer extends ledger.ZswapOffer<ledger.Proofish>>(wallet: CoreWallet, secretKeys: ledger.ZswapSecretKeys, offer: TOffer): CoreWallet;
     replayEvents(wallet: CoreWallet, secretKeys: ledger.ZswapSecretKeys, events: ledger.Event[]): CoreWallet;
-    updateProgress(wallet: CoreWallet, { appliedIndex, highestRelevantWalletIndex, highestIndex, highestRelevantIndex, isConnected, }: Partial<SyncProgressData>): CoreWallet;
+    updateProgress(wallet: CoreWallet, { appliedIndex, highestRelevantWalletIndex, highestIndex, highestRelevantIndex, isConnected, }: Partial<SyncProgress.SyncProgressData>): CoreWallet;
     addTransaction(wallet: CoreWallet, _tx: ledger.FinalizedTransaction): CoreWallet;
     revertTransaction<TTx extends ledger.Transaction<ledger.Signaturish, ledger.Proofish, ledger.Bindingish>>(wallet: CoreWallet, _tx: TTx): CoreWallet;
     updateTxHistory(wallet: CoreWallet, _newTxs: readonly ledger.FinalizedTransaction[]): CoreWallet;

package/dist/v1/CoreWallet.js

@@ -11,9 +11,8 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 import * as ledger from '@midnight-ntwrk/ledger-v7';
-import { ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
+import { ProtocolVersion, SyncProgress } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { Either, Iterable, pipe, Record, Array as Arr } from 'effect';
-import { createSyncProgress } from './SyncProgress.js';
 import { InvalidCoinHashesError } from './WalletError.js';
 export const PublicKeys = {
     fromSecretKeys: (secretKeys) => {
@@ -56,7 +55,7 @@ export const CoreWallet = {
     init(localState, secretKeys, networkId) {
         const publicKeys = PublicKeys.fromSecretKeys(secretKeys);
         const coinHashes = CoinHashesMap.init(secretKeys, CoinHashesMap.pickAllCoins(localState));
-        const progress = createSyncProgress();
+        const progress = SyncProgress.createSyncProgress();
         const protocolVersion = ProtocolVersion.MinSupportedVersion;
         return { state: localState, publicKeys, networkId, coinHashes, progress, protocolVersion };
     },
@@ -66,7 +65,7 @@ export const CoreWallet = {
             publicKeys,
             networkId,
             coinHashes: CoinHashesMap.empty,
-            progress: createSyncProgress(),
+            progress: SyncProgress.createSyncProgress(),
             protocolVersion: ProtocolVersion.MinSupportedVersion,
         };
     },
@@ -78,7 +77,7 @@ export const CoreWallet = {
             publicKeys,
             networkId,
             coinHashes,
-            progress: createSyncProgress(syncProgress),
+            progress: SyncProgress.createSyncProgress(syncProgress),
             protocolVersion: ProtocolVersion.ProtocolVersion(protocolVersion),
         };
     },
@@ -90,7 +89,7 @@ export const CoreWallet = {
                 publicKeys,
                 networkId,
                 coinHashes,
-                progress: createSyncProgress(syncProgress),
+                progress: SyncProgress.createSyncProgress(syncProgress),
                 protocolVersion: ProtocolVersion.ProtocolVersion(protocolVersion),
             }),
         }));
@@ -113,7 +112,7 @@ export const CoreWallet = {
         return { ...wallet, state: newState, coinHashes: newCoinHashes };
     },
     updateProgress(wallet, { appliedIndex, highestRelevantWalletIndex, highestIndex, highestRelevantIndex, isConnected, }) {
-        const updatedProgress = createSyncProgress({
+        const updatedProgress = SyncProgress.createSyncProgress({
             appliedIndex: appliedIndex ?? wallet.progress.appliedIndex,
             highestRelevantWalletIndex: highestRelevantWalletIndex ?? wallet.progress.highestRelevantWalletIndex,
             highestIndex: highestIndex ?? wallet.progress.highestIndex,

package/dist/v1/RunningV1Variant.d.ts

@@ -1,7 +1,6 @@
 import type * as ledger from '@midnight-ntwrk/ledger-v7';
 import { Effect, Scope, Stream } from 'effect';
 import { type WalletRuntimeError, type Variant, StateChange } from '@midnight-ntwrk/wallet-sdk-runtime/abstractions';
-import { type ProvingService } from './Proving.js';
 import { type SerializationCapability } from './Serialization.js';
 import { type EventsSyncUpdate, type SyncCapability, type SyncService } from './Sync.js';
 import { type TransactingCapability, type TokenTransfer, type BalancingResult } from './Transacting.js';
@@ -17,7 +16,6 @@ export declare namespace RunningV1Variant {
         syncService: SyncService<CoreWallet, TStartAux, TSyncUpdate>;
         syncCapability: SyncCapability<CoreWallet, TSyncUpdate>;
         transactingCapability: TransactingCapability<ledger.ZswapSecretKeys, CoreWallet, TTransaction>;
-        provingService: ProvingService<TTransaction>;
         coinsAndBalancesCapability: CoinsAndBalancesCapability<CoreWallet>;
         keysCapability: KeysCapability<CoreWallet>;
         coinSelection: CoinSelection<ledger.QualifiedShieldedCoinInfo>;
@@ -37,7 +35,6 @@ export declare class RunningV1Variant<TSerialized, TSyncUpdate, TTransaction, TS
     balanceTransaction(secretKeys: ledger.ZswapSecretKeys, tx: ledger.Transaction<ledger.Signaturish, ledger.Proofish, ledger.Bindingish>): Effect.Effect<BalancingResult, WalletError>;
     transferTransaction(secretKeys: ledger.ZswapSecretKeys, outputs: ReadonlyArray<TokenTransfer>): Effect.Effect<ledger.UnprovenTransaction, WalletError>;
     initSwap(secretKeys: ledger.ZswapSecretKeys, desiredInputs: Record<ledger.RawTokenType, bigint>, desiredOutputs: ReadonlyArray<TokenTransfer>): Effect.Effect<ledger.UnprovenTransaction, WalletError>;
-    finalizeTransaction(transaction: ledger.UnprovenTransaction): Effect.Effect<TTransaction, WalletError>;
     revertTransaction(transaction: ledger.Transaction<ledger.Signaturish, ledger.Proofish, ledger.Bindingish>): Effect.Effect<void, WalletError>;
     serializeState(state: CoreWallet): TSerialized;
 }

package/dist/v1/RunningV1Variant.js

@@ -79,11 +79,6 @@ export class RunningV1Variant {
             return pipe(this.#v1Context.transactingCapability.initSwap(secretKeys, state, desiredInputs, desiredOutputs), EitherOps.toEffect);
         });
     }
-    finalizeTransaction(transaction) {
-        return this.#v1Context.provingService
-            .prove(transaction)
-            .pipe(Effect.tapError(() => SubscriptionRef.updateEffect(this.#context.stateRef, (state) => EitherOps.toEffect(this.#v1Context.transactingCapability.revertTransaction(state, transaction)))));
-    }
     revertTransaction(transaction) {
         return SubscriptionRef.updateEffect(this.#context.stateRef, (state) => {
             return pipe(this.#v1Context.transactingCapability.revertTransaction(state, transaction), EitherOps.toEffect);

package/dist/v1/TransactionHistory.d.ts

@@ -1,15 +1,8 @@
 import * as ledger from '@midnight-ntwrk/ledger-v7';
 import { CoreWallet } from './CoreWallet.js';
-export type ProgressUpdate = {
-    appliedIndex: bigint | undefined;
-    highestRelevantWalletIndex: bigint | undefined;
-    highestIndex: bigint | undefined;
-    highestRelevantIndex: bigint | undefined;
-};
 export type TransactionHistoryCapability<TState, TTransaction> = {
     updateTxHistory(state: TState, newTxs: TTransaction[]): TState;
     transactionHistory(state: TState): readonly TTransaction[];
-    progress(state: TState): ProgressUpdate;
 };
 export declare const makeDefaultTransactionHistoryCapability: () => TransactionHistoryCapability<CoreWallet, ledger.FinalizedTransaction>;
 export declare const makeSimulatorTransactionHistoryCapability: () => TransactionHistoryCapability<CoreWallet, ledger.ProofErasedTransaction>;

package/dist/v1/TransactionHistory.js

@@ -7,14 +7,6 @@ export const makeDefaultTransactionHistoryCapability = () => {
         transactionHistory: (_state) => {
             return [];
         },
-        progress: (state) => {
-            return {
-                appliedIndex: state.progress.appliedIndex,
-                highestRelevantWalletIndex: state.progress.highestRelevantWalletIndex,
-                highestIndex: state.progress.highestIndex,
-                highestRelevantIndex: state.progress.highestRelevantIndex,
-            };
-        },
     };
 };
 export const makeSimulatorTransactionHistoryCapability = () => {
@@ -25,14 +17,6 @@ export const makeSimulatorTransactionHistoryCapability = () => {
         transactionHistory: (_state) => {
             return [];
         },
-        progress: (state) => {
-            return {
-                appliedIndex: state.progress.appliedIndex,
-                highestRelevantWalletIndex: state.progress.highestRelevantWalletIndex,
-                highestIndex: state.progress.highestIndex,
-                highestRelevantIndex: state.progress.highestRelevantIndex,
-            };
-        },
     };
 };
 export const makeDiscardTransactionHistoryCapability = () => {
@@ -43,13 +27,5 @@ export const makeDiscardTransactionHistoryCapability = () => {
         transactionHistory: (_state) => {
             return [];
         },
-        progress: (state) => {
-            return {
-                appliedIndex: state.progress.appliedIndex,
-                highestRelevantWalletIndex: state.progress.highestRelevantWalletIndex,
-                highestIndex: state.progress.highestIndex,
-                highestRelevantIndex: state.progress.highestRelevantIndex,
-            };
-        },
     };
 };

package/dist/v1/V1Builder.d.ts

@@ -2,7 +2,6 @@ import * as ledger from '@midnight-ntwrk/ledger-v7';
 import { type Either, type Types } from 'effect';
 import { type NetworkId } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { type Variant, type VariantBuilder } from '@midnight-ntwrk/wallet-sdk-runtime/abstractions';
-import { type DefaultProvingConfiguration, type ProvingService } from './Proving.js';
 import { RunningV1Variant, V1Tag } from './RunningV1Variant.js';
 import { type SerializationCapability } from './Serialization.js';
 import { type DefaultSyncContext, type DefaultSyncConfiguration, type SyncCapability, type SyncService, type WalletSyncUpdate } from './Sync.js';
@@ -16,7 +15,7 @@ import { type TransactionHistoryCapability } from './TransactionHistory.js';
 export type BaseV1Configuration = {
     networkId: NetworkId.NetworkId;
 };
-export type DefaultV1Configuration = BaseV1Configuration & DefaultSyncConfiguration & DefaultProvingConfiguration & DefaultTransactingConfiguration;
+export type DefaultV1Configuration = BaseV1Configuration & DefaultSyncConfiguration & DefaultTransactingConfiguration;
 declare const V1BuilderSymbol: {
     readonly typeId: unique symbol;
 };
@@ -47,8 +46,6 @@ export declare class V1Builder<TConfig extends BaseV1Configuration = BaseV1Confi
     withTransacting<TTransactingConfig, TTransactingContext extends Partial<RunningV1Variant.AnyContext>>(transactingCapability: (config: TTransactingConfig, getContext: () => TTransactingContext) => TransactingCapability<ledger.ZswapSecretKeys, CoreWallet, TTransaction>): V1Builder<TConfig & TTransactingConfig, TContext & TTransactingContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withCoinSelection<TCoinSelectionConfig, TCoinSelectionContext extends Partial<RunningV1Variant.AnyContext>>(coinSelection: (config: TCoinSelectionConfig, getContext: () => TCoinSelectionContext) => CoinSelection<ledger.QualifiedShieldedCoinInfo>): V1Builder<TConfig & TCoinSelectionConfig, TContext & TCoinSelectionContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withCoinSelectionDefaults(): V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
-    withProving<TProvingConfig, TProvingContext extends Partial<RunningV1Variant.AnyContext>>(provingService: (config: TProvingConfig, getContext: () => TProvingContext) => ProvingService<TTransaction>): V1Builder<TConfig & TProvingConfig, TContext & TProvingContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
-    withProvingDefaults(this: V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, ledger.FinalizedTransaction, TStartAux>): V1Builder<TConfig & DefaultProvingConfiguration, TContext, TSerialized, TSyncUpdate, ledger.FinalizedTransaction, TStartAux>;
     withCoinsAndBalancesDefaults(): V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withCoinsAndBalances<TBalancesConfig, TBalancesContext extends Partial<RunningV1Variant.AnyContext>>(coinsAndBalancesCapability: (configuration: TBalancesConfig, getContext: () => TBalancesContext) => CoinsAndBalancesCapability<CoreWallet>): V1Builder<TConfig & TBalancesConfig, TContext & TBalancesContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withTransactionHistoryDefaults(this: V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, ledger.FinalizedTransaction, TStartAux>): V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, ledger.FinalizedTransaction, TStartAux>;
@@ -72,9 +69,6 @@ declare namespace V1Builder {
     type HasSerialization<TConfig, TContext, TSerialized> = {
         readonly serializationCapability: (configuration: TConfig, getContext: () => TContext) => SerializationCapability<CoreWallet, null, TSerialized>;
     };
-    type HasProving<TConfig, TContext, TTransaction> = {
-        readonly provingService: (configuration: TConfig, getContext: () => TContext) => ProvingService<TTransaction>;
-    };
     type HasCoinsAndBalances<TConfig, TContext> = {
         readonly coinsAndBalancesCapability: (configuration: TConfig, getContext: () => TContext) => CoinsAndBalancesCapability<CoreWallet>;
     };
@@ -87,7 +81,7 @@ declare namespace V1Builder {
     /**
      * The internal build state of {@link V1Builder}.
      */
-    type FullBuildState<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux> = Types.Simplify<HasSync<TConfig, TContext, TSyncUpdate, TStartAux> & HasSerialization<TConfig, TContext, TSerialized> & HasTransacting<TConfig, TContext, TTransaction> & HasCoinSelection<TConfig, TContext> & HasProving<TConfig, TContext, TTransaction> & HasCoinsAndBalances<TConfig, TContext> & HasKeys<TConfig, TContext> & HasTransactionHistory<TConfig, TContext, TTransaction>>;
+    type FullBuildState<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux> = Types.Simplify<HasSync<TConfig, TContext, TSyncUpdate, TStartAux> & HasSerialization<TConfig, TContext, TSerialized> & HasTransacting<TConfig, TContext, TTransaction> & HasCoinSelection<TConfig, TContext> & HasCoinsAndBalances<TConfig, TContext> & HasKeys<TConfig, TContext> & HasTransactionHistory<TConfig, TContext, TTransaction>>;
     type PartialBuildState<TConfig = object, TContext = object, TSerialized = never, TSyncUpdate = never, TTransaction = never, TStartAux = object> = {
         [K in keyof FullBuildState<never, never, never, never, never, never>]?: FullBuildState<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>[K] | undefined;
     };

package/dist/v1/V1Builder.js

@@ -13,7 +13,6 @@
 import * as ledger from '@midnight-ntwrk/ledger-v7';
 import { Effect, Scope } from 'effect';
 import { WalletSeed } from '@midnight-ntwrk/wallet-sdk-abstractions';
-import { makeDefaultProvingService } from './Proving.js';
 import { RunningV1Variant, V1Tag } from './RunningV1Variant.js';
 import { makeDefaultV1SerializationCapability } from './Serialization.js';
 import { makeEventsSyncService, makeEventsSyncCapability, } from './Sync.js';
@@ -39,13 +38,11 @@ export class V1Builder {
             .withCoinsAndBalancesDefaults()
             .withTransactionHistoryDefaults()
             .withKeysDefaults()
-            .withProvingDefaults()
             .withCoinSelectionDefaults();
     }
     withTransactionType() {
         return new V1Builder({
             ...this.#buildState,
-            provingService: undefined,
             transactingCapability: undefined,
             transactionHistoryCapability: undefined,
         });
@@ -90,15 +87,6 @@ export class V1Builder {
     withCoinSelectionDefaults() {
         return this.withCoinSelection(() => chooseCoin);
     }
-    withProving(provingService) {
-        return new V1Builder({
-            ...this.#buildState,
-            provingService,
-        });
-    }
-    withProvingDefaults() {
-        return this.withProving(makeDefaultProvingService);
-    }
     withCoinsAndBalancesDefaults() {
         return this.withCoinsAndBalances(makeDefaultCoinsAndBalancesCapability);
     }
@@ -154,7 +142,7 @@ export class V1Builder {
         if (!isBuildStateFull(this.#buildState)) {
             throw new Error('Not all components are configured in V1 Builder');
         }
-        const { syncCapability, syncService, transactingCapability, serializationCapability, provingService, coinSelection, coinsAndBalancesCapability, keysCapability, transactionHistoryCapability, } = this.#buildState;
+        const { syncCapability, syncService, transactingCapability, serializationCapability, coinSelection, coinsAndBalancesCapability, keysCapability, transactionHistoryCapability, } = this.#buildState;
         const getContext = () => context;
         const context = {
             serializationCapability: serializationCapability(configuration, getContext),
@@ -163,7 +151,6 @@ export class V1Builder {
             transactingCapability: transactingCapability(configuration, getContext),
             coinsAndBalancesCapability: coinsAndBalancesCapability(configuration, getContext),
             keysCapability: keysCapability(configuration, getContext),
-            provingService: provingService(configuration, getContext),
             coinSelection: coinSelection(configuration, getContext),
             transactionHistoryCapability: transactionHistoryCapability(configuration, getContext),
         };
@@ -177,7 +164,6 @@ const isBuildStateFull = (buildState) => {
         'transactingCapability',
         'coinSelection',
         'serializationCapability',
-        'provingService',
         'coinsAndBalancesCapability',
         'keysCapability',
         'transactionHistoryCapability',

package/dist/v1/WalletError.d.ts

@@ -1,19 +1,10 @@
 import * as ledger from '@midnight-ntwrk/ledger-v7';
 import { LedgerOps } from '@midnight-ntwrk/wallet-sdk-utilities';
 export declare const WalletError: {
-    proving(err: Error): WalletError;
     other(err: unknown): WalletError;
     submission(err: unknown): WalletError;
 };
-export type WalletError = ProvingError | OtherWalletError | InsufficientFundsError | SubmissionError | AddressError | SyncWalletError | InvalidCoinHashesError | TransactingError | LedgerOps.LedgerError;
-declare const ProvingError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "Wallet.Proving";
-} & Readonly<A>;
-export declare class ProvingError extends ProvingError_base<{
-    message: string;
-    cause: Error;
-}> {
-}
+export type WalletError = OtherWalletError | InsufficientFundsError | SubmissionError | AddressError | SyncWalletError | InvalidCoinHashesError | TransactingError | LedgerOps.LedgerError;
 declare const OtherWalletError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
     readonly _tag: "Wallet.Other";
 } & Readonly<A>;

package/dist/v1/WalletError.js

@@ -12,12 +12,6 @@
 // limitations under the License.
 import { Data } from 'effect';
 export const WalletError = {
-    proving(err) {
-        return new ProvingError({
-            message: `Wallet proving error: ${err.message}`,
-            cause: err,
-        });
-    },
     other(err) {
         let message;
         if (err) {
@@ -41,8 +35,6 @@ export const WalletError = {
         return new SubmissionError({ message: `Transaction submission error: ${message}`, cause: err });
     },
 };
-export class ProvingError extends Data.TaggedError('Wallet.Proving') {
-}
 export class OtherWalletError extends Data.TaggedError('Wallet.Other') {
 }
 export class SyncWalletError extends Data.TaggedError('Wallet.Sync') {

package/dist/v1/index.d.ts

@@ -1,10 +1,8 @@
 export * from './V1Builder.js';
 export * as Sync from './Sync.js';
-export * as SyncProgress from './SyncProgress.js';
 export * as Transacting from './Transacting.js';
 export * as TransactionHistory from './TransactionHistory.js';
 export * as Serialization from './Serialization.js';
-export * as Proving from './Proving.js';
 export * as CoinsAndBalances from './CoinsAndBalances.js';
 export * as Keys from './Keys.js';
 export * from './RunningV1Variant.js';

package/dist/v1/index.js

@@ -12,11 +12,9 @@
 // limitations under the License.
 export * from './V1Builder.js';
 export * as Sync from './Sync.js';
-export * as SyncProgress from './SyncProgress.js';
 export * as Transacting from './Transacting.js';
 export * as TransactionHistory from './TransactionHistory.js';
 export * as Serialization from './Serialization.js';
-export * as Proving from './Proving.js';
 export * as CoinsAndBalances from './CoinsAndBalances.js';
 export * as Keys from './Keys.js';
 export * from './RunningV1Variant.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@midnight-ntwrk/wallet-sdk-shielded",
-  "version": "2.0.0-rc.0",
+  "version": "2.0.0-rc.2",
   "type": "module",
   "main": "./dist/index.js",
   "module": "./dist/index.js",
@@ -29,15 +29,12 @@
   },
   "dependencies": {
     "@midnight-ntwrk/ledger-v7": "7.0.0",
-    "@midnight-ntwrk/wallet-sdk-abstractions": "1.0.0",
+    "@midnight-ntwrk/wallet-sdk-abstractions": "2.0.0-rc.1",
     "@midnight-ntwrk/wallet-sdk-address-format": "3.0.0",
-    "@midnight-ntwrk/wallet-sdk-capabilities": "3.1.0-rc.0",
-    "@midnight-ntwrk/wallet-sdk-indexer-client": "1.1.0-rc.0",
-    "@midnight-ntwrk/wallet-sdk-node-client": "1.0.0",
-    "@midnight-ntwrk/wallet-sdk-prover-client": "1.1.0-rc.0",
-    "@midnight-ntwrk/wallet-sdk-runtime": "1.0.0",
-    "@midnight-ntwrk/wallet-sdk-utilities": "1.0.0",
-    "@midnight-ntwrk/zkir-v2": "2.1.0",
+    "@midnight-ntwrk/wallet-sdk-capabilities": "3.1.0-rc.2",
+    "@midnight-ntwrk/wallet-sdk-indexer-client": "1.1.0-rc.2",
+    "@midnight-ntwrk/wallet-sdk-runtime": "1.0.1-rc.1",
+    "@midnight-ntwrk/wallet-sdk-utilities": "1.0.1-rc.0",
     "@scure/base": "^1.1.9",
     "effect": "^3.19.14",
     "isomorphic-ws": "^5.0.0",
@@ -65,6 +62,7 @@
     "@effect/rpc": "^0.68.0",
     "@effect/sql": "^0.44.0",
     "@effect/workflow": "^0.8.1",
+    "@midnight-ntwrk/wallet-sdk-prover-client": "1.1.0-rc.2",
     "@polkadot/types": "^16.4.1",
     "eslint": "^9.37.0",
     "fast-check": "^4.2.0",

package/dist/v1/Proving.d.ts

@@ -1,21 +0,0 @@
-import * as ledger from '@midnight-ntwrk/ledger-v7';
-import type { KeyMaterialProvider } from '@midnight-ntwrk/zkir-v2';
-import { ProverClient } from '@midnight-ntwrk/wallet-sdk-prover-client/effect';
-import { InvalidProtocolSchemeError } from '@midnight-ntwrk/wallet-sdk-utilities/networking';
-import { Effect, Layer } from 'effect';
-import { WalletError } from './WalletError.js';
-export interface ProvingService<TTransaction> {
-    prove(transaction: ledger.UnprovenTransaction): Effect.Effect<TTransaction, WalletError>;
-}
-export declare const makeProvingService: (clientLayer: Layer.Layer<ProverClient.ProverClient, InvalidProtocolSchemeError>) => ProvingService<ledger.FinalizedTransaction>;
-export type WasmProvingConfiguration = {
-    keyMaterialProvider?: KeyMaterialProvider;
-};
-export type ProvingServerConfiguration = {
-    provingServerUrl: URL;
-};
-export type DefaultProvingConfiguration = ProvingServerConfiguration;
-export declare const makeDefaultProvingService: (configuration: DefaultProvingConfiguration) => ProvingService<ledger.FinalizedTransaction>;
-export declare const makeServerProvingService: (configuration: ProvingServerConfiguration) => ProvingService<ledger.FinalizedTransaction>;
-export declare const makeWasmProvingService: (configuration: WasmProvingConfiguration) => ProvingService<ledger.FinalizedTransaction>;
-export declare const makeSimulatorProvingService: () => ProvingService<ledger.ProofErasedTransaction>;

package/dist/v1/Proving.js

@@ -1,46 +0,0 @@
-// This file is part of MIDNIGHT-WALLET-SDK.
-// Copyright (C) 2025 Midnight Foundation
-// SPDX-License-Identifier: Apache-2.0
-// 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.
-import * as ledger from '@midnight-ntwrk/ledger-v7';
-import { HttpProverClient, WasmProver, ProverClient } from '@midnight-ntwrk/wallet-sdk-prover-client/effect';
-import { Effect, pipe } from 'effect';
-import { ProvingError } from './WalletError.js';
-export const makeProvingService = (clientLayer) => {
-    return {
-        prove(transaction) {
-            return pipe(ProverClient.ProverClient, Effect.flatMap((client) => client.proveTransaction(transaction, ledger.CostModel.initialCostModel())), Effect.map((transaction) => transaction.bind()), Effect.provide(clientLayer), Effect.catchAll((error) => Effect.fail(new ProvingError({
-                message: error.message,
-                cause: error,
-            }))));
-        },
-    };
-};
-export const makeDefaultProvingService = (configuration) => makeServerProvingService(configuration);
-export const makeServerProvingService = (configuration) => {
-    const clientLayer = HttpProverClient.layer({
-        url: configuration.provingServerUrl,
-    });
-    return makeProvingService(clientLayer);
-};
-export const makeWasmProvingService = (configuration) => {
-    const proverLayer = WasmProver.layer({
-        keyMaterialProvider: configuration.keyMaterialProvider ?? WasmProver.makeDefaultKeyMaterialProvider(),
-    });
-    return makeProvingService(proverLayer);
-};
-export const makeSimulatorProvingService = () => {
-    return {
-        prove(transaction) {
-            return Effect.succeed(transaction.eraseProofs());
-        },
-    };
-};

package/dist/v1/SyncProgress.d.ts

@@ -1,22 +0,0 @@
-export interface SyncProgressData {
-    readonly appliedIndex: bigint;
-    readonly highestRelevantWalletIndex: bigint;
-    readonly highestIndex: bigint;
-    readonly highestRelevantIndex: bigint;
-    readonly isConnected: boolean;
-}
-export interface SyncProgressOps {
-    isCompleteWithin(data: SyncProgressData, maxGap?: bigint): boolean;
-}
-export interface SyncProgress extends SyncProgressData {
-    isStrictlyComplete(): boolean;
-    isCompleteWithin(maxGap?: bigint): boolean;
-}
-export declare const SyncProgress: SyncProgressOps;
-export declare const createSyncProgress: (params?: {
-    appliedIndex?: bigint;
-    highestRelevantWalletIndex?: bigint;
-    highestIndex?: bigint;
-    highestRelevantIndex?: bigint;
-    isConnected?: boolean;
-}) => SyncProgress;

package/dist/v1/SyncProgress.js

@@ -1,25 +0,0 @@
-export const SyncProgress = {
-    isCompleteWithin(data, maxGap = 50n) {
-        const applyLag = BigInt(Math.abs(Number(data.highestRelevantWalletIndex - data.appliedIndex)));
-        return data.isConnected && applyLag <= maxGap;
-    },
-};
-export const createSyncProgress = (params = {}) => {
-    const { appliedIndex = 0n, highestRelevantWalletIndex = 0n, highestIndex = 0n, highestRelevantIndex = 0n, isConnected = false, } = params;
-    const data = {
-        appliedIndex,
-        highestRelevantWalletIndex,
-        highestIndex,
-        highestRelevantIndex,
-        isConnected,
-    };
-    return {
-        ...data,
-        isStrictlyComplete() {
-            return SyncProgress.isCompleteWithin(this, 0n);
-        },
-        isCompleteWithin(maxGap) {
-            return SyncProgress.isCompleteWithin(this, maxGap);
-        },
-    };
-};