@typeberry/lib 0.5.0-4da816c → 0.5.0-584584e

package/index.d.ts

@@ -1960,6 +1960,8 @@ declare class TruncatedHashDictionary<T extends OpaqueHash, V> {
     set(key: T | TruncatedHash, value: V): void;
     /** Remove a value that matches the key on `TRUNCATED_HASH_SIZE`. */
     delete(key: T | TruncatedHash): void;
+    /** Iterator over keys of the dictionary. */
+    keys(): Iterator<TruncatedHash, any, any> & Iterable<TruncatedHash>;
     /** Iterator over values of the dictionary. */
     values(): Iterator<V, any, any> & Iterable<V>;
     /** Iterator over entries of the dictionary (with truncated keys) */
@@ -2011,12 +2013,26 @@ declare namespace bandersnatch_d_exports {
 /* tslint:disable */
 /* eslint-disable */
 /**
- * Seal verification as defined in:
- * https://graypaper.fluffylabs.dev/#/68eaa1f/0eff000eff00?v=0.6.4
- * or
- * https://graypaper.fluffylabs.dev/#/68eaa1f/0e54010e5401?v=0.6.4
+ * Compute VRF output hash from a secret seed and input data.
+ *
+ * This function derives a deterministic VRF output hash without generating a proof.
+ * Unlike `generate_seal`, this produces only the output hash, not a verifiable signature.
+ *
+ * # Arguments
+ * * `secret_seed` - Seed used to derive the secret key
+ * * `input` - VRF input data to be hashed
+ *
+ * # Returns
+ * A byte vector with the following format:
+ * - On success (33 bytes):
+ *   - Byte 0: Status code `0` (RESULT_OK)
+ *   - Bytes 1-32: VRF output hash (32 bytes)
+ * - On error (1 byte):
+ *   - Byte 0: Status code `1` (RESULT_ERR)
+ *
+ * Returns an error if the input cannot be converted to a valid VRF input point.
  */
-declare function verify_seal(signer_key: Uint8Array, seal_data: Uint8Array, payload: Uint8Array, aux_data: Uint8Array): Uint8Array;
+declare function vrf_output_hash(secret_seed: Uint8Array, input: Uint8Array): Uint8Array;
 /**
  * Verify multiple tickets at once as defined in:
  * https://graypaper.fluffylabs.dev/#/68eaa1f/0f3e000f3e00?v=0.6.4
@@ -2024,6 +2040,17 @@ declare function verify_seal(signer_key: Uint8Array, seal_data: Uint8Array, payl
  * NOTE: the aux_data of VRF function is empty!
  */
 declare function batch_verify_tickets(ring_size: number, commitment: Uint8Array, tickets_data: Uint8Array, vrf_input_data_len: number): Uint8Array;
+/**
+ * Generate ring commitment given concatenation of ring keys.
+ */
+declare function ring_commitment(keys: Uint8Array): Uint8Array;
+/**
+ * Seal verification as defined in:
+ * https://graypaper.fluffylabs.dev/#/68eaa1f/0eff000eff00?v=0.6.4
+ * or
+ * https://graypaper.fluffylabs.dev/#/68eaa1f/0e54010e5401?v=0.6.4
+ */
+declare function verify_seal(signer_key: Uint8Array, seal_data: Uint8Array, payload: Uint8Array, aux_data: Uint8Array): Uint8Array;
 /**
  * Generate seal that is verifiable using `verify_seal` function.
  *
@@ -2051,31 +2078,6 @@ declare function generate_seal(secret_seed: Uint8Array, input: Uint8Array, aux_d
  * returns: `Vec<u8>` containing the exit (1 byte) status followed by the (32 bytes) public key
  */
 declare function derive_public_key(seed: Uint8Array): Uint8Array;
-/**
- * Compute VRF output hash from a secret seed and input data.
- *
- * This function derives a deterministic VRF output hash without generating a proof.
- * Unlike `generate_seal`, this produces only the output hash, not a verifiable signature.
- *
- * # Arguments
- * * `secret_seed` - Seed used to derive the secret key
- * * `input` - VRF input data to be hashed
- *
- * # Returns
- * A byte vector with the following format:
- * - On success (33 bytes):
- *   - Byte 0: Status code `0` (RESULT_OK)
- *   - Bytes 1-32: VRF output hash (32 bytes)
- * - On error (1 byte):
- *   - Byte 0: Status code `1` (RESULT_ERR)
- *
- * Returns an error if the input cannot be converted to a valid VRF input point.
- */
-declare function vrf_output_hash(secret_seed: Uint8Array, input: Uint8Array): Uint8Array;
-/**
- * Generate ring commitment given concatenation of ring keys.
- */
-declare function ring_commitment(keys: Uint8Array): Uint8Array;
 type InitInput$2 = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
 interface InitOutput$2 {
   readonly memory: WebAssembly.Memory;
@@ -2767,35 +2769,35 @@ declare class Header extends WithDebug {
      *
      * In case of the genesis block, the hash will be zero.
      */
-    parentHeaderHash: HeaderHash;
+    readonly parentHeaderHash: HeaderHash;
     /** `H_r`: The state trie root hash before executing that block. */
-    priorStateRoot: StateRootHash;
+    readonly priorStateRoot: StateRootHash;
     /** `H_x`: The hash of block extrinsic. */
-    extrinsicHash: ExtrinsicHash;
+    readonly extrinsicHash: ExtrinsicHash;
     /** `H_t`: JAM time-slot index. */
-    timeSlotIndex: TimeSlot;
+    readonly timeSlotIndex: TimeSlot;
     /**
      * `H_e`: Key and entropy relevant to the following epoch in case the ticket
      *        contest does not complete adequately.
      */
-    epochMarker: EpochMarker | null;
+    readonly epochMarker: EpochMarker | null;
     /**
      * `H_w`: Winning tickets provides the series of 600 slot sealing "tickets"
      *        for the next epoch.
      */
-    ticketsMarker: TicketsMarker | null;
+    readonly ticketsMarker: TicketsMarker | null;
     /** `H_i`: Block author's index in the current validator set. */
-    bandersnatchBlockAuthorIndex: ValidatorIndex;
+    readonly bandersnatchBlockAuthorIndex: ValidatorIndex;
     /** `H_v`: Entropy-yielding VRF signature. */
-    entropySource: BandersnatchVrfSignature;
+    readonly entropySource: BandersnatchVrfSignature;
     /** `H_o`: Sequence of keys of newly misbehaving validators. */
-    offendersMarker: Ed25519Key[];
+    readonly offendersMarker: Ed25519Key[];
     /**
      * `H_s`: Block seal.
      *
      * https://graypaper.fluffylabs.dev/#/579bd12/0d0c010d1101
      */
-    seal: BandersnatchVrfSignature;
+    readonly seal: BandersnatchVrfSignature;
     private constructor();
     /** Create an empty header with some dummy values. */
     static empty(): Header;
@@ -3601,7 +3603,7 @@ declare namespace workReport {
  * Since GP defines that value explicitly as "two or three",
  * we do that as well.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
  */
 type REQUIRED_CREDENTIALS = 2 | 3;
 declare const REQUIRED_CREDENTIALS_RANGE: number[];
@@ -3621,7 +3623,7 @@ declare class Credential extends WithDebug {
 /**
  * Tuple of work-report, a credential and it's corresponding timeslot.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/147102149102
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df00150301?v=0.7.2
  */
 declare class ReportGuarantee extends WithDebug {
     /** The work-report being guaranteed. */
@@ -3633,7 +3635,7 @@ declare class ReportGuarantee extends WithDebug {
      * validator index and a signature.
      * Credentials must be ordered by their validator index.
      *
-     * https://graypaper.fluffylabs.dev/#/579bd12/14b90214bb02
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/152b01152d01?v=0.7.2
      */
     readonly credentials: KnownSizeArray<Credential, `${REQUIRED_CREDENTIALS}`>;
     static Codec: Descriptor<ReportGuarantee, ViewOf<ReportGuarantee, {
@@ -3692,7 +3694,7 @@ declare const GuaranteesExtrinsicBounds = "[0..CoresCount)";
  * Each core index (within work-report) must be unique and guarantees
  * must be in ascending order of this.
  *
- * https://graypaper.fluffylabs.dev/#/579bd12/146402146702
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/15d10015d400?v=0.7.2
  */
 type GuaranteesExtrinsic = KnownSizeArray<ReportGuarantee, typeof GuaranteesExtrinsicBounds>;
 declare const guaranteesExtrinsicCodec: Descriptor<readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">, SequenceView<ReportGuarantee, ViewOf<ReportGuarantee, {
@@ -6237,7 +6239,7 @@ declare function serializeStateUpdate(spec: ChainSpec, blake2b: Blake2b, update:
  * State entries may be wrapped into `SerializedState` to access the contained values.
  */
 declare class StateEntries {
-    private readonly entries;
+    private readonly dictionary;
     static Codec: Descriptor<StateEntries, StateEntries>;
     /** Turn in-memory state into it's serialized form. */
     static serializeInMemory(spec: ChainSpec, blake2b: Blake2b, state: InMemoryState): StateEntries;
@@ -6258,6 +6260,12 @@ declare class StateEntries {
     private constructor();
     /** When comparing, we can safely ignore `trieCache` and just use entries. */
     [TEST_COMPARE_USING](): any;
+    /** Iterator over entries */
+    entries(): Generator<[TruncatedHash, BytesBlob]>;
+    /** Iterator over entries keys */
+    keys(): Generator<TruncatedHash>;
+    /** Iterator over entries values */
+    values(): Generator<BytesBlob>;
     /** Dump state entries to JSON string (format compatible with stf vectors). */
     toString(): string;
     [Symbol.iterator](): Generator<[TruncatedHash, BytesBlob], any, any>;
@@ -9207,6 +9215,8 @@ type Input = {
      * https://graypaper.fluffylabs.dev/#/cc517d7/18dd0018dd00?v=0.6.5
      */
     transferStatistics: Map<ServiceId, CountAndGasUsed>;
+    reporters: readonly Ed25519Key[];
+    currentValidatorData: State["currentValidatorData"];
 };
 type CountAndGasUsed = {
     count: U32;
@@ -9273,14 +9283,19 @@ type AccumulateResult = {
     accumulationOutputLog: SortedArray<AccumulationOutput>;
 };
 
+type AccumulateOptions = {
+    pvm: PvmBackend;
+    accumulateSequentially: boolean;
+};
+
 declare const ACCUMULATION_ERROR = "duplicate service created";
 type ACCUMULATION_ERROR = typeof ACCUMULATION_ERROR;
 declare class Accumulate {
     readonly chainSpec: ChainSpec;
     readonly blake2b: Blake2b;
     readonly state: AccumulateState;
-    readonly pvm: PvmBackend;
-    constructor(chainSpec: ChainSpec, blake2b: Blake2b, state: AccumulateState, pvm: PvmBackend);
+    readonly options: AccumulateOptions;
+    constructor(chainSpec: ChainSpec, blake2b: Blake2b, state: AccumulateState, options: AccumulateOptions);
     /**
      * Returns an index that determines how many WorkReports can be processed before exceeding a given gasLimit.
      *
@@ -9719,38 +9734,43 @@ interface HeaderChain {
  * by validators).
  *
  * After enough assurances the work-report is considered available,
- * and the work outputs transform the state of their associated
+ * and the work-digests transform the state of their associated
  * service by virtue of accumulation, covered in section 12.
  * The report may also be timed-out, implying it may be replaced
  * by another report without accumulation.
  *
- * https://graypaper.fluffylabs.dev/#/5f542d7/133d00134200
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/138801138d01?v=0.7.2
  */
 type ReportsInput = {
     /**
      * A work-package, is transformed by validators acting as
      * guarantors into its corresponding work-report, which
-     * similarly comprises several work outputs and then
+     * similarly comprises several work-digests and then
      * presented on-chain within the guarantees extrinsic.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/133500133900
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/138001138401?v=0.7.2
      */
     guarantees: GuaranteesExtrinsicView;
     /** Current time slot, excerpted from block header. */
     slot: TimeSlot;
     /** `eta_prime`: New entropy, after potential epoch transition. */
     newEntropy: SafroleStateUpdate["entropy"];
-    /** Partial update of recent blocks. (β†, https://graypaper.fluffylabs.dev/#/9a08063/0fd8010fdb01?v=0.6.6) */
+    /**
+     * β† - Partial update of recent blocks.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/0f56020f6b02?v=0.7.2
+     */
     recentBlocksPartialUpdate: RecentHistoryStateUpdate["recentBlocks"];
     /**
      * ρ‡ - Availability assignment resulting from assurances transition
-     * https://graypaper.fluffylabs.dev/#/1c979cb/141302144402?v=0.7.1
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/141302144402?v=0.7.2
      */
     assurancesAvailAssignment: AssurancesStateUpdate["availabilityAssignment"];
     /**
      * ψ′O - Ed25519 keys of validators that were proven to judge incorrectly.
      *
-     * https://graypaper.fluffylabs.dev/#/1c979cb/134201134201?v=0.7.1
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/134201134201?v=0.7.2
      */
     offenders: HashSet<Ed25519Key>;
 };
@@ -9772,7 +9792,7 @@ type ReportsOutput = {
      * This dictionary has the same number of items as in the input guarantees extrinsic.
      */
     reported: HashDictionary<WorkPackageHash, WorkPackageInfo>;
-    /** A set `R` of work package reporters. */
+    /** A set `M` of work package reporters. */
     reporters: KnownSizeArray<Ed25519Key, "Guarantees * Credentials (at most `cores*3`)">;
 };
 declare class Reports {
@@ -9791,7 +9811,7 @@ declare class Reports {
      * Get the guarantor assignment (both core and validator data)
      * depending on the rotation.
      *
-     * https://graypaper.fluffylabs.dev/#/5f542d7/158200158200
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/15df0115df01?v=0.7.2
      */
     getGuarantorAssignment(headerTimeSlot: TimeSlot, guaranteeTimeSlot: TimeSlot, newEntropy: SafroleStateUpdate["entropy"]): Result<PerValidator<GuarantorAssignment>, ReportsError>;
 }
@@ -9842,7 +9862,7 @@ declare class OnChain {
     private readonly authorization;
     private readonly statistics;
     private isReadyForNextEpoch;
-    constructor(chainSpec: ChainSpec, state: State & WithStateView, hasher: TransitionHasher, pvm: PvmBackend, headerChain: HeaderChain);
+    constructor(chainSpec: ChainSpec, state: State & WithStateView, hasher: TransitionHasher, options: AccumulateOptions, headerChain: HeaderChain);
     /** Pre-populate things worth caching for the next epoch. */
     prepareForNextEpoch(): Promise<void>;
     private verifySeal;
@@ -10030,6 +10050,7 @@ type index$7_ACCUMULATION_ERROR = ACCUMULATION_ERROR;
 type index$7_Accumulate = Accumulate;
 declare const index$7_Accumulate: typeof Accumulate;
 type index$7_AccumulateInput = AccumulateInput;
+type index$7_AccumulateOptions = AccumulateOptions;
 type index$7_AccumulateResult = AccumulateResult;
 type index$7_AccumulateRoot = AccumulateRoot;
 type index$7_AccumulateState = AccumulateState;
@@ -10104,7 +10125,7 @@ declare const index$7_copyAndUpdateState: typeof copyAndUpdateState;
 declare const index$7_stfError: typeof stfError;
 declare namespace index$7 {
   export { index$7_Accumulate as Accumulate, index$7_Assurances as Assurances, index$7_AssurancesError as AssurancesError, index$7_Authorization as Authorization, index$7_BlockVerifier as BlockVerifier, index$7_BlockVerifierError as BlockVerifierError, index$7_DbHeaderChain as DbHeaderChain, index$7_DeferredTransfers as DeferredTransfers, index$7_DeferredTransfersErrorCode as DeferredTransfersErrorCode, index$7_Disputes as Disputes, index$7_GAS_TO_INVOKE_WORK_REPORT as GAS_TO_INVOKE_WORK_REPORT, index$7_OnChain as OnChain, index$7_Preimages as Preimages, index$7_PreimagesErrorCode as PreimagesErrorCode, index$7_REPORT_TIMEOUT_GRACE_PERIOD as REPORT_TIMEOUT_GRACE_PERIOD, index$7_RecentHistory as RecentHistory, index$7_Reports as Reports, index$7_ReportsError as ReportsError, index$7_Statistics as Statistics, index$7_StfErrorKind as StfErrorKind, index$7_TransitionHasher as TransitionHasher, index$7_copyAndUpdateState as copyAndUpdateState, index$8 as externalities, index$7_stfError as stfError };
-  export type { index$7_ACCUMULATION_ERROR as ACCUMULATION_ERROR, index$7_AccumulateInput as AccumulateInput, index$7_AccumulateResult as AccumulateResult, index$7_AccumulateRoot as AccumulateRoot, index$7_AccumulateState as AccumulateState, index$7_AccumulateStateUpdate as AccumulateStateUpdate, index$7_AssurancesInput as AssurancesInput, index$7_AssurancesState as AssurancesState, index$7_AssurancesStateUpdate as AssurancesStateUpdate, index$7_AuthorizationInput as AuthorizationInput, index$7_AuthorizationState as AuthorizationState, index$7_AuthorizationStateUpdate as AuthorizationStateUpdate, index$7_CountAndGasUsed as CountAndGasUsed, index$7_DeferredTransfersResult as DeferredTransfersResult, index$7_DeferredTransfersState as DeferredTransfersState, index$7_DisputesState as DisputesState, index$7_DisputesStateUpdate as DisputesStateUpdate, index$7_HeaderChain as HeaderChain, index$7_Input as Input, index$7_Ok as Ok, index$7_PreimagesInput as PreimagesInput, index$7_PreimagesState as PreimagesState, index$7_PreimagesStateUpdate as PreimagesStateUpdate, index$7_RecentHistoryInput as RecentHistoryInput, index$7_RecentHistoryPartialInput as RecentHistoryPartialInput, index$7_RecentHistoryState as RecentHistoryState, index$7_RecentHistoryStateUpdate as RecentHistoryStateUpdate, index$7_ReportsInput as ReportsInput, index$7_ReportsOutput as ReportsOutput, index$7_ReportsState as ReportsState, index$7_ReportsStateUpdate as ReportsStateUpdate, index$7_StatisticsState as StatisticsState, index$7_StatisticsStateUpdate as StatisticsStateUpdate, index$7_StfError as StfError };
+  export type { index$7_ACCUMULATION_ERROR as ACCUMULATION_ERROR, index$7_AccumulateInput as AccumulateInput, index$7_AccumulateOptions as AccumulateOptions, index$7_AccumulateResult as AccumulateResult, index$7_AccumulateRoot as AccumulateRoot, index$7_AccumulateState as AccumulateState, index$7_AccumulateStateUpdate as AccumulateStateUpdate, index$7_AssurancesInput as AssurancesInput, index$7_AssurancesState as AssurancesState, index$7_AssurancesStateUpdate as AssurancesStateUpdate, index$7_AuthorizationInput as AuthorizationInput, index$7_AuthorizationState as AuthorizationState, index$7_AuthorizationStateUpdate as AuthorizationStateUpdate, index$7_CountAndGasUsed as CountAndGasUsed, index$7_DeferredTransfersResult as DeferredTransfersResult, index$7_DeferredTransfersState as DeferredTransfersState, index$7_DisputesState as DisputesState, index$7_DisputesStateUpdate as DisputesStateUpdate, index$7_HeaderChain as HeaderChain, index$7_Input as Input, index$7_Ok as Ok, index$7_PreimagesInput as PreimagesInput, index$7_PreimagesState as PreimagesState, index$7_PreimagesStateUpdate as PreimagesStateUpdate, index$7_RecentHistoryInput as RecentHistoryInput, index$7_RecentHistoryPartialInput as RecentHistoryPartialInput, index$7_RecentHistoryState as RecentHistoryState, index$7_RecentHistoryStateUpdate as RecentHistoryStateUpdate, index$7_ReportsInput as ReportsInput, index$7_ReportsOutput as ReportsOutput, index$7_ReportsState as ReportsState, index$7_ReportsStateUpdate as ReportsStateUpdate, index$7_StatisticsState as StatisticsState, index$7_StatisticsStateUpdate as StatisticsStateUpdate, index$7_StfError as StfError };
 }
 
 declare enum ImporterErrorKind {