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

package/README.md

@@ -1,3 +1,98 @@
-# Wallet SDK Dust Wallet
+# @midnight-ntwrk/wallet-sdk-dust-wallet
 
-TBD
+Manages dust tokens (transaction fees) on the Midnight network.
+
+## Installation
+
+```bash
+npm install @midnight-ntwrk/wallet-sdk-dust-wallet
+```
+
+## Overview
+
+The Dust Wallet handles dust operations on the Midnight network. Dust tokens are required to pay transaction fees. This
+package provides:
+
+- Dust coin management and tracking
+- Balance synchronization with the network
+- Transaction fee calculation
+- Dust generation from Night UTXOs
+- Fee balancing for transactions
+
+## Usage
+
+### Starting the Wallet
+
+```typescript
+import { DustWallet } from '@midnight-ntwrk/wallet-sdk-dust-wallet';
+
+await dustWallet.start(dustSecretKey);
+```
+
+### Observing State
+
+```typescript
+dustWallet.state.subscribe((state) => {
+  console.log('Progress:', state.state.progress);
+  console.log('Balance:', state.state.balance);
+  console.log('Dust Address:', state.dustAddress);
+});
+
+// Or wait for sync
+const syncedState = await dustWallet.waitForSyncedState();
+```
+
+### Balancing Transaction Fees
+
+```typescript
+// Add fee balancing to a transaction
+const feeBalancingTx = await dustWallet.balanceTransactions(dustSecretKey, [transactionToBalance], ttl);
+```
+
+### Calculating Fees
+
+```typescript
+const fee = await dustWallet.calculateFee([transaction]);
+```
+
+### Dust Generation
+
+Register Night UTXOs to generate dust:
+
+```typescript
+const dustGenerationTx = await dustWallet.createDustGenerationTransaction(
+  previousState,
+  ttl,
+  nightUtxos,
+  nightVerifyingKey,
+  dustReceiverAddress,
+);
+
+// Add signature for dust registration
+const signedTx = await dustWallet.addDustGenerationSignature(dustGenerationTx, signature);
+```
+
+## Exports
+
+- `DustWallet` - Main wallet class
+- `DustWalletState` - Wallet state type
+- `DustCoreWallet` - Core wallet implementation
+- `Keys` - Key management utilities
+- `Simulator` - Dust simulation utilities
+- `SyncService` - Synchronization service
+- `Transacting` - Transaction utilities
+- `CoinsAndBalances` - Coin and balance management
+
+## V1 Builder
+
+Use the V1 builder pattern for wallet construction:
+
+```typescript
+import { V1Builder, RunningV1Variant } from '@midnight-ntwrk/wallet-sdk-dust-wallet';
+
+// Build a V1 dust wallet variant
+```
+
+## License
+
+Apache-2.0

package/dist/CoinsAndBalances.d.ts

@@ -1,10 +1,15 @@
 import { DustCoreWallet } from './DustCoreWallet.js';
-import { DustGenerationInfo, DustToken, DustTokenFullInfo } from './types/Dust.js';
+import { KeysCapability } from './Keys.js';
+import { DustGenerationDetails, DustGenerationInfo, DustToken, DustTokenFullInfo, UtxoWithMeta } from './types/Dust.js';
 export type Balance = bigint;
 export type CoinWithValue<TToken> = {
     token: TToken;
     value: Balance;
 };
+export type UtxoWithFullDustDetails = Readonly<{
+    utxo: UtxoWithMeta;
+    dust: DustGenerationDetails;
+}>;
 export type CoinSelection<TInput> = (coins: readonly CoinWithValue<TInput>[], amountNeeded: Balance) => CoinWithValue<TInput>[];
 export declare const chooseCoin: <TInput>(coins: readonly CoinWithValue<TInput>[], amountNeeded: Balance) => CoinWithValue<TInput>[];
 export type CoinsAndBalancesCapability<TState> = {
@@ -15,5 +20,24 @@ export type CoinsAndBalancesCapability<TState> = {
     getAvailableCoinsWithGeneratedDust(state: TState, currentTime: Date): ReadonlyArray<CoinWithValue<DustToken>>;
     getAvailableCoinsWithFullInfo(state: TState, blockTime: Date): readonly DustTokenFullInfo[];
     getGenerationInfo(state: TState, token: DustToken): DustGenerationInfo | undefined;
+    /**
+     * Splits provided Night utxos into the ones that will be used as inputs in the guaranteed and fallible sections
+     */
+    splitNightUtxos(nightUtxos: ReadonlyArray<UtxoWithFullDustDetails>): {
+        guaranteed: ReadonlyArray<UtxoWithFullDustDetails>;
+        fallible: ReadonlyArray<UtxoWithFullDustDetails>;
+    };
+    /**
+     * Estimate how much Dust would be available to use if the Utxos provided were used for Dust generation from their beginning.
+     * This function is particularly useful for the purpose of registering for Dust generation and selecting the Utxo to be used for paying fees and approving the registration itself.
+     * @param state Current state of the wallet
+     * @param nightUtxos Existing Night utxos
+     * @param currentTime Current time
+     * @returns Estimated Dust generation per Utxo
+     */
+    estimateDustGeneration(state: TState, nightUtxos: ReadonlyArray<UtxoWithMeta>, currentTime: Date): ReadonlyArray<UtxoWithFullDustDetails>;
 };
-export declare const makeDefaultCoinsAndBalancesCapability: () => CoinsAndBalancesCapability<DustCoreWallet>;
+export type DefaultCoinsAndBalancesContext = {
+    keysCapability: KeysCapability<DustCoreWallet>;
+};
+export declare const makeDefaultCoinsAndBalancesCapability: (config: object, getContext: () => DefaultCoinsAndBalancesContext) => CoinsAndBalancesCapability<DustCoreWallet>;

package/dist/CoinsAndBalances.js

@@ -10,9 +10,9 @@
 // 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 { Array, pipe } from 'effect';
-import { updatedValue } from '@midnight-ntwrk/ledger-v6';
+import * as ledger from '@midnight-ntwrk/ledger-v7';
 import { DateOps } from '@midnight-ntwrk/wallet-sdk-utilities';
+import { pipe, Array as Arr, Order } from 'effect';
 export const chooseCoin = (coins, amountNeeded) => {
     let sum = 0n;
     const sorted = coins.toSorted((a, b) => Number(a.value - b.value));
@@ -25,13 +25,14 @@ export const chooseCoin = (coins, amountNeeded) => {
     }
     return result;
 };
-export const makeDefaultCoinsAndBalancesCapability = () => {
+const FAKE_NONCE = '0'.repeat(64);
+export const makeDefaultCoinsAndBalancesCapability = (config, getContext) => {
     const getWalletBalance = (state, time) => {
         return state.state.walletBalance(time);
     };
     const getAvailableCoins = (state) => {
         const pendingSpends = new Set([...state.pendingDustTokens.values()].map((coin) => coin.nonce));
-        return pipe(state.state.utxos, Array.filter((coin) => !pendingSpends.has(coin.nonce)));
+        return pipe(state.state.utxos, Arr.filter((coin) => !pendingSpends.has(coin.nonce)));
     };
     const getPendingCoins = (state) => state.pendingDustTokens;
     const getTotalCoins = (state) => [
@@ -53,7 +54,7 @@ export const makeDefaultCoinsAndBalancesCapability = () => {
         for (const coin of available) {
             const genInfo = getGenerationInfo(state, coin);
             if (genInfo) {
-                const generatedValue = updatedValue(coin.ctime, coin.initialValue, genInfo, currentTime, state.state.params);
+                const generatedValue = ledger.updatedValue(coin.ctime, coin.initialValue, genInfo, currentTime, state.state.params);
                 result.push({ token: coin, value: generatedValue });
             }
         }
@@ -65,19 +66,60 @@ export const makeDefaultCoinsAndBalancesCapability = () => {
         for (const coin of available) {
             const genInfo = getGenerationInfo(state, coin);
             if (genInfo) {
-                const generatedValue = updatedValue(coin.ctime, coin.initialValue, genInfo, blockTime, state.state.params);
                 result.push({
                     token: coin,
-                    dtime: genInfo.dtime,
-                    maxCap: genInfo.value * state.state.params.nightDustRatio,
-                    maxCapReachedAt: DateOps.addSeconds(coin.ctime, state.state.params.timeToCapSeconds),
-                    generatedNow: generatedValue,
-                    rate: genInfo.value * state.state.params.generationDecayRate,
+                    ...getFullDustInfo(state.state.params, genInfo, coin, blockTime),
                 });
             }
         }
         return result;
     };
+    const getFullDustInfo = (parameters, genInfo, coin, currentTime) => {
+        const generatedValue = ledger.updatedValue(coin.ctime, coin.initialValue, genInfo, currentTime, parameters);
+        return {
+            dtime: genInfo.dtime,
+            maxCap: genInfo.value * parameters.nightDustRatio,
+            maxCapReachedAt: DateOps.addSeconds(coin.ctime, parameters.timeToCapSeconds),
+            generatedNow: generatedValue,
+            rate: genInfo.value * parameters.generationDecayRate,
+        };
+    };
+    const estimateDustGeneration = (state, nightUtxos, currentTime) => {
+        const dustPublicKey = getContext().keysCapability.getDustPublicKey(state);
+        return pipe(nightUtxos, Arr.map((utxo) => {
+            const genInfo = fakeGenerationInfo(utxo, dustPublicKey);
+            const fakeDustCoin = fakeDustToken(dustPublicKey, utxo);
+            const details = getFullDustInfo(state.state.params, genInfo, fakeDustCoin, currentTime);
+            return { utxo, dust: details };
+        }));
+    };
+    /**
+     * Create a fake generation info for a given Utxo. It allows to estimate the Dust generation from it
+     */
+    const fakeGenerationInfo = (utxo, dustPublicKey) => {
+        return {
+            value: utxo.value,
+            owner: dustPublicKey,
+            nonce: FAKE_NONCE,
+            dtime: undefined,
+        };
+    };
+    /**
+     * Create a fake dust coin for a given Utxo. It allows to estimate full details of the Dust generation from it
+     */
+    const fakeDustToken = (dustPublicKey, utxo) => ({
+        initialValue: 0n,
+        owner: dustPublicKey,
+        nonce: 0n,
+        seq: 0,
+        ctime: utxo.ctime,
+        backingNight: '',
+        mtIndex: 0n,
+    });
+    const splitNightUtxos = (utxos) => {
+        const [guaranteed, fallible] = pipe(utxos, Arr.sort(pipe(Order.bigint, Order.reverse, Order.mapInput((coin) => coin.dust.generatedNow))), Arr.splitAt(1));
+        return { guaranteed, fallible };
+    };
     return {
         getWalletBalance,
         getAvailableCoins,
@@ -86,5 +128,7 @@ export const makeDefaultCoinsAndBalancesCapability = () => {
         getAvailableCoinsWithGeneratedDust,
         getAvailableCoinsWithFullInfo,
         getGenerationInfo,
+        estimateDustGeneration,
+        splitNightUtxos,
     };
 };

package/dist/DustCoreWallet.d.ts

@@ -1,4 +1,4 @@
-import { Bindingish, DustLocalState, DustNullifier, DustParameters, DustPublicKey, DustSecretKey, Proofish, Signaturish, Transaction, Event } from '@midnight-ntwrk/ledger-v6';
+import { Bindingish, DustLocalState, DustNullifier, DustParameters, DustPublicKey, DustSecretKey, Proofish, Signaturish, Transaction, Event } from '@midnight-ntwrk/ledger-v7';
 import { ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { SyncProgress } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { DustToken, DustTokenWithNullifier } from './types/Dust.js';

package/dist/DustCoreWallet.js

@@ -10,7 +10,7 @@
 // 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 { DustLocalState, } from '@midnight-ntwrk/ledger-v6';
+import { DustLocalState, } from '@midnight-ntwrk/ledger-v7';
 import { ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { SyncProgress } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { DateOps } from '@midnight-ntwrk/wallet-sdk-utilities';
@@ -52,6 +52,7 @@ export class DustCoreWallet {
     applyEvents(secretKey, events, currentTime) {
         if (!events.length)
             return this;
+        // TODO: replace currentTime with `updatedState.syncTime` introduced in ledger-6.2.0-rc.1
         const updatedState = this.state.replayEvents(secretKey, events).processTtls(currentTime);
         let updatedPending = this.pendingDustTokens;
         if (updatedPending.length) {

package/dist/DustWallet.d.ts

@@ -1,9 +1,9 @@
-import { DustParameters, DustPublicKey, DustSecretKey, FinalizedTransaction, Signature, SignatureVerifyingKey, UnprovenTransaction } from '@midnight-ntwrk/ledger-v6';
+import { DustParameters, DustPublicKey, DustSecretKey, FinalizedTransaction, Signature, SignatureVerifyingKey, UnprovenTransaction } from '@midnight-ntwrk/ledger-v7';
 import { ProtocolState, ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { Variant, WalletLike } from '@midnight-ntwrk/wallet-sdk-runtime/abstractions';
-import { ProvingRecipe, TransactionHistory } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
+import { TransactionHistory } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import * as rx from 'rxjs';
-import { Balance, CoinsAndBalancesCapability } from './CoinsAndBalances.js';
+import { Balance, CoinsAndBalancesCapability, UtxoWithFullDustDetails } from './CoinsAndBalances.js';
 import { DustCoreWallet } from './DustCoreWallet.js';
 import { KeysCapability } from './Keys.js';
 import { SerializationCapability } from './Serialization.js';
@@ -30,16 +30,17 @@ export declare class DustWalletState {
     constructor(state: ProtocolState.ProtocolState<DustCoreWallet>, capabilities: DustWalletCapabilities);
     walletBalance(time: Date): Balance;
     availableCoinsWithFullInfo(time: Date): readonly DustTokenFullInfo[];
+    estimateDustGeneration(nightUtxos: ReadonlyArray<UtxoWithMeta>, currentTime: Date): ReadonlyArray<UtxoWithFullDustDetails>;
     serialize(): string;
 }
 export interface DustWallet extends WalletLike.WalletLike<[Variant.VersionedVariant<DefaultV1Variant>]> {
     readonly state: rx.Observable<DustWalletState>;
     start(secretKey: DustSecretKey): Promise<void>;
-    createDustGenerationTransaction(currentTime: Date, ttl: Date, nightUtxos: Array<UtxoWithMeta>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Promise<UnprovenTransaction>;
-    addDustGenerationSignature(transaction: UnprovenTransaction, signature: Signature): Promise<ProvingRecipe.ProvingRecipe<FinalizedTransaction>>;
-    calculateFee(transaction: AnyTransaction): Promise<bigint>;
-    addFeePayment(secretKey: DustSecretKey, transaction: UnprovenTransaction, currentTime: Date, ttl: Date): Promise<ProvingRecipe.ProvingRecipe<FinalizedTransaction>>;
-    finalizeTransaction(recipe: ProvingRecipe.ProvingRecipe<FinalizedTransaction>): Promise<FinalizedTransaction>;
+    createDustGenerationTransaction(currentTime: Date | undefined, ttl: Date, nightUtxos: Array<UtxoWithMeta>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Promise<UnprovenTransaction>;
+    addDustGenerationSignature(transaction: UnprovenTransaction, signature: Signature): Promise<UnprovenTransaction>;
+    calculateFee(transactions: ReadonlyArray<AnyTransaction>): Promise<bigint>;
+    balanceTransactions(secretKey: DustSecretKey, transactions: ReadonlyArray<AnyTransaction>, ttl: Date, currentTime?: Date): Promise<UnprovenTransaction>;
+    proveTransaction(transaction: UnprovenTransaction): Promise<FinalizedTransaction>;
     readonly submitTransaction: SubmitTransactionMethod<FinalizedTransaction>;
     serializeState(): Promise<string>;
     waitForSyncedState(allowedGap?: bigint): Promise<DustWalletState>;

package/dist/DustWallet.js

@@ -10,7 +10,7 @@
 // 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 { DustSecretKey, } from '@midnight-ntwrk/ledger-v6';
+import { DustSecretKey, } from '@midnight-ntwrk/ledger-v7';
 import { ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { DustAddress } from '@midnight-ntwrk/wallet-sdk-address-format';
 import { WalletBuilder } from '@midnight-ntwrk/wallet-sdk-runtime';
@@ -60,6 +60,9 @@ export class DustWalletState {
     availableCoinsWithFullInfo(time) {
         return this.capabilities.coinsAndBalances.getAvailableCoinsWithFullInfo(this.state, time);
     }
+    estimateDustGeneration(nightUtxos, currentTime) {
+        return this.capabilities.coinsAndBalances.estimateDustGeneration(this.state, nightUtxos, currentTime);
+    }
     serialize() {
         return this.capabilities.serialization.serialize(this.state);
     }
@@ -103,24 +106,24 @@ export function DustWallet(configuration) {
             })
                 .pipe(Effect.runPromise);
         }
-        calculateFee(transaction) {
+        calculateFee(transactions) {
             return this.runtime
                 .dispatch({
-                [V1Tag]: (v1) => v1.calculateFee(transaction),
+                [V1Tag]: (v1) => v1.calculateFee(transactions),
             })
                 .pipe(Effect.runPromise);
         }
-        addFeePayment(secretKey, transaction, currentTime, ttl) {
+        balanceTransactions(secretKey, transactions, ttl, currentTime) {
             return this.runtime
                 .dispatch({
-                [V1Tag]: (v1) => v1.addFeePayment(secretKey, transaction, currentTime, ttl),
+                [V1Tag]: (v1) => v1.balanceTransactions(secretKey, transactions, ttl, currentTime),
             })
                 .pipe(Effect.runPromise);
         }
-        finalizeTransaction(recipe) {
+        proveTransaction(transaction) {
             return this.runtime
                 .dispatch({
-                [V1Tag]: (v1) => v1.finalizeTransaction(recipe),
+                [V1Tag]: (v1) => v1.proveTransaction(transaction),
             })
                 .pipe(Effect.runPromise);
         }

package/dist/Keys.d.ts

@@ -1,4 +1,4 @@
-import { DustPublicKey } from '@midnight-ntwrk/ledger-v6';
+import { DustPublicKey } from '@midnight-ntwrk/ledger-v7';
 import { DustAddress } from '@midnight-ntwrk/wallet-sdk-address-format';
 import { DustCoreWallet } from './DustCoreWallet.js';
 export type KeysCapability<TState> = {

package/dist/RunningV1Variant.d.ts

@@ -1,6 +1,6 @@
 import { Effect, Stream, Scope } from 'effect';
-import { DustSecretKey, Signature, SignatureVerifyingKey, FinalizedTransaction, UnprovenTransaction } from '@midnight-ntwrk/ledger-v6';
-import { Proving, ProvingRecipe, WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
+import { DustSecretKey, Signature, SignatureVerifyingKey, FinalizedTransaction, UnprovenTransaction } from '@midnight-ntwrk/ledger-v7';
+import { Proving, WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { WalletRuntimeError, Variant, StateChange } from '@midnight-ntwrk/wallet-sdk-runtime/abstractions';
 import { DustToken, UtxoWithMeta } from './types/Dust.js';
 import { KeysCapability } from './Keys.js';
@@ -35,10 +35,10 @@ export declare class RunningV1Variant<TSerialized, TSyncUpdate, TTransaction, TS
     constructor(scope: Scope.Scope, context: Variant.VariantContext<DustCoreWallet>, v1Context: RunningV1Variant.Context<TSerialized, TSyncUpdate, TTransaction, TStartAux>);
     startSyncInBackground(startAux: TStartAux): Effect.Effect<void>;
     startSync(startAux: TStartAux): Stream.Stream<void, WalletError.WalletError, Scope.Scope>;
-    createDustGenerationTransaction(currentTime: Date, ttl: Date, nightUtxos: ReadonlyArray<UtxoWithMeta>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Effect.Effect<UnprovenTransaction, WalletError.WalletError>;
-    addDustGenerationSignature(transaction: UnprovenTransaction, signature: Signature): Effect.Effect<ProvingRecipe.ProvingRecipe<FinalizedTransaction>, WalletError.WalletError>;
-    calculateFee(transaction: AnyTransaction): Effect.Effect<bigint, WalletError.WalletError>;
-    addFeePayment(secretKey: DustSecretKey, transaction: UnprovenTransaction, currentTime: Date, ttl: Date): Effect.Effect<ProvingRecipe.ProvingRecipe<FinalizedTransaction>, WalletError.WalletError>;
-    finalizeTransaction(recipe: ProvingRecipe.ProvingRecipe<TTransaction>): Effect.Effect<TTransaction, WalletError.WalletError>;
+    createDustGenerationTransaction(currentTime: Date | undefined, ttl: Date, nightUtxos: ReadonlyArray<UtxoWithMeta>, nightVerifyingKey: SignatureVerifyingKey, dustReceiverAddress: string | undefined): Effect.Effect<UnprovenTransaction, WalletError.WalletError>;
+    addDustGenerationSignature(transaction: UnprovenTransaction, signature: Signature): Effect.Effect<UnprovenTransaction, WalletError.WalletError>;
+    calculateFee(transactions: ReadonlyArray<AnyTransaction>): Effect.Effect<bigint, WalletError.WalletError>;
+    balanceTransactions(secretKey: DustSecretKey, transactions: ReadonlyArray<AnyTransaction>, ttl: Date, currentTime?: Date): Effect.Effect<UnprovenTransaction, WalletError.WalletError>;
+    proveTransaction(transaction: UnprovenTransaction): Effect.Effect<TTransaction, WalletError.WalletError>;
     submitTransaction: SubmitTransactionMethod<TTransaction>;
 }

package/dist/RunningV1Variant.js

@@ -10,11 +10,11 @@
 // 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, SubscriptionRef, Stream, pipe, Scope, Sink, Console, Duration, Schedule } from 'effect';
-import { nativeToken, updatedValue, } from '@midnight-ntwrk/ledger-v6';
+import { Effect, SubscriptionRef, Stream, pipe, Scope, Sink, Console, Duration, Schedule, Array as Arr } from 'effect';
+import { nativeToken, } from '@midnight-ntwrk/ledger-v7';
 import { ProtocolVersion } from '@midnight-ntwrk/wallet-sdk-abstractions';
 import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
-import { EitherOps, LedgerOps } from '@midnight-ntwrk/wallet-sdk-utilities';
+import { ArrayOps, EitherOps } from '@midnight-ntwrk/wallet-sdk-utilities';
 import { StateChange, VersionChangeType, } from '@midnight-ntwrk/wallet-sdk-runtime/abstractions';
 const progress = (state) => {
     const appliedIndex = state.progress?.appliedIndex ?? 0n;
@@ -81,19 +81,9 @@ export class RunningV1Variant {
         if (nightUtxos.some((utxo) => utxo.type !== nativeToken().raw)) {
             return Effect.fail(WalletError.WalletError.other('Token of a non-Night type received'));
         }
-        return Effect.Do.pipe(Effect.bind('currentState', () => SubscriptionRef.get(this.#context.stateRef)), Effect.bind('utxosWithDustValue', ({ currentState }) => LedgerOps.ledgerTry(() => {
-            const dustPublicKey = this.#v1Context.keysCapability.getDustPublicKey(currentState);
-            return nightUtxos.map((utxo) => {
-                const genInfo = {
-                    value: utxo.value,
-                    owner: dustPublicKey,
-                    nonce: LedgerOps.randomNonce(),
-                    dtime: undefined,
-                };
-                const dustValue = updatedValue(utxo.ctime, 0n, genInfo, currentTime, currentState.state.params);
-                return { token: utxo, value: dustValue };
-            });
-        })), Effect.flatMap(({ utxosWithDustValue }) => {
+        return Effect.Do.pipe(Effect.bind('currentState', () => SubscriptionRef.get(this.#context.stateRef)), Effect.bind('blockData', () => this.#v1Context.syncService.blockData()), Effect.let('currentTime', ({ blockData }) => currentTime ?? blockData.timestamp), Effect.let('utxosWithDustValue', ({ currentState, currentTime }) => {
+            return this.#v1Context.coinsAndBalancesCapability.estimateDustGeneration(currentState, nightUtxos, currentTime);
+        }), Effect.flatMap(({ utxosWithDustValue, currentTime }) => {
             return this.#v1Context.transactingCapability
                 .createDustGenerationTransaction(currentTime, ttl, utxosWithDustValue, nightVerifyingKey, dustReceiverAddress)
                 .pipe(EitherOps.toEffect);
@@ -104,22 +94,22 @@ export class RunningV1Variant {
             .addDustGenerationSignature(transaction, signature)
             .pipe(EitherOps.toEffect);
     }
-    calculateFee(transaction) {
-        return pipe(this.#v1Context.syncService.ledgerParameters(), Effect.map((params) => this.#v1Context.transactingCapability.calculateFee(transaction, params)));
+    calculateFee(transactions) {
+        return pipe(this.#v1Context.syncService.blockData(), Effect.map((blockData) => pipe(transactions, Arr.map((transaction) => this.#v1Context.transactingCapability.calculateFee(transaction, blockData.ledgerParameters)), ArrayOps.sumBigInt)));
     }
-    addFeePayment(secretKey, transaction, currentTime, ttl) {
+    balanceTransactions(secretKey, transactions, ttl, currentTime) {
         return SubscriptionRef.modifyEffect(this.#context.stateRef, (state) => {
-            return pipe(this.#v1Context.syncService.ledgerParameters(), Effect.flatMap((params) => this.#v1Context.transactingCapability.addFeePayment(secretKey, state, transaction, currentTime, ttl, params)), Effect.map(({ recipe, newState }) => [recipe, newState]));
+            return pipe(this.#v1Context.syncService.blockData(), Effect.flatMap((blockData) => this.#v1Context.transactingCapability.balanceTransactions(secretKey, state, transactions, ttl, currentTime ?? blockData.timestamp, blockData.ledgerParameters)));
         });
     }
-    finalizeTransaction(recipe) {
+    proveTransaction(transaction) {
         return this.#v1Context.provingService
-            .prove(recipe)
-            .pipe(Effect.tapError(() => SubscriptionRef.updateEffect(this.#context.stateRef, (state) => EitherOps.toEffect(this.#v1Context.transactingCapability.revertRecipe(state, recipe)))));
+            .prove(transaction)
+            .pipe(Effect.tapError(() => SubscriptionRef.updateEffect(this.#context.stateRef, (state) => EitherOps.toEffect(this.#v1Context.transactingCapability.revertTransaction(state, transaction)))));
     }
     submitTransaction = ((transaction, waitForStatus = 'InBlock') => {
         return this.#v1Context.submissionService
             .submitTransaction(transaction, waitForStatus)
-            .pipe(Effect.tapError(() => SubscriptionRef.updateEffect(this.#context.stateRef, (state) => EitherOps.toEffect(this.#v1Context.transactingCapability.revert(state, transaction)))));
+            .pipe(Effect.tapError(() => SubscriptionRef.updateEffect(this.#context.stateRef, (state) => EitherOps.toEffect(this.#v1Context.transactingCapability.revertTransaction(state, transaction)))));
     });
 }

package/dist/Serialization.js

@@ -11,7 +11,7 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 import { Effect, ParseResult, Either, pipe, Schema } from 'effect';
-import * as ledger from '@midnight-ntwrk/ledger-v6';
+import * as ledger from '@midnight-ntwrk/ledger-v7';
 import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { DustCoreWallet } from './DustCoreWallet.js';
 const StateSchema = Schema.declare((input) => input instanceof ledger.DustLocalState).annotations({

package/dist/Simulator.d.ts

@@ -1,5 +1,5 @@
 import { Effect, Either, Scope, Stream, SubscriptionRef } from 'effect';
-import { LedgerState, BlockContext, UserAddress, SignatureVerifyingKey, WellFormedStrictness, TransactionResult, ProofErasedTransaction, SyntheticCost } from '@midnight-ntwrk/ledger-v6';
+import { LedgerState, BlockContext, UserAddress, SignatureVerifyingKey, WellFormedStrictness, TransactionResult, ProofErasedTransaction, SyntheticCost } from '@midnight-ntwrk/ledger-v7';
 import { LedgerOps } from '@midnight-ntwrk/wallet-sdk-utilities';
 import { NetworkId } from './types/ledger.js';
 export type SimulatorState = Readonly<{
@@ -11,6 +11,7 @@ export type SimulatorState = Readonly<{
 }>;
 export declare class Simulator {
     #private;
+    static blockHash: (blockTime: Date) => Effect.Effect<string>;
     static nextBlockContext: (blockTime: Date) => Effect.Effect<BlockContext>;
     static init(networkId: NetworkId): Effect.Effect<Simulator, never, Scope.Scope>;
     static apply(simulatorState: SimulatorState, tx: ProofErasedTransaction, strictness: WellFormedStrictness, blockContext: BlockContext, blockFullness?: SyntheticCost): Either.Either<[{

package/dist/Simulator.js

@@ -11,14 +11,15 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 import { Effect, Encoding, pipe, Stream, SubscriptionRef } from 'effect';
-import { LedgerState, ClaimRewardsTransaction, SignatureErased, Transaction, WellFormedStrictness, TransactionContext, } from '@midnight-ntwrk/ledger-v6';
+import { LedgerState, ClaimRewardsTransaction, SignatureErased, Transaction, WellFormedStrictness, TransactionContext, } from '@midnight-ntwrk/ledger-v7';
 import { DateOps, EitherOps, LedgerOps } from '@midnight-ntwrk/wallet-sdk-utilities';
 import * as crypto from 'crypto';
 const simpleHash = (input) => {
     return Encoding.decodeHex(input).pipe(EitherOps.toEffect, Effect.andThen((parsed) => Effect.promise(() => crypto.subtle.digest('SHA-256', parsed))), Effect.andThen((out) => Encoding.encodeHex(new Uint8Array(out))), Effect.orDie);
 };
 export class Simulator {
-    static nextBlockContext = (blockTime) => pipe(DateOps.dateToSeconds(blockTime).toString(16), (str) => (str.length % 2 == 0 ? str : str.padStart(str.length + 1, '0')), simpleHash, Effect.map((hash) => ({
+    static blockHash = (blockTime) => pipe(DateOps.dateToSeconds(blockTime).toString(16), (str) => (str.length % 2 == 0 ? str : str.padStart(str.length + 1, '0')), simpleHash);
+    static nextBlockContext = (blockTime) => pipe(Simulator.blockHash(blockTime), Effect.map((hash) => ({
         parentBlockHash: hash,
         secondsSinceEpoch: DateOps.dateToSeconds(blockTime),
         secondsSinceEpochErr: 1,
@@ -44,6 +45,8 @@ export class Simulator {
     static apply(simulatorState, tx, strictness, blockContext, blockFullness) {
         return LedgerOps.ledgerTry(() => {
             blockFullness = blockFullness ?? tx.cost(simulatorState.ledger.parameters);
+            const detailedBlockFullness = simulatorState.ledger.parameters.normalizeFullness(blockFullness);
+            const computedBlockFullness = Math.max(detailedBlockFullness.readTime, detailedBlockFullness.computeTime, detailedBlockFullness.blockUsage, detailedBlockFullness.bytesWritten, detailedBlockFullness.bytesChurned);
             const blockNumber = blockContext.secondsSinceEpoch;
             const blockTime = DateOps.secondsToDate(blockNumber);
             const verifiedTransaction = tx.wellFormed(simulatorState.ledger, strictness, blockTime);
@@ -51,7 +54,7 @@ export class Simulator {
             const [newLedgerState, txResult] = simulatorState.ledger.apply(verifiedTransaction, transactionContext);
             const newSimulatorState = {
                 ...simulatorState,
-                ledger: newLedgerState.postBlockUpdate(blockTime, blockFullness),
+                ledger: newLedgerState.postBlockUpdate(blockTime, detailedBlockFullness, computedBlockFullness),
                 lastTx: tx,
                 lastTxResult: txResult,
                 lastTxNumber: blockNumber,

package/dist/Submission.d.ts

@@ -1,6 +1,6 @@
 import { Effect } from 'effect';
 import { SubmissionEvent as SubmissionEventImported } from '@midnight-ntwrk/wallet-sdk-node-client/effect';
-import { FinalizedTransaction, ProofErasedTransaction } from '@midnight-ntwrk/ledger-v6';
+import { FinalizedTransaction, ProofErasedTransaction } from '@midnight-ntwrk/ledger-v7';
 import { WalletError } from '@midnight-ntwrk/wallet-sdk-shielded/v1';
 import { Simulator } from './Simulator.js';
 import { NetworkId } from './types/ledger.js';

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

@@ -10,13 +10,14 @@
 // 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 } from 'effect';
-import { Event as LedgerEvent, LedgerParameters } from '@midnight-ntwrk/ledger-v6';
+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) => {
@@ -57,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,
         };
     },
 };
@@ -68,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),
+                }));
             }));
         },
     };
@@ -107,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 }));
         },
     };
@@ -125,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

@@ -10,10 +10,10 @@
 // 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 } from 'effect';
-import { DustActions, DustRegistration, Intent, SignatureEnabled, Transaction, UnshieldedOffer, addressFromKey, } from '@midnight-ntwrk/ledger-v6';
+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) => {
@@ -36,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);
             });
         });
@@ -64,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' }));
             }
@@ -88,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;
             });
         });
     }
@@ -108,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) {
@@ -119,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));
@@ -134,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/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/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

@@ -19,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/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,6 +1,6 @@
 {
   "name": "@midnight-ntwrk/wallet-sdk-dust-wallet",
-  "version": "1.0.0-beta.9",
+  "version": "1.0.0",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -23,25 +23,25 @@
     }
   },
   "dependencies": {
-    "@midnight-ntwrk/ledger-v6": "6.1.0-alpha.5",
-    "@midnight-ntwrk/wallet-sdk-abstractions": "1.0.0-beta.9",
-    "@midnight-ntwrk/wallet-sdk-address-format": "3.0.0-beta.8",
-    "@midnight-ntwrk/wallet-sdk-capabilities": "3.0.0-beta.8",
-    "@midnight-ntwrk/wallet-sdk-hd": "3.0.0-beta.7",
-    "@midnight-ntwrk/wallet-sdk-indexer-client": "1.0.0-beta.12",
-    "@midnight-ntwrk/wallet-sdk-node-client": "1.0.0-beta.9",
-    "@midnight-ntwrk/wallet-sdk-prover-client": "1.0.0-beta.9",
-    "@midnight-ntwrk/wallet-sdk-shielded": "1.0.0-beta.10",
-    "@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:check": "prettier --check \"**/*.{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",
@@ -50,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.8.1",
+    "testcontainers": "^11.10.0",
     "typescript": "^5.9.3",
-    "vitest": "^3.2.4"
+    "vitest": "^4.0.16"
   }
 }