@typeberry/lib 0.5.1-aff8b4f → 0.5.1-eb84786

package/packages/jam/state/service.js

@@ -0,0 +1,188 @@
+import { tryAsServiceGas, tryAsServiceId, tryAsTimeSlot, } from "#@typeberry/block";
+import { codec, Descriptor } from "#@typeberry/codec";
+import { asKnownSize } from "#@typeberry/collections";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { tryAsU64 } from "#@typeberry/numbers";
+import { asOpaqueType, WithDebug } from "#@typeberry/utils";
+/**
+ * `B_S`: The basic minimum balance which all services require.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/445800445800?v=0.6.7
+ */
+export const BASE_SERVICE_BALANCE = 100n;
+/**
+ * `B_I`: The additional minimum balance required per item of elective service state.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/445000445000?v=0.6.7
+ */
+export const ELECTIVE_ITEM_BALANCE = 10n;
+/**
+ * `B_L`: The additional minimum balance required per octet of elective service state.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/445400445400?v=0.6.7
+ */
+export const ELECTIVE_BYTE_BALANCE = 1n;
+const zeroSizeHint = {
+    bytes: 0,
+    isExact: true,
+};
+/** 0-byte read, return given default value */
+export const ignoreValueWithDefault = (defaultValue) => Descriptor.new("ignoreValue", zeroSizeHint, (_e, _v) => { }, (_d) => defaultValue, (_s) => { });
+/** Encode and decode object with leading version number. */
+export const codecWithVersion = (val) => Descriptor.new("withVersion", {
+    bytes: val.sizeHint.bytes + 8,
+    isExact: false,
+}, (e, v) => {
+    e.varU64(0n);
+    val.encode(e, v);
+}, (d) => {
+    const version = d.varU64();
+    if (version !== 0n) {
+        throw new Error("Non-zero version is not supported!");
+    }
+    return val.decode(d);
+}, (s) => {
+    s.varU64();
+    val.skip(s);
+});
+/**
+ * Service account details.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/108301108301?v=0.6.7
+ */
+export class ServiceAccountInfo extends WithDebug {
+    codeHash;
+    balance;
+    accumulateMinGas;
+    onTransferMinGas;
+    storageUtilisationBytes;
+    gratisStorage;
+    storageUtilisationCount;
+    created;
+    lastAccumulation;
+    parentService;
+    static Codec = codec.Class(ServiceAccountInfo, {
+        codeHash: codec.bytes(HASH_SIZE).asOpaque(),
+        balance: codec.u64,
+        accumulateMinGas: codec.u64.convert((x) => x, tryAsServiceGas),
+        onTransferMinGas: codec.u64.convert((x) => x, tryAsServiceGas),
+        storageUtilisationBytes: codec.u64,
+        gratisStorage: codec.u64,
+        storageUtilisationCount: codec.u32,
+        created: codec.u32.convert((x) => x, tryAsTimeSlot),
+        lastAccumulation: codec.u32.convert((x) => x, tryAsTimeSlot),
+        parentService: codec.u32.convert((x) => x, tryAsServiceId),
+    });
+    static create(a) {
+        return new ServiceAccountInfo(a.codeHash, a.balance, a.accumulateMinGas, a.onTransferMinGas, a.storageUtilisationBytes, a.gratisStorage, a.storageUtilisationCount, a.created, a.lastAccumulation, a.parentService);
+    }
+    /**
+     * `a_t = max(0, BS + BI * a_i + BL * a_o - a_f)`
+     * https://graypaper.fluffylabs.dev/#/7e6ff6a/119e01119e01?v=0.6.7
+     */
+    static calculateThresholdBalance(items, bytes, gratisStorage) {
+        const storageCost = BASE_SERVICE_BALANCE + ELECTIVE_ITEM_BALANCE * BigInt(items) + ELECTIVE_BYTE_BALANCE * bytes - gratisStorage;
+        if (storageCost < 0n) {
+            return tryAsU64(0);
+        }
+        if (storageCost >= 2n ** 64n) {
+            return tryAsU64(2n ** 64n - 1n);
+        }
+        return tryAsU64(storageCost);
+    }
+    constructor(
+    /** `a_c`: Hash of the service code. */
+    codeHash, 
+    /** `a_b`: Current account balance. */
+    balance, 
+    /** `a_g`: Minimal gas required to execute Accumulate entrypoint. */
+    accumulateMinGas, 
+    /** `a_m`: Minimal gas required to execute On Transfer entrypoint. */
+    onTransferMinGas, 
+    /** `a_o`: Total number of octets in storage. */
+    storageUtilisationBytes, 
+    /** `a_f`: Cost-free storage. Decreases both storage item count and total byte size. */
+    gratisStorage, 
+    /** `a_i`: Number of items in storage. */
+    storageUtilisationCount, 
+    /** `a_r`: Creation account time slot. */
+    created, 
+    /** `a_a`: Most recent accumulation time slot. */
+    lastAccumulation, 
+    /** `a_p`: Parent service ID. */
+    parentService) {
+        super();
+        this.codeHash = codeHash;
+        this.balance = balance;
+        this.accumulateMinGas = accumulateMinGas;
+        this.onTransferMinGas = onTransferMinGas;
+        this.storageUtilisationBytes = storageUtilisationBytes;
+        this.gratisStorage = gratisStorage;
+        this.storageUtilisationCount = storageUtilisationCount;
+        this.created = created;
+        this.lastAccumulation = lastAccumulation;
+        this.parentService = parentService;
+    }
+}
+export class PreimageItem extends WithDebug {
+    hash;
+    blob;
+    static Codec = codec.Class(PreimageItem, {
+        hash: codec.bytes(HASH_SIZE).asOpaque(),
+        blob: codec.blob,
+    });
+    static create({ hash, blob }) {
+        return new PreimageItem(hash, blob);
+    }
+    constructor(hash, blob) {
+        super();
+        this.hash = hash;
+        this.blob = blob;
+    }
+}
+export class StorageItem extends WithDebug {
+    key;
+    value;
+    static Codec = codec.Class(StorageItem, {
+        key: codec.blob.convert((i) => i, (o) => asOpaqueType(o)),
+        value: codec.blob,
+    });
+    static create({ key, value }) {
+        return new StorageItem(key, value);
+    }
+    constructor(key, value) {
+        super();
+        this.key = key;
+        this.value = value;
+    }
+}
+const MAX_LOOKUP_HISTORY_SLOTS = 3;
+export function tryAsLookupHistorySlots(items) {
+    const knownSize = asKnownSize(items);
+    if (knownSize.length > MAX_LOOKUP_HISTORY_SLOTS) {
+        throw new Error(`Lookup history items must contain 0-${MAX_LOOKUP_HISTORY_SLOTS} timeslots.`);
+    }
+    return knownSize;
+}
+/** https://graypaper.fluffylabs.dev/#/5f542d7/115400115800 */
+export class LookupHistoryItem {
+    hash;
+    length;
+    slots;
+    constructor(hash, length, 
+    /**
+     * Preimage availability history as a sequence of time slots.
+     * See PreimageStatus and the following GP fragment for more details.
+     * https://graypaper.fluffylabs.dev/#/5f542d7/11780011a500 */
+    slots) {
+        this.hash = hash;
+        this.length = length;
+        this.slots = slots;
+    }
+    static isRequested(item) {
+        if ("slots" in item) {
+            return item.slots.length === 0;
+        }
+        return item.length === 0;
+    }
+}

package/packages/jam/state/service.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=service.test.d.ts.map

package/packages/jam/state/service.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.test.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/service.test.ts"],"names":[],"mappings":""}

package/packages/jam/state/service.test.js

@@ -0,0 +1,46 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { tryAsServiceGas, tryAsServiceId, tryAsTimeSlot } from "#@typeberry/block";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { Decoder, Encoder } from "#@typeberry/codec";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { tryAsU32, tryAsU64 } from "#@typeberry/numbers";
+import { deepEqual } from "#@typeberry/utils";
+import { ServiceAccountInfo } from "./service.js";
+const encodedTestInfo = "0x0101010101010101010101010101010101010101010101010101010101010101809698000000000064000000000000000a000000000000000a00000000000000050000000000000003000000060000000b0000000f000000";
+const testInfo = ServiceAccountInfo.create({
+    codeHash: Bytes.fill(HASH_SIZE, 1).asOpaque(),
+    balance: tryAsU64(10000000n),
+    accumulateMinGas: tryAsServiceGas(100),
+    onTransferMinGas: tryAsServiceGas(10),
+    storageUtilisationBytes: tryAsU64(10),
+    storageUtilisationCount: tryAsU32(3),
+    gratisStorage: tryAsU64(5),
+    created: tryAsTimeSlot(6),
+    lastAccumulation: tryAsTimeSlot(11),
+    parentService: tryAsServiceId(15),
+});
+describe("Service: Account Info", () => {
+    it("should encode service account info", () => {
+        const encoded = Encoder.encodeObject(ServiceAccountInfo.Codec, testInfo);
+        deepEqual(encoded.toString(), encodedTestInfo);
+    });
+    it("should decode service account info", () => {
+        const accountInfo = Decoder.decodeObject(ServiceAccountInfo.Codec, BytesBlob.parseBlob(encodedTestInfo));
+        deepEqual(accountInfo, testInfo);
+    });
+});
+describe("Service: Calculate Threshold Balance", () => {
+    it("should correctly calculate threshold for a test service", () => {
+        const threshold = ServiceAccountInfo.calculateThresholdBalance(testInfo.storageUtilisationCount, testInfo.storageUtilisationBytes, testInfo.gratisStorage);
+        deepEqual(threshold, tryAsU64(135));
+    });
+    it("should handle very high threshold balance", () => {
+        const threshold = ServiceAccountInfo.calculateThresholdBalance(tryAsU32(2 ** 32 - 1), tryAsU64(2n ** 64n - 1n), tryAsU64(0));
+        assert.deepStrictEqual(threshold, tryAsU64(2n ** 64n - 1n));
+    });
+    it("should handle very low threshold balance", () => {
+        const threshold = ServiceAccountInfo.calculateThresholdBalance(tryAsU32(0), tryAsU64(0), tryAsU64(2n ** 64n - 1n));
+        assert.deepStrictEqual(threshold, tryAsU64(0n));
+    });
+});

package/packages/jam/state/state-update.d.ts

@@ -0,0 +1,146 @@
+import type { ServiceId, TimeSlot } from "#@typeberry/block";
+import type { PreimageHash } from "#@typeberry/block/preimage.js";
+import type { BytesBlob } from "#@typeberry/bytes";
+import { type U32 } from "#@typeberry/numbers";
+import type { LookupHistoryItem, PreimageItem, ServiceAccountInfo, StorageItem, StorageKey } from "./service.js";
+export declare enum UpdatePreimageKind {
+    /**
+     * Insert new preimage and optionally update it's lookup history.
+     *
+     * Used in: `provide`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/383904383904?v=0.7.2
+     */
+    Provide = 0,
+    /**
+     * Remove a preimage and it's lookup history.
+     *
+     * Used in: `forget` and `eject`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/38c701380202?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/379102379302?v=0.7.2
+     */
+    Remove = 1,
+    /**
+     * Update or add lookup history for preimage hash/len to given value.
+     *
+     * Used in: `solicit` and `forget`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/382802382802?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/384002384b02?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/38c60038ea00?v=0.7.2
+     */
+    UpdateOrAdd = 2
+}
+/**
+ * A preimage update.
+ *
+ * Can be one of the following cases:
+ * 1. Provide a new preimage blob and set the lookup history to available at `slot`.
+ * 2. Remove (forget) a preimage and it's lookup history.
+ * 3. Update `LookupHistory` with given value.
+ */
+export declare class UpdatePreimage {
+    readonly action: {
+        kind: UpdatePreimageKind.Provide;
+        preimage: PreimageItem;
+        slot: TimeSlot | null;
+        providedFor: ServiceId;
+    } | {
+        kind: UpdatePreimageKind.Remove;
+        hash: PreimageHash;
+        length: U32;
+    } | {
+        kind: UpdatePreimageKind.UpdateOrAdd;
+        item: LookupHistoryItem;
+    };
+    private constructor();
+    /** A preimage is provided. We should update the lookuphistory and add the preimage to db. */
+    static provide({ preimage, slot, providedFor, }: {
+        preimage: PreimageItem;
+        slot: TimeSlot | null;
+        providedFor: ServiceId;
+    }): UpdatePreimage;
+    /** The preimage should be removed completely from the database. */
+    static remove({ hash, length }: {
+        hash: PreimageHash;
+        length: U32;
+    }): UpdatePreimage;
+    /** Update the lookup history of some preimage or add a new one (request). */
+    static updateOrAdd({ lookupHistory }: {
+        lookupHistory: LookupHistoryItem;
+    }): UpdatePreimage;
+    get hash(): PreimageHash;
+    get length(): U32;
+}
+/** The type of service update. */
+export declare enum UpdateServiceKind {
+    /** Just update the `ServiceAccountInfo`. */
+    Update = 0,
+    /** Create a new `Service` instance. */
+    Create = 1
+}
+/**
+ * Update service info or create a new one.
+ */
+export declare class UpdateService {
+    readonly action: {
+        kind: UpdateServiceKind.Update;
+        account: ServiceAccountInfo;
+    } | {
+        kind: UpdateServiceKind.Create;
+        account: ServiceAccountInfo;
+        lookupHistory: LookupHistoryItem | null;
+    };
+    private constructor();
+    static update({ serviceInfo }: {
+        serviceInfo: ServiceAccountInfo;
+    }): UpdateService;
+    static create({ serviceInfo, lookupHistory, }: {
+        serviceInfo: ServiceAccountInfo;
+        lookupHistory: LookupHistoryItem | null;
+    }): UpdateService;
+}
+/** Update service storage kind. */
+export declare enum UpdateStorageKind {
+    /** Set a storage value. */
+    Set = 0,
+    /** Remove a storage value. */
+    Remove = 1
+}
+/**
+ * Update service storage item.
+ *
+ * Can either create/modify an entry or remove it.
+ */
+export declare class UpdateStorage {
+    readonly action: {
+        kind: UpdateStorageKind.Set;
+        storage: StorageItem;
+    } | {
+        kind: UpdateStorageKind.Remove;
+        key: StorageKey;
+    };
+    private constructor();
+    static set({ storage }: {
+        storage: StorageItem;
+    }): UpdateStorage;
+    static remove({ key }: {
+        key: StorageKey;
+    }): UpdateStorage;
+    get key(): BytesBlob & import("@typeberry/utils").WithOpaque<"storage key">;
+    get value(): BytesBlob | null;
+}
+export type ServicesUpdate = {
+    /** Service ids to remove from state alongside all their data. */
+    removed: ServiceId[];
+    /** Services newly created. */
+    created: ServiceId[];
+    /** Services to update. */
+    updated: Map<ServiceId, UpdateService>;
+    /** Service preimages to update and potentially lookup history */
+    preimages: Map<ServiceId, UpdatePreimage[]>;
+    /** Service storage to update. */
+    storage: Map<ServiceId, UpdateStorage[]>;
+};
+//# sourceMappingURL=state-update.d.ts.map

package/packages/jam/state/state-update.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-update.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/state-update.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAY,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAExD,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,kBAAkB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAEjH,oBAAY,kBAAkB;IAC5B;;;;;;OAMG;IACH,OAAO,IAAI;IACX;;;;;;;OAOG;IACH,MAAM,IAAI;IACV;;;;;;;;OAQG;IACH,WAAW,IAAI;CAChB;AACD;;;;;;;GAOG;AACH,qBAAa,cAAc;aAEP,MAAM,EAClB;QACE,IAAI,EAAE,kBAAkB,CAAC,OAAO,CAAC;QACjC,QAAQ,EAAE,YAAY,CAAC;QAEvB,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;QACtB,WAAW,EAAE,SAAS,CAAC;KACxB,GACD;QACE,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC;QAChC,IAAI,EAAE,YAAY,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC;KACb,GACD;QACE,IAAI,EAAE,kBAAkB,CAAC,WAAW,CAAC;QACrC,IAAI,EAAE,iBAAiB,CAAC;KACzB;IAjBP,OAAO;IAoBP,6FAA6F;IAC7F,MAAM,CAAC,OAAO,CAAC,EACb,QAAQ,EACR,IAAI,EACJ,WAAW,GACZ,EAAE;QACD,QAAQ,EAAE,YAAY,CAAC;QACvB,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;QACtB,WAAW,EAAE,SAAS,CAAC;KACxB;IASD,mEAAmE;IACnE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;QAAE,IAAI,EAAE,YAAY,CAAC;QAAC,MAAM,EAAE,GAAG,CAAA;KAAE;IAQnE,6EAA6E;IAC7E,MAAM,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,EAAE;QAAE,aAAa,EAAE,iBAAiB,CAAA;KAAE;IAO1E,IAAI,IAAI,IAAI,YAAY,CAUvB;IAED,IAAI,MAAM,IAAI,GAAG,CAUhB;CACF;AAED,kCAAkC;AAClC,oBAAY,iBAAiB;IAC3B,4CAA4C;IAC5C,MAAM,IAAI;IACV,uCAAuC;IACvC,MAAM,IAAI;CACX;AAED;;GAEG;AACH,qBAAa,aAAa;aAEN,MAAM,EAClB;QACE,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC;QAC/B,OAAO,EAAE,kBAAkB,CAAC;KAC7B,GACD;QACE,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC;QAC/B,OAAO,EAAE,kBAAkB,CAAC;QAC5B,aAAa,EAAE,iBAAiB,GAAG,IAAI,CAAC;KACzC;IAVP,OAAO;IAaP,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,EAAE;QAAE,WAAW,EAAE,kBAAkB,CAAA;KAAE;IAOlE,MAAM,CAAC,MAAM,CAAC,EACZ,WAAW,EACX,aAAa,GACd,EAAE;QACD,WAAW,EAAE,kBAAkB,CAAC;QAChC,aAAa,EAAE,iBAAiB,GAAG,IAAI,CAAC;KACzC;CAOF;AAED,mCAAmC;AACnC,oBAAY,iBAAiB;IAC3B,2BAA2B;IAC3B,GAAG,IAAI;IACP,8BAA8B;IAC9B,MAAM,IAAI;CACX;AACD;;;;GAIG;AACH,qBAAa,aAAa;aAEN,MAAM,EAClB;QACE,IAAI,EAAE,iBAAiB,CAAC,GAAG,CAAC;QAC5B,OAAO,EAAE,WAAW,CAAC;KACtB,GACD;QACE,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC;QAC/B,GAAG,EAAE,UAAU,CAAC;KACjB;IATP,OAAO;IAYP,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE;QAAE,OAAO,EAAE,WAAW,CAAA;KAAE;IAIhD,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE;QAAE,GAAG,EAAE,UAAU,CAAA;KAAE;IAI1C,IAAI,GAAG,qEAKN;IAED,IAAI,KAAK,IAAI,SAAS,GAAG,IAAI,CAK5B;CACF;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,iEAAiE;IACjE,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,8BAA8B;IAC9B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,0BAA0B;IAC1B,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IACvC,iEAAiE;IACjE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC;IAC5C,iCAAiC;IACjC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;CAC1C,CAAC"}

package/packages/jam/state/state-update.js

@@ -0,0 +1,159 @@
+import { tryAsU32 } from "#@typeberry/numbers";
+import { assertNever } from "#@typeberry/utils";
+export var UpdatePreimageKind;
+(function (UpdatePreimageKind) {
+    /**
+     * Insert new preimage and optionally update it's lookup history.
+     *
+     * Used in: `provide`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/383904383904?v=0.7.2
+     */
+    UpdatePreimageKind[UpdatePreimageKind["Provide"] = 0] = "Provide";
+    /**
+     * Remove a preimage and it's lookup history.
+     *
+     * Used in: `forget` and `eject`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/38c701380202?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/379102379302?v=0.7.2
+     */
+    UpdatePreimageKind[UpdatePreimageKind["Remove"] = 1] = "Remove";
+    /**
+     * Update or add lookup history for preimage hash/len to given value.
+     *
+     * Used in: `solicit` and `forget`
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/382802382802?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/384002384b02?v=0.7.2
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/38c60038ea00?v=0.7.2
+     */
+    UpdatePreimageKind[UpdatePreimageKind["UpdateOrAdd"] = 2] = "UpdateOrAdd";
+})(UpdatePreimageKind || (UpdatePreimageKind = {}));
+/**
+ * A preimage update.
+ *
+ * Can be one of the following cases:
+ * 1. Provide a new preimage blob and set the lookup history to available at `slot`.
+ * 2. Remove (forget) a preimage and it's lookup history.
+ * 3. Update `LookupHistory` with given value.
+ */
+export class UpdatePreimage {
+    action;
+    constructor(action) {
+        this.action = action;
+    }
+    /** A preimage is provided. We should update the lookuphistory and add the preimage to db. */
+    static provide({ preimage, slot, providedFor, }) {
+        return new UpdatePreimage({
+            kind: UpdatePreimageKind.Provide,
+            preimage,
+            slot,
+            providedFor,
+        });
+    }
+    /** The preimage should be removed completely from the database. */
+    static remove({ hash, length }) {
+        return new UpdatePreimage({
+            kind: UpdatePreimageKind.Remove,
+            hash,
+            length,
+        });
+    }
+    /** Update the lookup history of some preimage or add a new one (request). */
+    static updateOrAdd({ lookupHistory }) {
+        return new UpdatePreimage({
+            kind: UpdatePreimageKind.UpdateOrAdd,
+            item: lookupHistory,
+        });
+    }
+    get hash() {
+        switch (this.action.kind) {
+            case UpdatePreimageKind.Provide:
+                return this.action.preimage.hash;
+            case UpdatePreimageKind.Remove:
+                return this.action.hash;
+            case UpdatePreimageKind.UpdateOrAdd:
+                return this.action.item.hash;
+        }
+        throw assertNever(this.action);
+    }
+    get length() {
+        switch (this.action.kind) {
+            case UpdatePreimageKind.Provide:
+                return tryAsU32(this.action.preimage.blob.length);
+            case UpdatePreimageKind.Remove:
+                return this.action.length;
+            case UpdatePreimageKind.UpdateOrAdd:
+                return this.action.item.length;
+        }
+        throw assertNever(this.action);
+    }
+}
+/** The type of service update. */
+export var UpdateServiceKind;
+(function (UpdateServiceKind) {
+    /** Just update the `ServiceAccountInfo`. */
+    UpdateServiceKind[UpdateServiceKind["Update"] = 0] = "Update";
+    /** Create a new `Service` instance. */
+    UpdateServiceKind[UpdateServiceKind["Create"] = 1] = "Create";
+})(UpdateServiceKind || (UpdateServiceKind = {}));
+/**
+ * Update service info or create a new one.
+ */
+export class UpdateService {
+    action;
+    constructor(action) {
+        this.action = action;
+    }
+    static update({ serviceInfo }) {
+        return new UpdateService({
+            kind: UpdateServiceKind.Update,
+            account: serviceInfo,
+        });
+    }
+    static create({ serviceInfo, lookupHistory, }) {
+        return new UpdateService({
+            kind: UpdateServiceKind.Create,
+            account: serviceInfo,
+            lookupHistory,
+        });
+    }
+}
+/** Update service storage kind. */
+export var UpdateStorageKind;
+(function (UpdateStorageKind) {
+    /** Set a storage value. */
+    UpdateStorageKind[UpdateStorageKind["Set"] = 0] = "Set";
+    /** Remove a storage value. */
+    UpdateStorageKind[UpdateStorageKind["Remove"] = 1] = "Remove";
+})(UpdateStorageKind || (UpdateStorageKind = {}));
+/**
+ * Update service storage item.
+ *
+ * Can either create/modify an entry or remove it.
+ */
+export class UpdateStorage {
+    action;
+    constructor(action) {
+        this.action = action;
+    }
+    static set({ storage }) {
+        return new UpdateStorage({ kind: UpdateStorageKind.Set, storage });
+    }
+    static remove({ key }) {
+        return new UpdateStorage({ kind: UpdateStorageKind.Remove, key });
+    }
+    get key() {
+        if (this.action.kind === UpdateStorageKind.Remove) {
+            return this.action.key;
+        }
+        return this.action.storage.key;
+    }
+    get value() {
+        if (this.action.kind === UpdateStorageKind.Remove) {
+            return null;
+        }
+        return this.action.storage.value;
+    }
+}

package/packages/jam/state/state-view.d.ts

@@ -0,0 +1,104 @@
+import type { ServiceId } from "#@typeberry/block";
+import type { AuthorizerHash } from "#@typeberry/block/refine-context.js";
+import type { SequenceView } from "#@typeberry/codec";
+import type { AccumulationQueueView } from "./accumulation-queue.js";
+import type { AvailabilityAssignmentsView } from "./assurances.js";
+import type { AuthorizationPool, AuthorizationQueue } from "./auth.js";
+import type { RecentBlocksView } from "./recent-blocks.js";
+import type { RecentlyAccumulatedView } from "./recently-accumulated.js";
+import type { SafroleDataView } from "./safrole-data.js";
+import type { ServiceAccountInfoView } from "./service.js";
+import type { StatisticsDataView } from "./statistics.js";
+import type { ValidatorData, ValidatorDataView } from "./validator-data.js";
+/** Additional marker interface, when state view is supported/required. */
+export type WithStateView<V = StateView> = {
+    /** Get view of the state. */
+    view(): V;
+};
+/**
+ * A non-decoding version of the `State`.
+ *
+ * Note we don't require all fields to have view accessors, since
+ * it's only beneficial for large collections to be read via views.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/08f10008f100
+ */
+export type StateView = {
+    /**
+  
+     * `ρ rho`: work-reports which have been reported but are not yet known to be
+     *          available to a super-majority of validators, together with the time
+     *          at which each was reported.
+     *
+     *  https://graypaper.fluffylabs.dev/#/579bd12/135800135800
+     */
+    availabilityAssignmentView(): AvailabilityAssignmentsView;
+    /**
+     * `ι iota`: The validator keys and metadata to be drawn from next.
+     */
+    designatedValidatorDataView(): SequenceView<ValidatorData, ValidatorDataView>;
+    /**
+     * `κ kappa`: Validators, who are the set of economic actors uniquely
+     *            privileged to help build and maintain the Jam chain, are
+     *            identified within κ, archived in λ and enqueued from ι.
+     *
+     *  https://graypaper.fluffylabs.dev/#/579bd12/080201080601
+     */
+    currentValidatorDataView(): SequenceView<ValidatorData, ValidatorDataView>;
+    /**
+     * `λ lambda`: Validators, who are the set of economic actors uniquely
+     *             privileged to help build and maintain the Jam chain, are
+     *             identified within κ, archived in λ and enqueued from ι.
+     *
+     *  https://graypaper.fluffylabs.dev/#/579bd12/080201080601
+     */
+    previousValidatorDataView(): SequenceView<ValidatorData, ValidatorDataView>;
+    /**
+     * `α alpha`: Authorizers available for each core (authorizer pool).
+     *
+     * https://graypaper-reader.netlify.app/#/6e1c0cd/102400102400
+     */
+    authPoolsView(): SequenceView<AuthorizationPool, SequenceView<AuthorizerHash>>;
+    /**
+     * `φ phi`: A queue of authorizers for each core used to fill up the pool.
+     *
+     * Only updated by `accumulate` calls using `assign` host call.
+     *
+     * https://graypaper-reader.netlify.app/#/6e1c0cd/102400102400
+     */
+    authQueuesView(): SequenceView<AuthorizationQueue, SequenceView<AuthorizerHash>>;
+    /**
+     * `β beta`: State of the blocks from recent history.
+     *
+     * https://graypaper.fluffylabs.dev/#/579bd12/0fb7010fb701
+     */
+    recentBlocksView(): RecentBlocksView;
+    /**
+     * `π pi`: Previous and current statistics of each validator,
+     *         cores statistics and services statistics.
+     *
+     * https://graypaper.fluffylabs.dev/#/68eaa1f/18f60118f601?v=0.6.4
+     */
+    statisticsView(): StatisticsDataView;
+    /**
+     * `ϑ theta`: We also maintain knowledge of ready (i.e. available
+     * and/or audited) but not-yet-accumulated work-reports in
+     * the state item ϑ.
+     *
+     * https://graypaper.fluffylabs.dev/#/5f542d7/165300165500
+     */
+    accumulationQueueView(): AccumulationQueueView;
+    /**
+     * `ξ xi`: In order to know which work-packages have been
+     * accumulated already, we maintain a history of what has
+     * been accumulated. This history, ξ, is sufficiently large
+     * for an epoch worth of work-reports.
+     *
+     * https://graypaper.fluffylabs.dev/#/5f542d7/161a00161d00
+     */
+    recentlyAccumulatedView(): RecentlyAccumulatedView;
+    safroleDataView(): SafroleDataView;
+    /** Retrieve details about single service. */
+    getServiceInfoView(id: ServiceId): ServiceAccountInfoView | null;
+};
+//# sourceMappingURL=state-view.d.ts.map

package/packages/jam/state/state-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-view.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/state-view.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AACrE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE5E,0EAA0E;AAC1E,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,SAAS,IAAI;IACzC,6BAA6B;IAC7B,IAAI,IAAI,CAAC,CAAC;CACX,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB;;;;;;;OAOG;IACH,0BAA0B,IAAI,2BAA2B,CAAC;IAE1D;;OAEG;IACH,2BAA2B,IAAI,YAAY,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IAE9E;;;;;;OAMG;IACH,wBAAwB,IAAI,YAAY,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IAE3E;;;;;;OAMG;IACH,yBAAyB,IAAI,YAAY,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IAE5E;;;;OAIG;IACH,aAAa,IAAI,YAAY,CAAC,iBAAiB,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAE/E;;;;;;OAMG;IACH,cAAc,IAAI,YAAY,CAAC,kBAAkB,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAEjF;;;;OAIG;IACH,gBAAgB,IAAI,gBAAgB,CAAC;IAErC;;;;;OAKG;IACH,cAAc,IAAI,kBAAkB,CAAC;IAErC;;;;;;OAMG;IACH,qBAAqB,IAAI,qBAAqB,CAAC;IAE/C;;;;;;;OAOG;IACH,uBAAuB,IAAI,uBAAuB,CAAC;IAKnD,eAAe,IAAI,eAAe,CAAC;IAEnC,6CAA6C;IAC7C,kBAAkB,CAAC,EAAE,EAAE,SAAS,GAAG,sBAAsB,GAAG,IAAI,CAAC;CAClE,CAAC"}

package/packages/jam/state/state-view.js

@@ -0,0 +1 @@
+export {};