@midnight-ntwrk/wallet-sdk-dust-wallet 1.0.0-beta.8 → 1.0.0

package/dist/Submission.js

@@ -1,3 +1,15 @@
+// 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 { Deferred, Effect, Encoding, Exit, pipe, Scope } from 'effect';
 import { NodeClient, PolkadotNodeClient, SubmissionEvent as SubmissionEventImported, } from '@midnight-ntwrk/wallet-sdk-node-client/effect';
 import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';

package/dist/Sync.d.ts

@@ -1,5 +1,5 @@
 import { Effect, Layer, Schema, Scope, Stream } from 'effect';
-import { DustSecretKey, Event as LedgerEvent, LedgerParameters } from '@midnight-ntwrk/ledger-v6';
+import { DustSecretKey, Event as LedgerEvent, LedgerParameters } from '@midnight-ntwrk/ledger-v7';
 import { SubscriptionClient, QueryClient } from '@midnight-ntwrk/wallet-sdk-indexer-client/effect';
 import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { Simulator, SimulatorState } from './Simulator.js';
@@ -7,7 +7,13 @@ import { DustCoreWallet } from './DustCoreWallet.js';
 import { NetworkId } from './types/ledger.js';
 export interface SyncService<TState, TStartAux, TUpdate> {
     updates: (state: TState, auxData: TStartAux) => Stream.Stream<TUpdate, WalletError.WalletError, Scope.Scope>;
-    ledgerParameters: () => Effect.Effect<LedgerParameters, WalletError.WalletError>;
+    blockData: () => Effect.Effect<BlockData, WalletError.WalletError>;
+}
+export interface BlockData {
+    hash: string;
+    height: number;
+    ledgerParameters: LedgerParameters;
+    timestamp: Date;
 }
 export interface SyncCapability<TState, TUpdate> {
     applyUpdate: (state: TState, update: TUpdate) => TState;
@@ -39,11 +45,12 @@ export declare const SyncEventsUpdateSchema: Schema.Struct<{
 }>;
 export type WalletSyncSubscription = Schema.Schema.Type<typeof SyncEventsUpdateSchema>;
 export type WalletSyncUpdate = {
-    update: WalletSyncSubscription;
+    updates: WalletSyncSubscription[];
     secretKeys: SecretKeysResource;
+    timestamp: Date;
 };
 export declare const WalletSyncUpdate: {
-    create: (update: WalletSyncSubscription, secretKey: DustSecretKey) => WalletSyncUpdate;
+    create: (updates: WalletSyncSubscription[], secretKey: DustSecretKey, timestamp: Date) => WalletSyncUpdate;
 };
 export declare const makeDefaultSyncService: (config: DefaultSyncConfiguration) => SyncService<DustCoreWallet, DustSecretKey, WalletSyncUpdate>;
 export type IndexerSyncService = {

package/dist/Sync.js

@@ -1,10 +1,23 @@
-import { Effect, Either, Layer, ParseResult, pipe, Schema, Stream } from 'effect';
-import { Event as LedgerEvent, LedgerParameters } from '@midnight-ntwrk/ledger-v6';
+// 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 { Effect, Either, Layer, ParseResult, pipe, Schema, Stream, Duration, Chunk, Schedule } from 'effect';
+import { Event as LedgerEvent, LedgerParameters } from '@midnight-ntwrk/ledger-v7';
 import { BlockHash, DustLedgerEvents } from '@midnight-ntwrk/wallet-sdk-indexer-client';
 import { WsSubscriptionClient, HttpQueryClient, ConnectionHelper, } from '@midnight-ntwrk/wallet-sdk-indexer-client/effect';
 import { DateOps, EitherOps, LedgerOps } from '@midnight-ntwrk/wallet-sdk-utilities';
 import { WsURL } from '@midnight-ntwrk/wallet-sdk-utilities/networking';
 import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
+import { Simulator } from './Simulator.js';
 import { Uint8ArraySchema } from './Serialization.js';
 export const SecretKeysResource = {
     create: (secretKey) => {
@@ -45,10 +58,11 @@ export const SyncEventsUpdateSchema = Schema.Struct({
     maxId: Schema.Number,
 });
 export const WalletSyncUpdate = {
-    create: (update, secretKey) => {
+    create: (updates, secretKey, timestamp) => {
         return {
-            update,
+            updates,
             secretKeys: SecretKeysResource.create(secretKey),
+            timestamp,
         };
     },
 };
@@ -56,18 +70,26 @@ export const makeDefaultSyncService = (config) => {
     const indexerSyncService = makeIndexerSyncService(config);
     return {
         updates: (state, secretKey) => {
-            return pipe(indexerSyncService.subscribeWallet(state), Stream.map((data) => WalletSyncUpdate.create(data, secretKey)), Stream.provideSomeLayer(indexerSyncService.connectionLayer()));
+            const batchSize = 10;
+            const batchTimeout = Duration.millis(1);
+            return pipe(indexerSyncService.subscribeWallet(state), Stream.groupedWithin(batchSize, batchTimeout), Stream.map(Chunk.toArray), Stream.map((data) => WalletSyncUpdate.create(data, secretKey, new Date())), Stream.schedule(Schedule.spaced(Duration.millis(4))), Stream.provideSomeLayer(indexerSyncService.connectionLayer()));
         },
-        ledgerParameters: () => {
+        blockData: () => {
             return Effect.gen(function* () {
                 const query = yield* BlockHash;
                 const result = yield* query({ offset: null });
-                return result.block?.ledgerParameters;
-            }).pipe(Effect.provide(indexerSyncService.queryClient()), Effect.scoped, Effect.catchAll((err) => Effect.fail(WalletError.WalletError.other(`Encountered unexpected error: ${err.message}`))), Effect.flatMap((ledgerParameters) => {
-                if (ledgerParameters === undefined) {
-                    return Effect.fail(WalletError.WalletError.other('Unable to fetch ledger parameters'));
+                return result.block;
+            }).pipe(Effect.provide(indexerSyncService.queryClient()), Effect.scoped, Effect.catchAll((err) => Effect.fail(WalletError.WalletError.other(`Encountered unexpected error: ${err.message}`))), Effect.flatMap((blockData) => {
+                if (!blockData) {
+                    return Effect.fail(WalletError.WalletError.other('Unable to fetch block data'));
                 }
-                return LedgerOps.ledgerTry(() => LedgerParameters.deserialize(Buffer.from(ledgerParameters, 'hex')));
+                // TODO: convert to schema
+                return LedgerOps.ledgerTry(() => ({
+                    hash: blockData.hash,
+                    height: blockData.height,
+                    ledgerParameters: LedgerParameters.deserialize(Buffer.from(blockData.ledgerParameters, 'hex')),
+                    timestamp: new Date(blockData.timestamp),
+                }));
             }));
         },
     };
@@ -95,17 +117,22 @@ export const makeIndexerSyncService = (config) => {
 export const makeDefaultSyncCapability = () => {
     return {
         applyUpdate(state, wrappedUpdate) {
-            const { update, secretKeys } = wrappedUpdate;
-            const nextIndex = BigInt(update.id);
-            const highestRelevantWalletIndex = BigInt(update.maxId);
+            const { updates, secretKeys } = wrappedUpdate;
+            // Nothing to update yet
+            if (updates.length === 0) {
+                return state;
+            }
+            const lastUpdate = updates.at(-1);
+            const nextIndex = BigInt(lastUpdate.id);
+            const highestRelevantWalletIndex = BigInt(lastUpdate.maxId);
             // in case the nextIndex is less than or equal to the current appliedIndex
             // just update highestRelevantWalletIndex
             if (nextIndex <= state.progress.appliedIndex) {
                 return state.updateProgress({ highestRelevantWalletIndex, isConnected: true });
             }
-            const events = [update.raw].filter((event) => event !== null);
+            const events = updates.map((u) => u.raw).filter((event) => event !== null);
             return secretKeys((keys) => state
-                .applyEvents(keys, events, new Date())
+                .applyEvents(keys, events, wrappedUpdate.timestamp)
                 .updateProgress({ appliedIndex: nextIndex, highestRelevantWalletIndex, isConnected: true }));
         },
     };
@@ -113,7 +140,18 @@ export const makeDefaultSyncCapability = () => {
 export const makeSimulatorSyncService = (config) => {
     return {
         updates: (_state, secretKey) => config.simulator.state$.pipe(Stream.map((state) => ({ update: state, secretKey }))),
-        ledgerParameters: () => pipe(config.simulator.getLatestState(), Effect.map((state) => state.ledger.parameters)),
+        blockData: () => {
+            return Effect.gen(function* () {
+                const state = yield* config.simulator.getLatestState();
+                const timestamp = DateOps.secondsToDate(state.lastTxNumber);
+                return {
+                    hash: yield* Simulator.blockHash(timestamp),
+                    height: Number(state.lastTxNumber),
+                    ledgerParameters: state.ledger.parameters,
+                    timestamp,
+                };
+            });
+        },
     };
 };
 export const makeSimulatorSyncCapability = () => ({

package/dist/Transacting.d.ts

@@ -1,22 +1,18 @@
 import { Either } from 'effect';
-import { DustSecretKey, Signature, SignatureVerifyingKey, Utxo, FinalizedTransaction, ProofErasedTransaction, UnprovenTransaction, LedgerParameters } from '@midnight-ntwrk/ledger-v6';
-import { ProvingRecipe, WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
+import { DustSecretKey, Signature, SignatureVerifyingKey, FinalizedTransaction, ProofErasedTransaction, UnprovenTransaction, LedgerParameters } from '@midnight-ntwrk/ledger-v7';
+import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { DustCoreWallet } from './DustCoreWallet.js';
 import { AnyTransaction, DustToken, NetworkId, TotalCostParameters } from './types/index.js';
-import { CoinsAndBalancesCapability, CoinSelection, CoinWithValue } from './CoinsAndBalances.js';
+import { CoinsAndBalancesCapability, CoinSelection, UtxoWithFullDustDetails } from './CoinsAndBalances.js';
 import { KeysCapability } from './Keys.js';
 export interface TransactingCapability<TSecrets, TState, TTransaction> {
     readonly networkId: NetworkId;
     readonly costParams: TotalCostParameters;
-    createDustGenerationTransaction(currentTime: Date, ttl: Date, nightUtxos: ReadonlyArray<CoinWithValue<Utxo>>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Either.Either<UnprovenTransaction, WalletError.WalletError>;
-    addDustGenerationSignature(transaction: UnprovenTransaction, signature: Signature): Either.Either<ProvingRecipe.ProvingRecipe<FinalizedTransaction>, WalletError.WalletError>;
+    createDustGenerationTransaction(currentTime: Date, ttl: Date, nightUtxos: ReadonlyArray<UtxoWithFullDustDetails>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Either.Either<UnprovenTransaction, WalletError.WalletError>;
+    addDustGenerationSignature(transaction: UnprovenTransaction, signature: Signature): Either.Either<UnprovenTransaction, WalletError.WalletError>;
     calculateFee(transaction: AnyTransaction, ledgerParams: LedgerParameters): bigint;
-    addFeePayment(secretKey: TSecrets, state: TState, transaction: UnprovenTransaction, currentTime: Date, ttl: Date, ledgerParams: LedgerParameters): Either.Either<{
-        recipe: ProvingRecipe.ProvingRecipe<FinalizedTransaction>;
-        newState: TState;
-    }, WalletError.WalletError>;
-    revert(state: TState, tx: TTransaction): Either.Either<TState, WalletError.WalletError>;
-    revertRecipe(state: TState, recipe: ProvingRecipe.ProvingRecipe<TTransaction>): Either.Either<TState, WalletError.WalletError>;
+    balanceTransactions(secretKey: TSecrets, state: TState, transactions: ReadonlyArray<AnyTransaction>, ttl: Date, currentTime: Date, ledgerParams: LedgerParameters): Either.Either<[UnprovenTransaction, TState], WalletError.WalletError>;
+    revertTransaction(state: TState, transaction: UnprovenTransaction | TTransaction): Either.Either<TState, WalletError.WalletError>;
 }
 export type DefaultTransactingConfiguration = {
     networkId: NetworkId;
@@ -37,14 +33,10 @@ export declare class TransactingCapabilityImplementation<TTransaction extends An
     readonly getCoins: () => CoinsAndBalancesCapability<DustCoreWallet>;
     readonly getKeys: () => KeysCapability<DustCoreWallet>;
     constructor(networkId: NetworkId, costParams: TotalCostParameters, getCoinSelection: () => CoinSelection<DustToken>, getCoins: () => CoinsAndBalancesCapability<DustCoreWallet>, getKeys: () => KeysCapability<DustCoreWallet>);
-    createDustGenerationTransaction(currentTime: Date, ttl: Date, nightUtxos: ReadonlyArray<CoinWithValue<Utxo>>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Either.Either<UnprovenTransaction, WalletError.WalletError>;
-    addDustGenerationSignature(transaction: UnprovenTransaction, signatureData: Signature): Either.Either<ProvingRecipe.ProvingRecipe<FinalizedTransaction>, WalletError.WalletError>;
+    createDustGenerationTransaction(currentTime: Date, ttl: Date, nightUtxos: ReadonlyArray<UtxoWithFullDustDetails>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Either.Either<UnprovenTransaction, WalletError.WalletError>;
+    addDustGenerationSignature(transaction: UnprovenTransaction, signatureData: Signature): Either.Either<UnprovenTransaction, WalletError.WalletError>;
     calculateFee(transaction: AnyTransaction, ledgerParams: LedgerParameters): bigint;
     static feeImbalance(transaction: AnyTransaction, totalFee: bigint): bigint;
-    addFeePayment(secretKey: DustSecretKey, state: DustCoreWallet, transaction: UnprovenTransaction, currentTime: Date, ttl: Date, ledgerParams: LedgerParameters): Either.Either<{
-        recipe: ProvingRecipe.ProvingRecipe<FinalizedTransaction>;
-        newState: DustCoreWallet;
-    }, WalletError.WalletError>;
-    revert(state: DustCoreWallet, tx: TTransaction): Either.Either<DustCoreWallet, WalletError.WalletError>;
-    revertRecipe(state: DustCoreWallet, recipe: ProvingRecipe.ProvingRecipe<TTransaction>): Either.Either<DustCoreWallet, WalletError.WalletError>;
+    balanceTransactions(secretKey: DustSecretKey, state: DustCoreWallet, transactions: ReadonlyArray<FinalizedTransaction | UnprovenTransaction>, ttl: Date, currentTime: Date, ledgerParams: LedgerParameters): Either.Either<[UnprovenTransaction, DustCoreWallet], WalletError.WalletError>;
+    revertTransaction(state: DustCoreWallet, transaction: UnprovenTransaction | TTransaction): Either.Either<DustCoreWallet, WalletError.WalletError>;
 }

package/dist/Transacting.js

@@ -1,7 +1,19 @@
-import { Either } from 'effect';
-import { DustActions, DustRegistration, Intent, SignatureEnabled, Transaction, UnshieldedOffer, addressFromKey, } from '@midnight-ntwrk/ledger-v6';
+// 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 { Either, pipe, BigInt as BigIntOps, Iterable as IterableOps, Option } from 'effect';
+import { DustActions, DustRegistration, Intent, SignatureEnabled, Transaction, UnshieldedOffer, addressFromKey, nativeToken, } from '@midnight-ntwrk/ledger-v7';
 import { MidnightBech32m, DustAddress } from '@midnight-ntwrk/wallet-sdk-address-format';
-import { ProvingRecipe, WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
+import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { LedgerOps } from '@midnight-ntwrk/wallet-sdk-utilities';
 import { BindingMarker, ProofMarker, SignatureMarker } from './Utils.js';
 export const makeDefaultTransactingCapability = (config, getContext) => {
@@ -24,24 +36,48 @@ export class TransactingCapabilityImplementation {
         this.getKeys = getKeys;
     }
     createDustGenerationTransaction(currentTime, ttl, nightUtxos, nightVerifyingKey, dustReceiverAddress) {
+        const makeOffer = (utxos) => {
+            if (utxos.length === 0) {
+                return Option.none();
+            }
+            const totalValue = pipe(utxos, IterableOps.map((coin) => coin.utxo.value), BigIntOps.sumAll);
+            const inputs = utxos.map(({ utxo }) => ({
+                ...utxo,
+                owner: nightVerifyingKey,
+            }));
+            const output = {
+                owner: addressFromKey(nightVerifyingKey),
+                type: nativeToken().raw,
+                value: totalValue,
+            };
+            return Option.some(UnshieldedOffer.new(inputs, [output], []));
+        };
         return Either.gen(this, function* () {
             const receiver = dustReceiverAddress ? yield* this.#parseAddress(dustReceiverAddress) : undefined;
             return yield* LedgerOps.ledgerTry(() => {
                 const network = this.networkId;
-                const intent = Intent.new(ttl);
-                const totalDustValue = nightUtxos.reduce((total, { value }) => total + value, 0n);
-                const inputs = nightUtxos.map(({ token: utxo }) => ({
-                    ...utxo,
-                    owner: nightVerifyingKey,
-                }));
-                const outputs = inputs.map((input) => ({
-                    owner: addressFromKey(nightVerifyingKey),
-                    type: input.type,
-                    value: input.value,
-                }));
-                intent.guaranteedUnshieldedOffer = UnshieldedOffer.new(inputs, outputs, []);
+                const splitResult = this.getCoins().splitNightUtxos(nightUtxos);
+                const totalDustValue = pipe(splitResult.guaranteed, IterableOps.map((coin) => coin.dust.generatedNow), BigIntOps.sumAll);
+                const maybeGuaranteedOffer = makeOffer(splitResult.guaranteed);
+                const maybeFallibleOffer = makeOffer(splitResult.fallible);
                 const dustRegistration = new DustRegistration(SignatureMarker.signature, nightVerifyingKey, receiver, dustReceiverAddress !== undefined ? totalDustValue : 0n);
-                intent.dustActions = new DustActions(SignatureMarker.signature, ProofMarker.preProof, currentTime, [], [dustRegistration]);
+                const dustActions = new DustActions(SignatureMarker.signature, ProofMarker.preProof, currentTime, [], [dustRegistration]);
+                const intent = pipe(Intent.new(ttl), (intent) => Option.match(maybeGuaranteedOffer, {
+                    onNone: () => intent,
+                    onSome: (guaranteedOffer) => {
+                        intent.guaranteedUnshieldedOffer = guaranteedOffer;
+                        return intent;
+                    },
+                }), (intent) => Option.match(maybeFallibleOffer, {
+                    onNone: () => intent,
+                    onSome: (fallibleOffer) => {
+                        intent.fallibleUnshieldedOffer = fallibleOffer;
+                        return intent;
+                    },
+                }), (intent) => {
+                    intent.dustActions = dustActions;
+                    return intent;
+                });
                 return Transaction.fromParts(network, undefined, undefined, intent);
             });
         });
@@ -52,7 +88,7 @@ export class TransactingCapabilityImplementation {
             if (!intent) {
                 return yield* Either.left(new WalletError.TransactingError({ message: 'No intent found in the transaction intents with segment = 1' }));
             }
-            const { dustActions, guaranteedUnshieldedOffer } = intent;
+            const { dustActions, guaranteedUnshieldedOffer, fallibleUnshieldedOffer } = intent;
             if (!dustActions) {
                 return yield* Either.left(new WalletError.TransactingError({ message: 'No dustActions found in intent' }));
             }
@@ -76,13 +112,18 @@ export class TransactingCapabilityImplementation {
                     signatures.push(guaranteedUnshieldedOffer.signatures.at(i) ?? signatureData);
                 }
                 newIntent.guaranteedUnshieldedOffer = guaranteedUnshieldedOffer.addSignatures(signatures);
+                if (fallibleUnshieldedOffer) {
+                    const inputsLen = fallibleUnshieldedOffer.inputs.length;
+                    const signatures = [];
+                    for (let i = 0; i < inputsLen; ++i) {
+                        signatures.push(fallibleUnshieldedOffer.signatures.at(i) ?? signatureData);
+                    }
+                    newIntent.fallibleUnshieldedOffer = fallibleUnshieldedOffer.addSignatures(signatures);
+                }
                 // make a copy of transaction to avoid mutation
                 const newTransaction = Transaction.deserialize(signature.instance, ProofMarker.preProof, BindingMarker.preBinding, transaction.serialize());
                 newTransaction.intents = newTransaction.intents.set(1, newIntent);
-                return {
-                    type: ProvingRecipe.TRANSACTION_TO_PROVE,
-                    transaction: newTransaction,
-                };
+                return newTransaction;
             });
         });
     }
@@ -96,9 +137,10 @@ export class TransactingCapabilityImplementation {
             .find(([tt, _]) => tt.tag === 'dust');
         return dustImbalance ? -dustImbalance[1] : totalFee;
     }
-    addFeePayment(secretKey, state, transaction, currentTime, ttl, ledgerParams) {
+    balanceTransactions(secretKey, state, transactions, ttl, currentTime, ledgerParams) {
         const network = this.networkId;
-        const feeLeft = TransactingCapabilityImplementation.feeImbalance(transaction, this.calculateFee(transaction, ledgerParams));
+        const feeLeft = transactions.reduce((total, transaction) => total +
+            TransactingCapabilityImplementation.feeImbalance(transaction, this.calculateFee(transaction, ledgerParams)), 0n);
         const dustTokens = this.getCoins().getAvailableCoinsWithGeneratedDust(state, currentTime);
         const selectedTokens = this.getCoinSelection()(dustTokens, feeLeft);
         if (!selectedTokens.length) {
@@ -107,8 +149,7 @@ export class TransactingCapabilityImplementation {
         const totalFeeInSelected = selectedTokens.reduce((total, { value }) => total + value, 0n);
         const feeDiff = totalFeeInSelected - feeLeft;
         if (feeDiff < 0n) {
-            // A sanity-check, should never happen
-            return Either.left(new WalletError.TransactingError({ message: 'Error in tokens selection algorithm' }));
+            return Either.left(new WalletError.TransactingError({ message: 'Not enough Dust generated to pay the fee' }));
         }
         // reduce the largest token's value by `feeDiff`
         const tokensWithFeeToTake = selectedTokens.toSorted((a, b) => Number(b.value - a.value));
@@ -122,49 +163,22 @@ export class TransactingCapabilityImplementation {
         return LedgerOps.ledgerTry(() => {
             const intent = Intent.new(ttl);
             const [spends, updatedState] = state.spendCoins(secretKey, tokensWithFeeToTake, currentTime);
-            intent.dustActions = new DustActions(SignatureMarker.signature, ProofMarker.preProof, currentTime, spends, []);
+            intent.dustActions = new DustActions(SignatureMarker.signature, ProofMarker.preProof, currentTime, [...spends], []);
             const feeTransaction = Transaction.fromPartsRandomized(network, undefined, undefined, intent);
-            return {
-                newState: updatedState,
-                recipe: {
-                    type: ProvingRecipe.TRANSACTION_TO_PROVE,
-                    transaction: transaction.merge(feeTransaction),
-                },
-            };
+            return [feeTransaction, updatedState];
         });
     }
-    revert(state, tx) {
+    revertTransaction(state, transaction) {
         return Either.try({
-            try: () => state.revertTransaction(tx),
+            try: () => state.revertTransaction(transaction),
             catch: (err) => {
                 return new WalletError.OtherWalletError({
-                    message: `Error while reverting transaction ${tx.identifiers().at(0)}`,
+                    message: `Error while reverting transaction ${transaction.identifiers().at(0)}`,
                     cause: err,
                 });
             },
         });
     }
-    revertRecipe(state, recipe) {
-        const doRevert = (tx) => {
-            return Either.try({
-                try: () => state.revertTransaction(tx),
-                catch: (err) => {
-                    return new WalletError.OtherWalletError({
-                        message: `Error while reverting transaction ${tx.identifiers().at(0)}`,
-                        cause: err,
-                    });
-                },
-            });
-        };
-        switch (recipe.type) {
-            case ProvingRecipe.TRANSACTION_TO_PROVE:
-                return doRevert(recipe.transaction);
-            case ProvingRecipe.BALANCE_TRANSACTION_TO_PROVE:
-                return doRevert(recipe.transactionToProve);
-            case ProvingRecipe.NOTHING_TO_PROVE:
-                return Either.right(state);
-        }
-    }
     #parseAddress(addr) {
         return Either.try({
             try: () => {

package/dist/Utils.js

@@ -1,3 +1,15 @@
+// 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.
 export const SignatureMarker = {
     signature: 'signature',
     signatureErased: 'signature-erased',

package/dist/V1Builder.d.ts

@@ -1,12 +1,12 @@
 import { Types, Either } from 'effect';
-import { DustSecretKey, FinalizedTransaction } from '@midnight-ntwrk/ledger-v6';
+import { DustSecretKey, FinalizedTransaction } from '@midnight-ntwrk/ledger-v7';
 import { VariantBuilder, Variant } from '@midnight-ntwrk/wallet-sdk-runtime/abstractions';
 import { Proving, WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { SyncService, SyncCapability, DefaultSyncConfiguration, WalletSyncUpdate } from './Sync.js';
 import { RunningV1Variant, V1Tag } from './RunningV1Variant.js';
 import { DustCoreWallet } from './DustCoreWallet.js';
 import { KeysCapability } from './Keys.js';
-import { CoinsAndBalancesCapability, CoinSelection } from './CoinsAndBalances.js';
+import { CoinsAndBalancesCapability, CoinSelection, DefaultCoinsAndBalancesContext } from './CoinsAndBalances.js';
 import { DefaultTransactingConfiguration, DefaultTransactingContext, TransactingCapability } from './Transacting.js';
 import { NetworkId } from './types/ledger.js';
 import { DefaultSubmissionConfiguration, SubmissionService } from './Submission.js';
@@ -46,7 +46,7 @@ export declare class V1Builder<TConfig extends BaseV1Configuration = BaseV1Confi
     withCoinSelectionDefaults(): V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withProving<TProvingConfig, TProvingContext extends Partial<RunningV1Variant.AnyContext>>(provingService: (config: TProvingConfig, getContext: () => TProvingContext) => Proving.ProvingService<TTransaction>): V1Builder<TConfig & TProvingConfig, TContext & TProvingContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withProvingDefaults(this: V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, FinalizedTransaction, TStartAux>): V1Builder<TConfig & Proving.DefaultProvingConfiguration, TContext, TSerialized, TSyncUpdate, FinalizedTransaction, TStartAux>;
-    withCoinsAndBalancesDefaults(): V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
+    withCoinsAndBalancesDefaults(): V1Builder<TConfig, TContext & DefaultCoinsAndBalancesContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withCoinsAndBalances<TBalancesConfig, TBalancesContext extends Partial<RunningV1Variant.AnyContext>>(coinsAndBalancesCapability: (configuration: TBalancesConfig, getContext: () => TBalancesContext) => CoinsAndBalancesCapability<DustCoreWallet>): V1Builder<TConfig & TBalancesConfig, TContext & TBalancesContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withKeysDefaults(): V1Builder<TConfig, TContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;
     withKeys<TKeysConfig, TKeysContext extends Partial<RunningV1Variant.AnyContext>>(keysCapability: (configuration: TKeysConfig, getContext: () => TKeysContext) => KeysCapability<DustCoreWallet>): V1Builder<TConfig & TKeysConfig, TContext & TKeysContext, TSerialized, TSyncUpdate, TTransaction, TStartAux>;

package/dist/V1Builder.js

@@ -1,3 +1,15 @@
+// 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 { Effect, Scope } from 'effect';
 import { Proving } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { makeDefaultSyncCapability, makeDefaultSyncService, } from './Sync.js';

package/dist/index.d.ts

@@ -7,3 +7,4 @@ export * as Transacting from './Transacting.js';
 export * from './RunningV1Variant.js';
 export * from './V1Builder.js';
 export * from './types/index.js';
+export * as CoinsAndBalances from './CoinsAndBalances.js';

package/dist/index.js

@@ -1,3 +1,15 @@
+// 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.
 export * from './DustCoreWallet.js';
 export * from './DustWallet.js';
 export * as Keys from './Keys.js';
@@ -7,3 +19,4 @@ export * as Transacting from './Transacting.js';
 export * from './RunningV1Variant.js';
 export * from './V1Builder.js';
 export * from './types/index.js';
+export * as CoinsAndBalances from './CoinsAndBalances.js';

package/dist/types/Dust.d.ts

@@ -1,4 +1,4 @@
-import { DustInitialNonce, DustNullifier, DustNonce, DustPublicKey, Utxo } from '@midnight-ntwrk/ledger-v6';
+import { DustInitialNonce, DustNullifier, DustNonce, DustPublicKey, Utxo } from '@midnight-ntwrk/ledger-v7';
 export type DustToken = {
     initialValue: bigint;
     owner: DustPublicKey;
@@ -11,8 +11,10 @@ export type DustToken = {
 export type DustTokenWithNullifier = DustToken & {
     nullifier: DustNullifier;
 };
-export type DustTokenFullInfo = {
+export type DustTokenFullInfo = DustGenerationDetails & {
     token: DustToken;
+};
+export type DustGenerationDetails = {
     dtime: Date | undefined;
     maxCap: bigint;
     maxCapReachedAt: Date;

package/dist/types/index.js

@@ -1,3 +1,15 @@
+// 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.
 export * from './Dust.js';
 export * from './ledger.js';
 export * from './transaction.js';

package/dist/types/ledger.d.ts

@@ -1,4 +1,4 @@
-import * as ledger from '@midnight-ntwrk/ledger-v6';
-export type AnyTransaction = ledger.UnprovenTransaction | ledger.FinalizedTransaction | ledger.ProofErasedTransaction;
+import * as ledger from '@midnight-ntwrk/ledger-v7';
+export type AnyTransaction = ledger.UnprovenTransaction | ledger.FinalizedTransaction | ledger.ProofErasedTransaction | ledger.Transaction<ledger.SignatureEnabled, ledger.Proof, ledger.PreBinding>;
 export type UnprovenDustSpend = ledger.DustSpend<ledger.PreProof>;
 export type NetworkId = string;

package/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@midnight-ntwrk/wallet-sdk-dust-wallet",
-  "version": "1.0.0-beta.8",
+  "version": "1.0.0",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
-  "author": "IOHK",
+  "author": "Midnight Foundation",
   "license": "Apache-2.0",
   "publishConfig": {
     "registry": "https://npm.pkg.github.com/"
@@ -23,24 +23,25 @@
     }
   },
   "dependencies": {
-    "@midnight-ntwrk/ledger-v6": "6.1.0-alpha.5",
-    "@midnight-ntwrk/wallet-sdk-abstractions": "1.0.0-beta.8",
-    "@midnight-ntwrk/wallet-sdk-address-format": "3.0.0-beta.7",
-    "@midnight-ntwrk/wallet-sdk-capabilities": "3.0.0-beta.7",
-    "@midnight-ntwrk/wallet-sdk-hd": "3.0.0-beta.6",
-    "@midnight-ntwrk/wallet-sdk-indexer-client": "1.0.0-beta.11",
-    "@midnight-ntwrk/wallet-sdk-node-client": "1.0.0-beta.9",
-    "@midnight-ntwrk/wallet-sdk-prover-client": "1.0.0-beta.8",
-    "@midnight-ntwrk/wallet-sdk-shielded": "1.0.0-beta.9",
-    "@midnight-ntwrk/wallet-sdk-utilities": "1.0.0-beta.7",
-    "effect": "^3.17.3",
+    "@midnight-ntwrk/ledger-v7": "7.0.0",
+    "@midnight-ntwrk/wallet-sdk-abstractions": "1.0.0",
+    "@midnight-ntwrk/wallet-sdk-address-format": "3.0.0",
+    "@midnight-ntwrk/wallet-sdk-capabilities": "3.0.0",
+    "@midnight-ntwrk/wallet-sdk-hd": "3.0.0",
+    "@midnight-ntwrk/wallet-sdk-indexer-client": "1.0.0",
+    "@midnight-ntwrk/wallet-sdk-node-client": "1.0.0",
+    "@midnight-ntwrk/wallet-sdk-prover-client": "1.0.0",
+    "@midnight-ntwrk/wallet-sdk-shielded": "1.0.0",
+    "@midnight-ntwrk/wallet-sdk-utilities": "1.0.0",
+    "effect": "^3.19.14",
     "rxjs": "^7.5"
   },
   "scripts": {
     "typecheck": "tsc -b ./tsconfig.json --noEmit",
     "test": "vitest run",
     "lint": "eslint --max-warnings 0",
-    "format": "prettier --write \"**/*.{ts,js,json,yaml,yml}\"",
+    "format": "prettier --write \"**/*.{ts,js,json,yaml,yml,md}\"",
+    "format:check": "prettier --check \"**/*.{ts,js,json,yaml,yml,md}\"",
     "dist": "tsc -b ./tsconfig.build.json",
     "dist:publish": "tsc -b ./tsconfig.publish.json",
     "clean": "rimraf --glob dist 'tsconfig.*.tsbuildinfo' && date +%s > .clean-timestamp",
@@ -49,10 +50,11 @@
   "devDependencies": {
     "@types/node": "22.17.0",
     "eslint": "^9.37.0",
+    "prettier": "^3.7.0",
     "publint": "~0.3.14",
     "rimraf": "^6.0.1",
-    "testcontainers": "^11.0.3",
+    "testcontainers": "^11.10.0",
     "typescript": "^5.9.3",
-    "vitest": "^3.2.4"
+    "vitest": "^4.0.16"
   }
 }