@typeberry/lib 0.5.1-a4d7c93 → 0.5.1-eb84786

package/packages/jam/state/privileged-services.js

@@ -0,0 +1,55 @@
+import { tryAsServiceId } from "#@typeberry/block";
+import { codec } from "#@typeberry/codec";
+import { Compatibility, GpVersion } from "#@typeberry/utils";
+import { codecPerCore } from "./common.js";
+import { ignoreValueWithDefault } from "./service.js";
+/**
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/114402114402?v=0.7.2
+ */
+export class PrivilegedServices {
+    manager;
+    delegator;
+    registrar;
+    assigners;
+    autoAccumulateServices;
+    /** https://graypaper.fluffylabs.dev/#/ab2cdbd/3bbd023bcb02?v=0.7.2 */
+    static Codec = codec.Class(PrivilegedServices, {
+        manager: codec.u32.asOpaque(),
+        assigners: codecPerCore(codec.u32.asOpaque()),
+        delegator: codec.u32.asOpaque(),
+        registrar: Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
+            ? codec.u32.asOpaque()
+            : ignoreValueWithDefault(tryAsServiceId(2 ** 32 - 1)),
+        autoAccumulateServices: codec.dictionary(codec.u32.asOpaque(), codec.u64.asOpaque(), {
+            sortKeys: (a, b) => a - b,
+        }),
+    });
+    static create(a) {
+        return new PrivilegedServices(a.manager, a.delegator, a.registrar, a.assigners, a.autoAccumulateServices);
+    }
+    constructor(
+    /**
+     * `χ_M`: Manages alteration of χ from block to block,
+     * as well as bestow services with storage deposit credits.
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/111502111902?v=0.7.2
+     */
+    manager, 
+    /** `χ_V`: Managers validator keys. */
+    delegator, 
+    /**
+     * `χ_R`: Manages the creation of services in protected range.
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/111b02111d02?v=0.7.2
+     */
+    registrar, 
+    /** `χ_A`: Manages authorization queue one for each core. */
+    assigners, 
+    /** `χ_Z`: Dictionary of services that auto-accumulate every block with their gas limit. */
+    autoAccumulateServices) {
+        this.manager = manager;
+        this.delegator = delegator;
+        this.registrar = registrar;
+        this.assigners = assigners;
+        this.autoAccumulateServices = autoAccumulateServices;
+    }
+}

package/packages/jam/state/recent-blocks.d.ts

@@ -0,0 +1,72 @@
+import type { HeaderHash, StateRootHash } from "#@typeberry/block";
+import { type WorkPackageHash, WorkPackageInfo } from "#@typeberry/block/refine-context.js";
+import { type CodecRecord, type DescribedBy } from "#@typeberry/codec";
+import { type HashDictionary, type KnownSizeArray } from "#@typeberry/collections";
+import { type KeccakHash } from "#@typeberry/hash";
+import type { MmrPeaks } from "#@typeberry/mmr";
+import { WithDebug } from "#@typeberry/utils";
+/**
+ * `H = 8`: The size of recent history, in blocks.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/416300416500
+ */
+export declare const MAX_RECENT_HISTORY = 8;
+export type MAX_RECENT_HISTORY = typeof MAX_RECENT_HISTORY;
+/** Array of recent blocks with maximum size of `MAX_RECENT_HISTORY` */
+export type BlocksState = KnownSizeArray<BlockState, `0..${typeof MAX_RECENT_HISTORY}`>;
+/** Recent history of a single block. */
+export declare class BlockState extends WithDebug {
+    /** Header hash. */
+    readonly headerHash: HeaderHash;
+    /** Merkle mountain belt of accumulation result. */
+    readonly accumulationResult: KeccakHash;
+    /** Posterior state root filled in with a 1-block delay. */
+    postStateRoot: StateRootHash;
+    /** Reported work packages (no more than number of cores). */
+    readonly reported: HashDictionary<WorkPackageHash, WorkPackageInfo>;
+    static Codec: import("@typeberry/codec").Descriptor<BlockState, import("@typeberry/codec").ViewOf<BlockState, {
+        headerHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/bytes").Bytes<32>>;
+        accumulationResult: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+        postStateRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, import("@typeberry/bytes").Bytes<32>>;
+        reported: import("@typeberry/codec").Descriptor<HashDictionary<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, WorkPackageInfo>, HashDictionary<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, WorkPackageInfo>>;
+    }>>;
+    static create({ headerHash, accumulationResult, postStateRoot, reported }: CodecRecord<BlockState>): BlockState;
+    private constructor();
+}
+/**
+ * Recent history of blocks.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/0fc9010fc901?v=0.6.7
+ */
+export declare class RecentBlocks extends WithDebug {
+    /**
+     * Most recent blocks.
+     * https://graypaper.fluffylabs.dev/#/7e6ff6a/0fea010fea01?v=0.6.7
+     */
+    readonly blocks: BlocksState;
+    /**
+     * Accumulation output log.
+     * https://graypaper.fluffylabs.dev/#/7e6ff6a/0f02020f0202?v=0.6.7
+     */
+    readonly accumulationLog: MmrPeaks<KeccakHash>;
+    static Codec: import("@typeberry/codec").Descriptor<RecentBlocks, import("@typeberry/codec").ViewOf<RecentBlocks, {
+        blocks: import("@typeberry/codec").Descriptor<readonly BlockState[] & import("@typeberry/utils").WithOpaque<"0..8">, import("@typeberry/codec").SequenceView<BlockState, import("@typeberry/codec").ViewOf<BlockState, {
+            headerHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"HeaderHash">, import("@typeberry/bytes").Bytes<32>>;
+            accumulationResult: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+            postStateRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"StateRootHash">, import("@typeberry/bytes").Bytes<32>>;
+            reported: import("@typeberry/codec").Descriptor<HashDictionary<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, WorkPackageInfo>, HashDictionary<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, WorkPackageInfo>>;
+        }>>>;
+        accumulationLog: import("@typeberry/codec").Descriptor<{
+            peaks: readonly (import("@typeberry/bytes").Bytes<32> | null)[];
+        }, import("@typeberry/codec").ViewOf<{
+            peaks: readonly (import("@typeberry/bytes").Bytes<32> | null)[];
+        }, import("@typeberry/codec").SimpleDescriptorRecord<{
+            peaks: readonly (import("@typeberry/bytes").Bytes<32> | null)[];
+        }>>>;
+    }>>;
+    static empty(): RecentBlocks;
+    static create(a: CodecRecord<RecentBlocks>): RecentBlocks;
+    private constructor();
+}
+export type RecentBlocksView = DescribedBy<typeof RecentBlocks.Codec.View>;
+//# sourceMappingURL=recent-blocks.d.ts.map

package/packages/jam/state/recent-blocks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recent-blocks.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/recent-blocks.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAElE,OAAO,EAAE,KAAK,eAAe,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC3F,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAe,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAa,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D,uEAAuE;AACvE,MAAM,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,EAAE,MAAM,OAAO,kBAAkB,EAAE,CAAC,CAAC;AAExF,wCAAwC;AACxC,qBAAa,UAAW,SAAQ,SAAS;IAarC,mBAAmB;aACH,UAAU,EAAE,UAAU;IACtC,mDAAmD;aACnC,kBAAkB,EAAE,UAAU;IAC9C,2DAA2D;IACpD,aAAa,EAAE,aAAa;IACnC,6DAA6D;aAC7C,QAAQ,EAAE,cAAc,CAAC,eAAe,EAAE,eAAe,CAAC;IAnB5E,MAAM,CAAC,KAAK;;;;;QAKT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,WAAW,CAAC,UAAU,CAAC;IAIlG,OAAO;CAYR;AAED;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,SAAS;IAuBvC;;;OAGG;aACa,MAAM,EAAE,WAAW;IACnC;;;OAGG;aACa,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC;IA/BvD,MAAM,CAAC,KAAK;;;;;;;;;;;;;;QAST;IAEH,MAAM,CAAC,KAAK;IAMZ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,YAAY,CAAC;IAI1C,OAAO;CAcR;AAED,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC"}

package/packages/jam/state/recent-blocks.js

@@ -0,0 +1,85 @@
+import { codecHashDictionary, codecKnownSizeArray } from "#@typeberry/block/codec-utils.js";
+import { WorkPackageInfo } from "#@typeberry/block/refine-context.js";
+import { codec } from "#@typeberry/codec";
+import { asKnownSize } from "#@typeberry/collections";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { WithDebug } from "#@typeberry/utils";
+/**
+ * `H = 8`: The size of recent history, in blocks.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/416300416500
+ */
+export const MAX_RECENT_HISTORY = 8;
+/** Recent history of a single block. */
+export class BlockState extends WithDebug {
+    headerHash;
+    accumulationResult;
+    postStateRoot;
+    reported;
+    static Codec = codec.Class(BlockState, {
+        headerHash: codec.bytes(HASH_SIZE).asOpaque(),
+        accumulationResult: codec.bytes(HASH_SIZE),
+        postStateRoot: codec.bytes(HASH_SIZE).asOpaque(),
+        reported: codecHashDictionary(WorkPackageInfo.Codec, (x) => x.workPackageHash),
+    });
+    static create({ headerHash, accumulationResult, postStateRoot, reported }) {
+        return new BlockState(headerHash, accumulationResult, postStateRoot, reported);
+    }
+    constructor(
+    /** Header hash. */
+    headerHash, 
+    /** Merkle mountain belt of accumulation result. */
+    accumulationResult, 
+    /** Posterior state root filled in with a 1-block delay. */
+    postStateRoot, 
+    /** Reported work packages (no more than number of cores). */
+    reported) {
+        super();
+        this.headerHash = headerHash;
+        this.accumulationResult = accumulationResult;
+        this.postStateRoot = postStateRoot;
+        this.reported = reported;
+    }
+}
+/**
+ * Recent history of blocks.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/0fc9010fc901?v=0.6.7
+ */
+export class RecentBlocks extends WithDebug {
+    blocks;
+    accumulationLog;
+    static Codec = codec.Class(RecentBlocks, {
+        blocks: codecKnownSizeArray(BlockState.Codec, {
+            minLength: 0,
+            maxLength: MAX_RECENT_HISTORY,
+            typicalLength: MAX_RECENT_HISTORY,
+        }),
+        accumulationLog: codec.object({
+            peaks: codec.readonlyArray(codec.sequenceVarLen(codec.optional(codec.bytes(HASH_SIZE)))),
+        }),
+    });
+    static empty() {
+        return new RecentBlocks(asKnownSize([]), {
+            peaks: [],
+        });
+    }
+    static create(a) {
+        return new RecentBlocks(a.blocks, a.accumulationLog);
+    }
+    constructor(
+    /**
+     * Most recent blocks.
+     * https://graypaper.fluffylabs.dev/#/7e6ff6a/0fea010fea01?v=0.6.7
+     */
+    blocks, 
+    /**
+     * Accumulation output log.
+     * https://graypaper.fluffylabs.dev/#/7e6ff6a/0f02020f0202?v=0.6.7
+     */
+    accumulationLog) {
+        super();
+        this.blocks = blocks;
+        this.accumulationLog = accumulationLog;
+    }
+}

package/packages/jam/state/recently-accumulated.d.ts

@@ -0,0 +1,8 @@
+import { type PerEpochBlock } from "#@typeberry/block";
+import type { WorkPackageHash } from "#@typeberry/block/refine-context.js";
+import { type DescribedBy, type SequenceView } from "#@typeberry/codec";
+import { type ImmutableHashSet } from "#@typeberry/collections";
+export type RecentlyAccumulated = PerEpochBlock<ImmutableHashSet<WorkPackageHash>>;
+export declare const recentlyAccumulatedCodec: import("@typeberry/codec").Descriptor<readonly ImmutableHashSet<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">>[] & import("@typeberry/utils").WithOpaque<"EpochLength">, SequenceView<ImmutableHashSet<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">>, SequenceView<import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">, import("@typeberry/hash").OpaqueHash & import("@typeberry/utils").WithOpaque<"WorkPackageHash">>>>;
+export type RecentlyAccumulatedView = DescribedBy<typeof recentlyAccumulatedCodec.View>;
+//# sourceMappingURL=recently-accumulated.d.ts.map

package/packages/jam/state/recently-accumulated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recently-accumulated.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/recently-accumulated.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAS,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC9E,OAAO,EAAW,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAGxE,MAAM,MAAM,mBAAmB,GAAG,aAAa,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC;AAEnF,eAAO,MAAM,wBAAwB,6iBAQpC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,WAAW,CAAC,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC"}

package/packages/jam/state/recently-accumulated.js

@@ -0,0 +1,5 @@
+import { codecPerEpochBlock } from "#@typeberry/block";
+import { codec } from "#@typeberry/codec";
+import { HashSet } from "#@typeberry/collections";
+import { HASH_SIZE } from "#@typeberry/hash";
+export const recentlyAccumulatedCodec = codecPerEpochBlock(codec.sequenceVarLen(codec.bytes(HASH_SIZE).asOpaque()).convert((x) => Array.from(x), (x) => HashSet.from(x)));

package/packages/jam/state/safrole-data.d.ts

@@ -0,0 +1,56 @@
+import { type PerEpochBlock, type PerValidator } from "#@typeberry/block";
+import { Ticket } from "#@typeberry/block/tickets.js";
+import { type CodecRecord, type DescribedBy } from "#@typeberry/codec";
+import { type KnownSizeArray } from "#@typeberry/collections";
+import { type BandersnatchKey } from "#@typeberry/crypto";
+import { type BandersnatchRingRoot } from "#@typeberry/crypto/bandersnatch.js";
+import { WithDebug } from "#@typeberry/utils";
+import { ValidatorData } from "./validator-data.js";
+export declare enum SafroleSealingKeysKind {
+    Tickets = 0,
+    Keys = 1
+}
+export type SafroleSealingKeys = {
+    kind: SafroleSealingKeysKind.Keys;
+    keys: PerEpochBlock<BandersnatchKey>;
+} | {
+    kind: SafroleSealingKeysKind.Tickets;
+    tickets: PerEpochBlock<Ticket>;
+};
+export declare class SafroleSealingKeysData extends WithDebug {
+    readonly kind: SafroleSealingKeysKind;
+    readonly keys?: PerEpochBlock<BandersnatchKey> | undefined;
+    readonly tickets?: PerEpochBlock<Ticket> | undefined;
+    static Codec: import("@typeberry/codec").Descriptor<SafroleSealingKeys, SafroleSealingKeys>;
+    static keys(keys: PerEpochBlock<BandersnatchKey>): SafroleSealingKeys;
+    static tickets(tickets: PerEpochBlock<Ticket>): SafroleSealingKeys;
+    private constructor();
+}
+export declare class SafroleData {
+    /** gamma_k */
+    readonly nextValidatorData: PerValidator<ValidatorData>;
+    /** gamma_z */
+    readonly epochRoot: BandersnatchRingRoot;
+    /** gamma_s */
+    readonly sealingKeySeries: SafroleSealingKeys;
+    /** gamma_a */
+    readonly ticketsAccumulator: KnownSizeArray<Ticket, "0...EpochLength">;
+    static Codec: import("@typeberry/codec").Descriptor<SafroleData, import("@typeberry/codec").ViewOf<SafroleData, {
+        nextValidatorData: import("@typeberry/codec").Descriptor<readonly ValidatorData[] & import("@typeberry/utils").WithOpaque<"ValidatorsCount">, import("@typeberry/codec").SequenceView<ValidatorData, import("@typeberry/codec").ViewOf<ValidatorData, {
+            bandersnatch: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"BandersnatchKey">, import("@typeberry/bytes").Bytes<32>>;
+            ed25519: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, import("@typeberry/bytes").Bytes<32>>;
+            bls: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<144> & import("@typeberry/utils").WithOpaque<"BlsKey">, import("@typeberry/bytes").Bytes<144>>;
+            metadata: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<128>, import("@typeberry/bytes").Bytes<128>>;
+        }>>>;
+        epochRoot: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<144> & import("@typeberry/utils").WithOpaque<"BandersnatchRingRoot">, import("@typeberry/bytes").Bytes<144>>;
+        sealingKeySeries: import("@typeberry/codec").Descriptor<SafroleSealingKeys, SafroleSealingKeys>;
+        ticketsAccumulator: import("@typeberry/codec").Descriptor<readonly Ticket[] & import("@typeberry/utils").WithOpaque<"0...EpochLength">, import("@typeberry/codec").SequenceView<Ticket, import("@typeberry/codec").ViewOf<Ticket, {
+            id: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32>, import("@typeberry/bytes").Bytes<32>>;
+            attempt: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<1> & import("@typeberry/utils").WithOpaque<"TicketAttempt[0|1|2]">, import("@typeberry/numbers").U8>;
+        }>>>;
+    }>>;
+    static create({ nextValidatorData, epochRoot, sealingKeySeries, ticketsAccumulator }: CodecRecord<SafroleData>): SafroleData;
+    private constructor();
+}
+export type SafroleDataView = DescribedBy<typeof SafroleData.Codec.View>;
+//# sourceMappingURL=safrole-data.d.ts.map

package/packages/jam/state/safrole-data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"safrole-data.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/safrole-data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,aAAa,EAAE,KAAK,YAAY,EAAsB,MAAM,kBAAkB,CAAC;AAEhH,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,EAA0B,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAgC,KAAK,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAC5G,OAAO,EAAc,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,oBAAY,sBAAsB;IAChC,OAAO,IAAI;IACX,IAAI,IAAI;CACT;AAED,MAAM,MAAM,kBAAkB,GAC1B;IACE,IAAI,EAAE,sBAAsB,CAAC,IAAI,CAAC;IAClC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CACtC,GACD;IACE,IAAI,EAAE,sBAAsB,CAAC,OAAO,CAAC;IACrC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAChC,CAAC;AAIN,qBAAa,sBAAuB,SAAQ,SAAS;IAsCjD,QAAQ,CAAC,IAAI,EAAE,sBAAsB;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC;IAvC1C,MAAM,CAAC,KAAK,gFA0BT;IAEH,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,kBAAkB;IAIrE,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,kBAAkB;IAIlE,OAAO;CAOR;AAED,qBAAa,WAAW;IAapB,cAAc;aACE,iBAAiB,EAAE,YAAY,CAAC,aAAa,CAAC;IAC9D,cAAc;aACE,SAAS,EAAE,oBAAoB;IAC/C,cAAc;aACE,gBAAgB,EAAE,kBAAkB;IACpD,cAAc;aACE,kBAAkB,EAAE,cAAc,CAAC,MAAM,EAAE,iBAAiB,CAAC;IAnB/E,MAAM,CAAC,KAAK;;;;;;;;;;;;;QAKT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,SAAS,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,EAAE,WAAW,CAAC,WAAW,CAAC;IAI9G,OAAO;CAUR;AAED,MAAM,MAAM,eAAe,GAAG,WAAW,CAAC,OAAO,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC"}

package/packages/jam/state/safrole-data.js

@@ -0,0 +1,78 @@
+import { codecPerValidator, tryAsPerEpochBlock } from "#@typeberry/block";
+import { codecWithContext } from "#@typeberry/block/codec-utils.js";
+import { Ticket } from "#@typeberry/block/tickets.js";
+import { codec } from "#@typeberry/codec";
+import { asKnownSize } from "#@typeberry/collections";
+import { BANDERSNATCH_KEY_BYTES } from "#@typeberry/crypto";
+import { BANDERSNATCH_RING_ROOT_BYTES } from "#@typeberry/crypto/bandersnatch.js";
+import { seeThrough, WithDebug } from "#@typeberry/utils";
+import { ValidatorData } from "./validator-data.js";
+export var SafroleSealingKeysKind;
+(function (SafroleSealingKeysKind) {
+    SafroleSealingKeysKind[SafroleSealingKeysKind["Tickets"] = 0] = "Tickets";
+    SafroleSealingKeysKind[SafroleSealingKeysKind["Keys"] = 1] = "Keys";
+})(SafroleSealingKeysKind || (SafroleSealingKeysKind = {}));
+const codecBandersnatchKey = codec.bytes(BANDERSNATCH_KEY_BYTES).asOpaque();
+export class SafroleSealingKeysData extends WithDebug {
+    kind;
+    keys;
+    tickets;
+    static Codec = codecWithContext((context) => {
+        const keysCodec = codec
+            .sequenceFixLen(codecBandersnatchKey, context.epochLength)
+            .convert((keys) => Array.from(keys), (keys) => tryAsPerEpochBlock(keys, context));
+        const ticketsCodec = codec.sequenceFixLen(Ticket.Codec, context.epochLength).convert((tickets) => Array.from(tickets), (tickets) => tryAsPerEpochBlock(tickets, context));
+        return codec
+            .union("SafroleSealingKeys", {
+            [SafroleSealingKeysKind.Keys]: codec.object({ keys: keysCodec }),
+            [SafroleSealingKeysKind.Tickets]: codec.object({ tickets: ticketsCodec }),
+        })
+            .convert((x) => x, (x) => {
+            if (x.kind === SafroleSealingKeysKind.Keys) {
+                return SafroleSealingKeysData.keys(x.keys);
+            }
+            return SafroleSealingKeysData.tickets(x.tickets);
+        });
+    });
+    static keys(keys) {
+        return new SafroleSealingKeysData(SafroleSealingKeysKind.Keys, keys, undefined);
+    }
+    static tickets(tickets) {
+        return new SafroleSealingKeysData(SafroleSealingKeysKind.Tickets, undefined, tickets);
+    }
+    constructor(kind, keys, tickets) {
+        super();
+        this.kind = kind;
+        this.keys = keys;
+        this.tickets = tickets;
+    }
+}
+export class SafroleData {
+    nextValidatorData;
+    epochRoot;
+    sealingKeySeries;
+    ticketsAccumulator;
+    static Codec = codec.Class(SafroleData, {
+        nextValidatorData: codecPerValidator(ValidatorData.Codec),
+        epochRoot: codec.bytes(BANDERSNATCH_RING_ROOT_BYTES).asOpaque(),
+        sealingKeySeries: SafroleSealingKeysData.Codec,
+        ticketsAccumulator: codec.readonlyArray(codec.sequenceVarLen(Ticket.Codec)).convert(seeThrough, asKnownSize),
+    });
+    static create({ nextValidatorData, epochRoot, sealingKeySeries, ticketsAccumulator }) {
+        return new SafroleData(nextValidatorData, epochRoot, sealingKeySeries, ticketsAccumulator);
+    }
+    constructor(
+    /** gamma_k */
+    nextValidatorData, 
+    /** gamma_z */
+    epochRoot, 
+    /** gamma_s */
+    sealingKeySeries, 
+    /** gamma_a */
+    ticketsAccumulator) {
+        this.nextValidatorData = nextValidatorData;
+        this.epochRoot = epochRoot;
+        this.sealingKeySeries = sealingKeySeries;
+        this.ticketsAccumulator = ticketsAccumulator;
+    }
+}

package/packages/jam/state/safrole-data.test.d.ts

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

package/packages/jam/state/safrole-data.test.d.ts.map

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

package/packages/jam/state/safrole-data.test.js

@@ -0,0 +1,56 @@
+import { describe, it } from "node:test";
+import { codecPerValidator, tryAsPerEpochBlock } from "#@typeberry/block";
+import { Ticket } from "#@typeberry/block/tickets.js";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { codec, Decoder, Encoder } from "#@typeberry/codec";
+import { asKnownSize } from "#@typeberry/collections";
+import { tinyChainSpec } from "#@typeberry/config";
+import { BANDERSNATCH_KEY_BYTES, BANDERSNATCH_RING_ROOT_BYTES, } from "#@typeberry/crypto/bandersnatch.js";
+import { deepEqual } from "#@typeberry/utils";
+import { SafroleData, SafroleSealingKeysData } from "./safrole-data.js";
+import { ValidatorData } from "./validator-data.js";
+const banderKey = (hex) => {
+    return Bytes.parseBytes(hex, BANDERSNATCH_KEY_BYTES).asOpaque();
+};
+describe("Safrole Data", () => {
+    it("should decode safrole data", () => {
+        const spec = tinyChainSpec;
+        const validators = Decoder.decodeObject(codecPerValidator(ValidatorData.Codec), BytesBlob.parseBlob(VALIDATORS), spec);
+        const epochRoot = Bytes.parseBytes(BANDERSNATCH_RING_ROOT_DATA, BANDERSNATCH_RING_ROOT_BYTES).asOpaque();
+        const sealingKeys = Decoder.decodeObject(SafroleSealingKeysData.Codec, BytesBlob.parseBlob(SEALING_KEYS_DATA), spec);
+        const ticketsAccumulator = Decoder.decodeObject(codec.sequenceVarLen(Ticket.Codec), BytesBlob.parseBlob(WTF_DATA), spec);
+        const safroleData = Decoder.decodeObject(SafroleData.Codec, BytesBlob.parseBlob(TEST_DATA), spec);
+        deepEqual(safroleData, SafroleData.create({
+            nextValidatorData: validators,
+            epochRoot,
+            sealingKeySeries: sealingKeys,
+            ticketsAccumulator: asKnownSize(ticketsAccumulator),
+        }));
+    });
+    it("should encode and decode SafroleSealingKeys (keys variant)", () => {
+        const spec = tinyChainSpec;
+        const keys = [
+            banderKey("0x48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3"),
+            banderKey("0x48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3"),
+            banderKey("0x48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3"),
+            banderKey("0xf16e5352840afb47e206b5c89f560f2611835855cf2e6ebad1acc9520a72591d"),
+            banderKey("0x5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d"),
+            banderKey("0x48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3"),
+            banderKey("0x5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d"),
+            banderKey("0x48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3"),
+            banderKey("0x3d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d0"),
+            banderKey("0x5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d"),
+            banderKey("0x3d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d0"),
+            banderKey("0x48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3"),
+        ];
+        const original = SafroleSealingKeysData.keys(tryAsPerEpochBlock(keys, spec));
+        const encoded = Encoder.encodeObject(SafroleSealingKeysData.Codec, original, spec);
+        const decoded = Decoder.decodeObject(SafroleSealingKeysData.Codec, encoded, spec);
+        deepEqual(decoded, original);
+    });
+});
+const VALIDATORS = "0x5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d3b6a27bcceb6a42d62a3a8d02a6f0d73653215771de243a63ac048a18b59da29b27150a1f1cd24bccc792ba7ba4220a1e8c36636e35a969d1d14b4c89bce7d1d463474fb186114a89dd70e88506fefc9830756c27a7845bec1cb6ee31e07211afd0dde34f0dc5d89231993cd323973faa23d84d521fd574e840b8617c75d1a1d0102aa3c71999137001a77464ced6bb2885c460be760c709009e26395716a52c8c52e6e23906a455b4264e7d0c75466e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d022351e22105a19aabb42589162ad7f1ea0df1c25cebf0e4a9fcd261301274862a2534be5b2f761dc898160a9b4762eb46bd171222f6cdf87f5127a9e8970a54c44fe7b2e12dda098854a9aaab03c3a47953085668673a84b0cedb4b0391ed6ae2deb1c3e04f0bc618a2bc1287d8599e8a1c47ff715cd4cbd3fe80e2607744d4514b491ed2ef76ae114ecb1af99ba6af32189bf0471c06aa3e6acdaf82e7a959cb24a5c1444cac3a6678f5182459fd8ce0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000aa2b95f7572875b0d0f186552ae745ba8222fc0b5bd456554bfe51c68938f8bce68e0cf7f26c59f963b5846202d2327cc8bc0c4eff8cb9abd4012f9a71decf008faee314528448651e50bea6d2e7e5d3176698fea0b932405a4ec0a19775e72325e44a6d28f99fba887e04eb818f13d1b73f75f0161644283df61e7fbaad7713fae0ef79fe92499202834c97f512d744515a57971badf2df62e23697e9fe347f168fed0adb9ace131f49bbd500a324e2469569423f37c5d3b430990204ae17b383fcd582cb864168c8b46be8d779e7ca00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007f6190116d118d643a98878e294ccf62b509e214299931aad8ff9764181a4e33b3e0e096b02e2ec98a3441410aeddd78c95e27a0da6f411a09c631c0f2bea6e98dfdac3e2f604ecda637e4969a139ceb70c534bd5edc4210eb5ac71178c1d62f0c977197a2c6a9e8ada6a14395bc9aa3a384d35f40c3493e20cb7efaa799f66d1cedd5b2928f8e34438b07072bbae404d7dfcee3f457f9103173805ee163ba550854e4660ccec49e25fafdb00e6adfbc8e875de1a9541e1721e956b972ef2b135cc7f71682615e12bb7d6acd353d7681000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000048e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e35c7f34a4bd4f2d04076a8c6f9060a0c8d2c6bdd082ceb3eda7df381cb260faffb78a95d81f6c7cdc517a36d81191b6f7718dcf44e76c0ce9fb724d3aea39fdb3c5f4ee31eb1f45e55b783b687b1e9087b092a18341c7cda102b4100685b0a014d55f1ccdb7600ec0db14bb90f7fc3126dc2625945bb44f302fc80df0c225546c06fa1952ef05bdc83ceb7a23373de0637cd9914272e3e3d1a455db6c48cc6b2b2c17e1dcf7cd1586a235821308aee0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f16e5352840afb47e206b5c89f560f2611835855cf2e6ebad1acc9520a72591d837ce344bc9defceb0d7de7e9e9925096768b7adb4dad932e532eb6551e0ea02b0b9121622bf8a9a9e811ee926740a876dd0d9036f2f3060ebfab0c7c489a338a7728ee2da4a265696edcc389fe02b2caf20b5b83aeb64aaf4184bedf127f4eea1d737875854411d58ca4a2b69b066b0a0c09d2a0b7121ade517687c51954df913fe930c227723dd8f58aa2415946044dc3fb15c367a2185d0fc1f7d2bb102ff14a230d5f81cfc8ad445e51efddbf4260000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000";
+const BANDERSNATCH_RING_ROOT_DATA = "0xa949a60ad754d683d398a0fb674a9bbe525ca26b0b0b9c8d79f210291b40d286d9886a9747a4587d497f2700baee229ca72c54ad652e03e74f35f075d0189a40d41e5ee65703beb5d7ae8394da07aecf9056b98c61156714fd1d9982367bee2992e630ae2b14e758ab0960e372172203f4c9a41777dadd529971d7ab9d23ab29fe0e9c85ec450505dde7f5ac038274cf";
+const SEALING_KEYS_DATA = "0x0148e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e348e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e348e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3f16e5352840afb47e206b5c89f560f2611835855cf2e6ebad1acc9520a72591d5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e35e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e33d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d05e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d3d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d048e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3";
+const WTF_DATA = "0x0c0b7537993b0a700def26bb16e99ed0bfb530f616e4c13cf63ecb60bcbe83387d021912baa74049a4cad89dc3f0646144459b691b926cf8b9c1c4a5bbfa1ee0c3310122fdcfa858e5195e222174597d7d33bd66d97748c413b876f7a132134ce9baef0023bd628fd365a0f3ecd10db746dd04ec5efe61f96da19ae070c44b97d3c9a7b80231d6a25525ff4bd6e47e611646d7b5835b94b5c0a69c225371b2b762c93095a20131e9b8070f42d7c9083eca5879e5528191259a395761b8fcc068dcdd36b06be40139120d5b82981c7f5aba8247925f358afb9539839b61602a0726f51efb35ef4c0039e2d23807ff3788156eac40cc0a622a9fd23e9468bf962aebe48079c0fd2f1a0039f7d99b86f90cada4aa3b08adfe310024813fca0bdcdff944873a2cc2e4707401665df13fd353ffe92e9bd68ae952f4511681f04bd2ffb9a6da1b1f5f706c53ec026b5cc620ed50042cd517ec8267706c82482f07ebcb3c65bfb6288ef5984141a7017914d0dc71014a8106875c440ec79dc8358ef5e65700f8780f0af56d317314e000";
+const TEST_DATA = "0x5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d3b6a27bcceb6a42d62a3a8d02a6f0d73653215771de243a63ac048a18b59da29b27150a1f1cd24bccc792ba7ba4220a1e8c36636e35a969d1d14b4c89bce7d1d463474fb186114a89dd70e88506fefc9830756c27a7845bec1cb6ee31e07211afd0dde34f0dc5d89231993cd323973faa23d84d521fd574e840b8617c75d1a1d0102aa3c71999137001a77464ced6bb2885c460be760c709009e26395716a52c8c52e6e23906a455b4264e7d0c75466e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d022351e22105a19aabb42589162ad7f1ea0df1c25cebf0e4a9fcd261301274862a2534be5b2f761dc898160a9b4762eb46bd171222f6cdf87f5127a9e8970a54c44fe7b2e12dda098854a9aaab03c3a47953085668673a84b0cedb4b0391ed6ae2deb1c3e04f0bc618a2bc1287d8599e8a1c47ff715cd4cbd3fe80e2607744d4514b491ed2ef76ae114ecb1af99ba6af32189bf0471c06aa3e6acdaf82e7a959cb24a5c1444cac3a6678f5182459fd8ce0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000aa2b95f7572875b0d0f186552ae745ba8222fc0b5bd456554bfe51c68938f8bce68e0cf7f26c59f963b5846202d2327cc8bc0c4eff8cb9abd4012f9a71decf008faee314528448651e50bea6d2e7e5d3176698fea0b932405a4ec0a19775e72325e44a6d28f99fba887e04eb818f13d1b73f75f0161644283df61e7fbaad7713fae0ef79fe92499202834c97f512d744515a57971badf2df62e23697e9fe347f168fed0adb9ace131f49bbd500a324e2469569423f37c5d3b430990204ae17b383fcd582cb864168c8b46be8d779e7ca00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007f6190116d118d643a98878e294ccf62b509e214299931aad8ff9764181a4e33b3e0e096b02e2ec98a3441410aeddd78c95e27a0da6f411a09c631c0f2bea6e98dfdac3e2f604ecda637e4969a139ceb70c534bd5edc4210eb5ac71178c1d62f0c977197a2c6a9e8ada6a14395bc9aa3a384d35f40c3493e20cb7efaa799f66d1cedd5b2928f8e34438b07072bbae404d7dfcee3f457f9103173805ee163ba550854e4660ccec49e25fafdb00e6adfbc8e875de1a9541e1721e956b972ef2b135cc7f71682615e12bb7d6acd353d7681000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000048e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e35c7f34a4bd4f2d04076a8c6f9060a0c8d2c6bdd082ceb3eda7df381cb260faffb78a95d81f6c7cdc517a36d81191b6f7718dcf44e76c0ce9fb724d3aea39fdb3c5f4ee31eb1f45e55b783b687b1e9087b092a18341c7cda102b4100685b0a014d55f1ccdb7600ec0db14bb90f7fc3126dc2625945bb44f302fc80df0c225546c06fa1952ef05bdc83ceb7a23373de0637cd9914272e3e3d1a455db6c48cc6b2b2c17e1dcf7cd1586a235821308aee0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f16e5352840afb47e206b5c89f560f2611835855cf2e6ebad1acc9520a72591d837ce344bc9defceb0d7de7e9e9925096768b7adb4dad932e532eb6551e0ea02b0b9121622bf8a9a9e811ee926740a876dd0d9036f2f3060ebfab0c7c489a338a7728ee2da4a265696edcc389fe02b2caf20b5b83aeb64aaf4184bedf127f4eea1d737875854411d58ca4a2b69b066b0a0c09d2a0b7121ade517687c51954df913fe930c227723dd8f58aa2415946044dc3fb15c367a2185d0fc1f7d2bb102ff14a230d5f81cfc8ad445e51efddbf4260000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a949a60ad754d683d398a0fb674a9bbe525ca26b0b0b9c8d79f210291b40d286d9886a9747a4587d497f2700baee229ca72c54ad652e03e74f35f075d0189a40d41e5ee65703beb5d7ae8394da07aecf9056b98c61156714fd1d9982367bee2992e630ae2b14e758ab0960e372172203f4c9a41777dadd529971d7ab9d23ab29fe0e9c85ec450505dde7f5ac038274cf0148e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e348e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e348e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e3f16e5352840afb47e206b5c89f560f2611835855cf2e6ebad1acc9520a72591d5e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e35e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d48e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e33d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d05e465beb01dbafe160ce8216047f2155dd0569f058afd52dcea601025a8d161d3d5e5a51aab2b048f8686ecd79712a80e3265a114cc73f14bdb2a59233fb66d048e5fcdce10e0b64ec4eebd0d9211c7bac2f27ce54bca6f7776ff6fee86ab3e30c0b7537993b0a700def26bb16e99ed0bfb530f616e4c13cf63ecb60bcbe83387d021912baa74049a4cad89dc3f0646144459b691b926cf8b9c1c4a5bbfa1ee0c3310122fdcfa858e5195e222174597d7d33bd66d97748c413b876f7a132134ce9baef0023bd628fd365a0f3ecd10db746dd04ec5efe61f96da19ae070c44b97d3c9a7b80231d6a25525ff4bd6e47e611646d7b5835b94b5c0a69c225371b2b762c93095a20131e9b8070f42d7c9083eca5879e5528191259a395761b8fcc068dcdd36b06be40139120d5b82981c7f5aba8247925f358afb9539839b61602a0726f51efb35ef4c0039e2d23807ff3788156eac40cc0a622a9fd23e9468bf962aebe48079c0fd2f1a0039f7d99b86f90cada4aa3b08adfe310024813fca0bdcdff944873a2cc2e4707401665df13fd353ffe92e9bd68ae952f4511681f04bd2ffb9a6da1b1f5f706c53ec026b5cc620ed50042cd517ec8267706c82482f07ebcb3c65bfb6288ef5984141a7017914d0dc71014a8106875c440ec79dc8358ef5e65700f8780f0af56d317314e000";

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

@@ -0,0 +1,119 @@
+import { type CodeHash, type ServiceGas, type ServiceId, type TimeSlot } from "#@typeberry/block";
+import type { PreimageHash } from "#@typeberry/block/preimage.js";
+import type { BytesBlob } from "#@typeberry/bytes";
+import { type CodecRecord, type DescribedBy, Descriptor } from "#@typeberry/codec";
+import { type KnownSizeArray } from "#@typeberry/collections";
+import { type U32, type U64 } from "#@typeberry/numbers";
+import { type Opaque, 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 declare 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 declare 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 declare const ELECTIVE_BYTE_BALANCE = 1n;
+/** 0-byte read, return given default value */
+export declare const ignoreValueWithDefault: <T>(defaultValue: T) => Descriptor<T, T>;
+/** Encode and decode object with leading version number. */
+export declare const codecWithVersion: <T>(val: Descriptor<T>) => Descriptor<T>;
+/**
+ * Service account details.
+ *
+ * https://graypaper.fluffylabs.dev/#/7e6ff6a/108301108301?v=0.6.7
+ */
+export declare class ServiceAccountInfo extends WithDebug {
+    /** `a_c`: Hash of the service code. */
+    readonly codeHash: CodeHash;
+    /** `a_b`: Current account balance. */
+    readonly balance: U64;
+    /** `a_g`: Minimal gas required to execute Accumulate entrypoint. */
+    readonly accumulateMinGas: ServiceGas;
+    /** `a_m`: Minimal gas required to execute On Transfer entrypoint. */
+    readonly onTransferMinGas: ServiceGas;
+    /** `a_o`: Total number of octets in storage. */
+    readonly storageUtilisationBytes: U64;
+    /** `a_f`: Cost-free storage. Decreases both storage item count and total byte size. */
+    readonly gratisStorage: U64;
+    /** `a_i`: Number of items in storage. */
+    readonly storageUtilisationCount: U32;
+    /** `a_r`: Creation account time slot. */
+    readonly created: TimeSlot;
+    /** `a_a`: Most recent accumulation time slot. */
+    readonly lastAccumulation: TimeSlot;
+    /** `a_p`: Parent service ID. */
+    readonly parentService: ServiceId;
+    static Codec: Descriptor<ServiceAccountInfo, import("@typeberry/codec").ViewOf<ServiceAccountInfo, {
+        codeHash: Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"CodeHash">, import("@typeberry/bytes").Bytes<32>>;
+        balance: Descriptor<U64, import("@typeberry/bytes").Bytes<8>>;
+        accumulateMinGas: Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/bytes").Bytes<8>>;
+        onTransferMinGas: Descriptor<bigint & import("@typeberry/numbers").WithBytesRepresentation<8> & import("@typeberry/utils").WithOpaque<"ServiceGas[u64]">, import("@typeberry/bytes").Bytes<8>>;
+        storageUtilisationBytes: Descriptor<U64, import("@typeberry/bytes").Bytes<8>>;
+        gratisStorage: Descriptor<U64, import("@typeberry/bytes").Bytes<8>>;
+        storageUtilisationCount: Descriptor<U32, import("@typeberry/bytes").Bytes<4>>;
+        created: Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
+        lastAccumulation: Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"TimeSlot[u32]">, import("@typeberry/bytes").Bytes<4>>;
+        parentService: Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"ServiceId[u32]">, import("@typeberry/bytes").Bytes<4>>;
+    }>>;
+    static create(a: CodecRecord<ServiceAccountInfo>): ServiceAccountInfo;
+    /**
+     * `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: U32, bytes: U64, gratisStorage: U64): U64;
+    private constructor();
+}
+export type ServiceAccountInfoView = DescribedBy<typeof ServiceAccountInfo.Codec.View>;
+export declare class PreimageItem extends WithDebug {
+    readonly hash: PreimageHash;
+    readonly blob: BytesBlob;
+    static Codec: Descriptor<PreimageItem, import("@typeberry/codec").ViewOf<PreimageItem, {
+        hash: Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"PreimageHash">, import("@typeberry/bytes").Bytes<32>>;
+        blob: Descriptor<BytesBlob, BytesBlob>;
+    }>>;
+    static create({ hash, blob }: CodecRecord<PreimageItem>): PreimageItem;
+    private constructor();
+}
+export type StorageKey = Opaque<BytesBlob, "storage key">;
+export declare class StorageItem extends WithDebug {
+    readonly key: StorageKey;
+    readonly value: BytesBlob;
+    static Codec: Descriptor<StorageItem, import("@typeberry/codec").ViewOf<StorageItem, {
+        key: Descriptor<BytesBlob & import("@typeberry/utils").WithOpaque<"storage key">, BytesBlob>;
+        value: Descriptor<BytesBlob, BytesBlob>;
+    }>>;
+    static create({ key, value }: CodecRecord<StorageItem>): StorageItem;
+    private constructor();
+}
+declare const MAX_LOOKUP_HISTORY_SLOTS = 3;
+export type LookupHistorySlots = KnownSizeArray<TimeSlot, `0-${typeof MAX_LOOKUP_HISTORY_SLOTS} timeslots`>;
+export declare function tryAsLookupHistorySlots(items: readonly TimeSlot[]): LookupHistorySlots;
+/** https://graypaper.fluffylabs.dev/#/5f542d7/115400115800 */
+export declare class LookupHistoryItem {
+    readonly hash: PreimageHash;
+    readonly length: U32;
+    /**
+     * 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 */
+    readonly slots: LookupHistorySlots;
+    constructor(hash: PreimageHash, length: U32, 
+    /**
+     * 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: LookupHistorySlots);
+    static isRequested(item: LookupHistoryItem | LookupHistorySlots): boolean;
+}
+export {};
+//# sourceMappingURL=service.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/state/service.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,QAAQ,EAId,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,KAAK,WAAW,EAAS,KAAK,WAAW,EAAE,UAAU,EAAiB,MAAM,kBAAkB,CAAC;AACxG,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAE1E,OAAO,EAAY,KAAK,GAAG,EAAE,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAgB,KAAK,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAExE;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,OAAO,CAAC;AACzC;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,MAAM,CAAC;AACzC;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,KAAK,CAAC;AAOxC,8CAA8C;AAC9C,eAAO,MAAM,sBAAsB,GAAI,CAAC,EAAE,cAAc,CAAC,qBAOtD,CAAC;AAEJ,4DAA4D;AAC5D,eAAO,MAAM,gBAAgB,GAAI,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,KAAG,UAAU,CAAC,CAAC,CAsBlE,CAAC;AAEJ;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,SAAS;IAiD7C,uCAAuC;aACvB,QAAQ,EAAE,QAAQ;IAClC,sCAAsC;aACtB,OAAO,EAAE,GAAG;IAC5B,oEAAoE;aACpD,gBAAgB,EAAE,UAAU;IAC5C,qEAAqE;aACrD,gBAAgB,EAAE,UAAU;IAC5C,gDAAgD;aAChC,uBAAuB,EAAE,GAAG;IAC5C,uFAAuF;aACvE,aAAa,EAAE,GAAG;IAClC,yCAAyC;aACzB,uBAAuB,EAAE,GAAG;IAC5C,yCAAyC;aACzB,OAAO,EAAE,QAAQ;IACjC,iDAAiD;aACjC,gBAAgB,EAAE,QAAQ;IAC1C,gCAAgC;aAChB,aAAa,EAAE,SAAS;IAnE1C,MAAM,CAAC,KAAK;;;;;;;;;;;QAWT;IAEH,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,kBAAkB,CAAC;IAehD;;;OAGG;IACH,MAAM,CAAC,yBAAyB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,GAAG,GAAG;IAejF,OAAO;CAwBR;AAED,MAAM,MAAM,sBAAsB,GAAG,WAAW,CAAC,OAAO,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAEvF,qBAAa,YAAa,SAAQ,SAAS;IAWvC,QAAQ,CAAC,IAAI,EAAE,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS;IAX1B,MAAM,CAAC,KAAK;;;QAGT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,WAAW,CAAC,YAAY,CAAC;IAIvD,OAAO;CAMR;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAE1D,qBAAa,WAAY,SAAQ,SAAS;IActC,QAAQ,CAAC,GAAG,EAAE,UAAU;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS;IAd3B,MAAM,CAAC,KAAK;;;QAMT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,WAAW,CAAC,WAAW,CAAC;IAItD,OAAO;CAMR;AAED,QAAA,MAAM,wBAAwB,IAAI,CAAC;AACnC,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC,QAAQ,EAAE,KAAK,OAAO,wBAAwB,YAAY,CAAC,CAAC;AAC5G,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,kBAAkB,CAMtF;AAED,8DAA8D;AAC9D,qBAAa,iBAAiB;aAEV,IAAI,EAAE,YAAY;aAClB,MAAM,EAAE,GAAG;IAC3B;;;iEAG6D;aAC7C,KAAK,EAAE,kBAAkB;gBANzB,IAAI,EAAE,YAAY,EAClB,MAAM,EAAE,GAAG;IAC3B;;;iEAG6D;IAC7C,KAAK,EAAE,kBAAkB;IAG3C,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,OAAO;CAM1E"}