@typeberry/lib 0.5.1-aff8b4f → 0.5.1-eb84786

package/packages/jam/block/codec-utils.test.js

@@ -0,0 +1,50 @@
+import assert from "node:assert";
+import { describe, it } from "node:test";
+import { Bytes } from "#@typeberry/bytes";
+import { codec, Decoder, Encoder } from "#@typeberry/codec";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { codecHashDictionary } from "./codec-utils.js";
+import { ImportSpec } from "./work-item.js";
+import { tryAsSegmentIndex } from "./work-item-segment.js";
+describe("JAM types codec / HashDictionary", () => {
+    const dictionaryCodec = codecHashDictionary(ImportSpec.Codec, (x) => x.treeRoot, { typicalLength: 10 });
+    const arrayCodec = codec.sequenceVarLen(ImportSpec.Codec);
+    const hash = (num) => Bytes.fill(HASH_SIZE, num).asOpaque();
+    it("should be compatible with a list", () => {
+        const list = [
+            ImportSpec.create({ treeRoot: hash(1), index: tryAsSegmentIndex(15) }),
+            ImportSpec.create({ treeRoot: hash(2), index: tryAsSegmentIndex(30) }),
+            ImportSpec.create({ treeRoot: hash(3), index: tryAsSegmentIndex(65_300) }),
+        ];
+        const encoded = Encoder.encodeObject(arrayCodec, list);
+        const decoded = Decoder.decodeObject(dictionaryCodec, encoded);
+        const reencoded = Encoder.encodeObject(dictionaryCodec, decoded);
+        const decodedlist = Decoder.decodeObject(arrayCodec, reencoded);
+        assert.deepStrictEqual(list, decodedlist);
+        assert.deepStrictEqual(encoded.toString(), reencoded.toString());
+        assert.deepStrictEqual(list, Array.from(decoded.values()));
+    });
+    it("should throw an error if order is incorrect", () => {
+        const list = [
+            ImportSpec.create({ treeRoot: hash(2), index: tryAsSegmentIndex(30) }),
+            ImportSpec.create({ treeRoot: hash(3), index: tryAsSegmentIndex(65_300) }),
+            ImportSpec.create({ treeRoot: hash(1), index: tryAsSegmentIndex(15) }),
+        ];
+        const encoded = Encoder.encodeObject(arrayCodec, list);
+        assert.throws(() => {
+            Decoder.decodeObject(dictionaryCodec, encoded);
+        }, new Error('The keys in dictionary encoding are not sorted "ImportSpec {treeRoot: 0x0303030303030303030303030303030303030303030303030303030303030303,index: 65300 (0xff14),}" >= "ImportSpec {treeRoot: 0x0101010101010101010101010101010101010101010101010101010101010101,index: 15 (0xf),}"!'));
+    });
+    it("should throw an error if there are duplicates", () => {
+        const list = [
+            ImportSpec.create({ treeRoot: hash(1), index: tryAsSegmentIndex(15) }),
+            ImportSpec.create({ treeRoot: hash(2), index: tryAsSegmentIndex(30) }),
+            ImportSpec.create({ treeRoot: hash(3), index: tryAsSegmentIndex(65_300) }),
+            ImportSpec.create({ treeRoot: hash(3), index: tryAsSegmentIndex(65_300) }),
+        ];
+        const encoded = Encoder.encodeObject(arrayCodec, list);
+        assert.throws(() => {
+            Decoder.decodeObject(dictionaryCodec, encoded);
+        }, new Error('Duplicate item in the dictionary encoding: "0x0303030303030303030303030303030303030303030303030303030303030303"!'));
+    });
+});

package/packages/jam/block/common.d.ts

@@ -0,0 +1,52 @@
+import type { Descriptor, SequenceView } from "#@typeberry/codec";
+import { type KnownSizeArray } from "#@typeberry/collections";
+import type { ChainSpec } from "#@typeberry/config";
+import type { Blake2bHash, OpaqueHash } from "#@typeberry/hash";
+import { type U16, type U32, type U64 } from "#@typeberry/numbers";
+import { type Opaque } from "#@typeberry/utils";
+/**
+ * Time slot index.
+ *
+ * "an index of a six-second timeslots from the JAM Common Era"
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/0b46000b4a00
+ */
+export type TimeSlot = Opaque<U32, "TimeSlot[u32]">;
+/** Attempt to convert a number into `TimeSlot`. */
+export declare const tryAsTimeSlot: (v: number) => TimeSlot;
+/** Index of the validator in current validators set. */
+export type ValidatorIndex = Opaque<U16, "ValidatorIndex[u16]">;
+/** Attempt to convert a number into `ValidatorIndex`. */
+export declare const tryAsValidatorIndex: (v: number) => ValidatorIndex;
+/** Unique service identifier. */
+export type ServiceId = Opaque<U32, "ServiceId[u32]">;
+/** Attempt to convert a number into `ServiceId`. */
+export declare const tryAsServiceId: (v: number) => ServiceId;
+/** Service gas - a measure of execution time/complexity. */
+export type ServiceGas = Opaque<U64, "ServiceGas[u64]">;
+export declare const tryAsServiceGas: (v: number | bigint) => ServiceGas;
+/** Index of the core on which the execution of the work package is done. */
+export type CoreIndex = Opaque<U16, "CoreIndex[u16]">;
+/** Attempt to convert a number into `CoreIndex`. */
+export declare const tryAsCoreIndex: (v: number) => CoreIndex;
+/** `eta`: epoch randomness */
+export type EntropyHash = Opaque<Blake2bHash, "EntropyHash">;
+/** Hash of the merkle root of the state. */
+export type StateRootHash = Opaque<OpaqueHash, "StateRootHash">;
+/**
+ * Index of an epoch.
+ *
+ * https://graypaper.fluffylabs.dev/#/579bd12/0b39000b3c00
+ */
+export type Epoch = Opaque<U32, "Epoch">;
+/** Attempt to convert a number into `Epoch`. */
+export declare const tryAsEpoch: (v: number) => Epoch;
+/** One entry of `T` per one validator. */
+export type PerValidator<T> = KnownSizeArray<T, "ValidatorsCount">;
+export declare function tryAsPerValidator<T>(array: T[], spec: ChainSpec): PerValidator<T>;
+export declare const codecPerValidator: <T, V>(val: Descriptor<T, V>) => Descriptor<PerValidator<T>, SequenceView<T, V>>;
+/** One entry of `T` per one block in epoch. */
+export type PerEpochBlock<T> = KnownSizeArray<T, "EpochLength">;
+export declare function tryAsPerEpochBlock<T>(array: T[], spec: ChainSpec): PerEpochBlock<T>;
+export declare const codecPerEpochBlock: <T, V>(val: Descriptor<T, V>) => Descriptor<PerEpochBlock<T>, SequenceView<T, V>>;
+//# sourceMappingURL=common.d.ts.map

package/packages/jam/block/common.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/common.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAgC,KAAK,GAAG,EAAE,KAAK,GAAG,EAAE,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAuB,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAGpE;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;AACpD,mDAAmD;AACnD,eAAO,MAAM,aAAa,GAAI,GAAG,MAAM,KAAG,QAAqC,CAAC;AAEhF,wDAAwD;AACxD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAC;AAChE,yDAAyD;AACzD,eAAO,MAAM,mBAAmB,GAAI,GAAG,MAAM,KAAG,cAA2C,CAAC;AAE5F,iCAAiC;AACjC,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;AACtD,oDAAoD;AACpD,eAAO,MAAM,cAAc,GAAI,GAAG,MAAM,KAAG,SAAsC,CAAC;AAElF,4DAA4D;AAC5D,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC;AACxD,eAAO,MAAM,eAAe,GAAI,GAAG,MAAM,GAAG,MAAM,KAAG,UAAuC,CAAC;AAE7F,4EAA4E;AAC5E,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;AACtD,oDAAoD;AACpD,eAAO,MAAM,cAAc,GAAI,GAAG,MAAM,KAAG,SAAsC,CAAC;AAElF,8BAA8B;AAC9B,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;AAE7D,4CAA4C;AAC5C,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;AAEhE;;;;GAIG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AACzC,gDAAgD;AAChD,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,KAAkC,CAAC;AAE1E,0CAA0C;AAC1C,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACnE,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAMjF;AACD,eAAO,MAAM,iBAAiB,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAK1G,CAAC;AAEL,+CAA+C;AAC/C,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;AAChE,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,GAAG,aAAa,CAAC,CAAC,CAAC,CAMnF;AACD,eAAO,MAAM,kBAAkB,GAAI,CAAC,EAAE,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAG5G,CAAC"}

package/packages/jam/block/common.js

@@ -0,0 +1,37 @@
+import { asKnownSize } from "#@typeberry/collections";
+import { tryAsU16, tryAsU32, tryAsU64 } from "#@typeberry/numbers";
+import { asOpaqueType, check } from "#@typeberry/utils";
+import { codecKnownSizeArray, codecWithContext } from "./codec-utils.js";
+/** Attempt to convert a number into `TimeSlot`. */
+export const tryAsTimeSlot = (v) => asOpaqueType(tryAsU32(v));
+/** Attempt to convert a number into `ValidatorIndex`. */
+export const tryAsValidatorIndex = (v) => asOpaqueType(tryAsU16(v));
+/** Attempt to convert a number into `ServiceId`. */
+export const tryAsServiceId = (v) => asOpaqueType(tryAsU32(v));
+export const tryAsServiceGas = (v) => asOpaqueType(tryAsU64(v));
+/** Attempt to convert a number into `CoreIndex`. */
+export const tryAsCoreIndex = (v) => asOpaqueType(tryAsU16(v));
+/** Attempt to convert a number into `Epoch`. */
+export const tryAsEpoch = (v) => asOpaqueType(tryAsU32(v));
+export function tryAsPerValidator(array, spec) {
+    check `
+    ${array.length === spec.validatorsCount}
+    Invalid per-validator array length. Expected ${spec.validatorsCount}, got: ${array.length}
+  `;
+    return asKnownSize(array);
+}
+export const codecPerValidator = (val) => codecWithContext((context) => {
+    return codecKnownSizeArray(val, {
+        fixedLength: context.validatorsCount,
+    });
+});
+export function tryAsPerEpochBlock(array, spec) {
+    check `
+    ${array.length === spec.epochLength}
+    Invalid per-epoch-block array length. Expected ${spec.epochLength}, got: ${array.length}
+  `;
+    return asKnownSize(array);
+}
+export const codecPerEpochBlock = (val) => codecWithContext((context) => {
+    return codecKnownSizeArray(val, { fixedLength: context.epochLength });
+});

package/packages/jam/block/disputes.d.ts

@@ -0,0 +1,155 @@
+import { type CodecRecord } from "#@typeberry/codec";
+import { type KnownSizeArray } from "#@typeberry/collections";
+import { type Ed25519Key, type Ed25519Signature } from "#@typeberry/crypto";
+import { WithDebug } from "#@typeberry/utils";
+import type { Epoch, ValidatorIndex } from "./common.js";
+import type { WorkReportHash } from "./hash.js";
+/**
+ * Proof of signing a contradictory [`Judgement`] of a work report.
+ */
+export declare class Fault extends WithDebug {
+    /** Hash of the work-report that had conflicting votes. */
+    readonly workReportHash: WorkReportHash;
+    /** Did the validator consider this work-report valid in their [`Judgement`]? */
+    readonly wasConsideredValid: boolean;
+    /** Validator key that provided the signature. */
+    readonly key: Ed25519Key;
+    /** Original signature that was part of the [`Judgement`]. */
+    readonly signature: Ed25519Signature;
+    static Codec: import("@typeberry/codec").Descriptor<Fault, import("@typeberry/codec").ViewOf<Fault, {
+        workReportHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkReportHash">, import("@typeberry/bytes").Bytes<32>>;
+        wasConsideredValid: import("@typeberry/codec").Descriptor<boolean, boolean>;
+        key: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, import("@typeberry/bytes").Bytes<32>>;
+        signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+    }>>;
+    static create({ workReportHash, wasConsideredValid, key, signature }: CodecRecord<Fault>): Fault;
+    private constructor();
+}
+/**
+ * Proof of guaranteeing a work-report found to be invalid.
+ */
+export declare class Culprit extends WithDebug {
+    /** Hash of the invalid work-report. */
+    readonly workReportHash: WorkReportHash;
+    /** Validator key that provided the signature. */
+    readonly key: Ed25519Key;
+    /** Original signature that was part of the [`Judgement`]. */
+    readonly signature: Ed25519Signature;
+    static Codec: import("@typeberry/codec").Descriptor<Culprit, import("@typeberry/codec").ViewOf<Culprit, {
+        workReportHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkReportHash">, import("@typeberry/bytes").Bytes<32>>;
+        key: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, import("@typeberry/bytes").Bytes<32>>;
+        signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+    }>>;
+    static create({ workReportHash, key, signature }: CodecRecord<Culprit>): Culprit;
+    private constructor();
+}
+/**
+ * A vote for validity or invalidity of a [`WorkReport`] signed by a particular validator.
+ */
+export declare class Judgement extends WithDebug {
+    /** Whether the work report is considered valid or not. */
+    readonly isWorkReportValid: boolean;
+    /** Index of the validator that signed this vote. */
+    readonly index: ValidatorIndex;
+    /** The signature. */
+    readonly signature: Ed25519Signature;
+    static Codec: import("@typeberry/codec").Descriptor<Judgement, import("@typeberry/codec").ViewOf<Judgement, {
+        isWorkReportValid: import("@typeberry/codec").Descriptor<boolean, boolean>;
+        index: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, import("@typeberry/bytes").Bytes<2>>;
+        signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+    }>>;
+    static create({ isWorkReportValid, index, signature }: CodecRecord<Judgement>): Judgement;
+    private constructor();
+}
+/**
+ * Votes by super majority of the validator set
+ * (either using keys from current epoch or previous)
+ * over validity or invalidity of a particular [`WorkReport`].
+ *
+ * https://graypaper.fluffylabs.dev/#/1c979cb/121c01122f01?v=0.7.1
+ */
+export declare class Verdict extends WithDebug {
+    /** Hash of the work report the verdict is for. */
+    readonly workReportHash: WorkReportHash;
+    /**
+     *  The epoch from which the validators signed the votes.
+     *
+     *  Must either be the previous epoch or one before that.
+     */
+    readonly votesEpoch: Epoch;
+    /**
+     * Votes coming from super majority of validators.
+     *
+     * NOTE: must be ordered by validator index.
+     * https://graypaper.fluffylabs.dev/#/1c979cb/12b10212b202?v=0.7.1
+     */
+    readonly votes: KnownSizeArray<Judgement, "Validators super majority">;
+    static Codec: import("@typeberry/codec").Descriptor<Verdict, import("@typeberry/codec").ViewOf<Verdict, {
+        workReportHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkReportHash">, import("@typeberry/bytes").Bytes<32>>;
+        votesEpoch: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"Epoch">, import("@typeberry/bytes").Bytes<4>>;
+        votes: import("@typeberry/codec").Descriptor<readonly Judgement[] & import("@typeberry/utils").WithOpaque<"Validators super majority">, import("@typeberry/codec").SequenceView<Judgement, import("@typeberry/codec").ViewOf<Judgement, {
+            isWorkReportValid: import("@typeberry/codec").Descriptor<boolean, boolean>;
+            index: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, import("@typeberry/bytes").Bytes<2>>;
+            signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+        }>>>;
+    }>>;
+    static create({ workReportHash, votesEpoch, votes }: CodecRecord<Verdict>): Verdict;
+    private constructor();
+}
+/**
+ * A collection of judgements (votes over the validity of a [`WorkReport`]) formes a "verdict".
+ * Together with offences (`culprits` & `faults`) - judgements and guarantees which dissent with an established
+ * "verdict", these form the "disputes" system.
+ *
+ * `E_D = (v, c, f)`
+ *
+ * https://graypaper.fluffylabs.dev/#/1c979cb/125d00125d00?v=0.7.1
+ */
+export declare class DisputesExtrinsic extends WithDebug {
+    /**
+     * `v`: a collection of verdicts over validity of some [`WorkReport`]s.
+     *
+     *  NOTE: must be ordered by report hash.
+     *  https://graypaper.fluffylabs.dev/#/1c979cb/123f02123f02?v=0.7.1
+     */
+    readonly verdicts: Verdict[];
+    /**
+     * `c`: proofs of validator misbehavior: gauranteeing an invalid [`WorkReport`].
+     *
+     * NOTE: must be ordered by the validator's Ed25519Key.
+     * https://graypaper.fluffylabs.dev/#/1c979cb/124102124102?v=0.7.1
+     */
+    readonly culprits: Culprit[];
+    /**
+     * `f`: proofs of validator misbehavior: signing a contradictory judgement of a [`WorkReport`] validity.
+     *
+     * NOTE: must be ordered by the validator's Ed25519Key.
+     * https://graypaper.fluffylabs.dev/#/1c979cb/124102124102?v=0.7.1
+     */
+    readonly faults: Fault[];
+    static Codec: import("@typeberry/codec").Descriptor<DisputesExtrinsic, import("@typeberry/codec").ViewOf<DisputesExtrinsic, {
+        verdicts: import("@typeberry/codec").Descriptor<Verdict[], import("@typeberry/codec").SequenceView<Verdict, import("@typeberry/codec").ViewOf<Verdict, {
+            workReportHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkReportHash">, import("@typeberry/bytes").Bytes<32>>;
+            votesEpoch: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<4> & import("@typeberry/utils").WithOpaque<"Epoch">, import("@typeberry/bytes").Bytes<4>>;
+            votes: import("@typeberry/codec").Descriptor<readonly Judgement[] & import("@typeberry/utils").WithOpaque<"Validators super majority">, import("@typeberry/codec").SequenceView<Judgement, import("@typeberry/codec").ViewOf<Judgement, {
+                isWorkReportValid: import("@typeberry/codec").Descriptor<boolean, boolean>;
+                index: import("@typeberry/codec").Descriptor<number & import("@typeberry/numbers").WithBytesRepresentation<2> & import("@typeberry/utils").WithOpaque<"ValidatorIndex[u16]">, import("@typeberry/bytes").Bytes<2>>;
+                signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+            }>>>;
+        }>>>;
+        culprits: import("@typeberry/codec").Descriptor<Culprit[], import("@typeberry/codec").SequenceView<Culprit, import("@typeberry/codec").ViewOf<Culprit, {
+            workReportHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkReportHash">, import("@typeberry/bytes").Bytes<32>>;
+            key: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, import("@typeberry/bytes").Bytes<32>>;
+            signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+        }>>>;
+        faults: import("@typeberry/codec").Descriptor<Fault[], import("@typeberry/codec").SequenceView<Fault, import("@typeberry/codec").ViewOf<Fault, {
+            workReportHash: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"WorkReportHash">, import("@typeberry/bytes").Bytes<32>>;
+            wasConsideredValid: import("@typeberry/codec").Descriptor<boolean, boolean>;
+            key: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<32> & import("@typeberry/utils").WithOpaque<"Ed25519Key">, import("@typeberry/bytes").Bytes<32>>;
+            signature: import("@typeberry/codec").Descriptor<import("@typeberry/bytes").Bytes<64> & import("@typeberry/utils").WithOpaque<"Ed25519Signature">, import("@typeberry/bytes").Bytes<64>>;
+        }>>>;
+    }>>;
+    static create({ verdicts, culprits, faults }: CodecRecord<DisputesExtrinsic>): DisputesExtrinsic;
+    private constructor();
+}
+//# sourceMappingURL=disputes.d.ts.map

package/packages/jam/block/disputes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disputes.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/disputes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAS,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,EAA8C,KAAK,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAEvH,OAAO,EAAc,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAEzD,OAAO,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAEhD;;GAEG;AACH,qBAAa,KAAM,SAAQ,SAAS;IAahC,0DAA0D;aAC1C,cAAc,EAAE,cAAc;IAC9C,gFAAgF;aAChE,kBAAkB,EAAE,OAAO;IAC3C,iDAAiD;aACjC,GAAG,EAAE,UAAU;IAC/B,6DAA6D;aAC7C,SAAS,EAAE,gBAAgB;IAnB7C,MAAM,CAAC,KAAK;;;;;QAKT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC;IAIxF,OAAO;CAYR;AAED;;GAEG;AACH,qBAAa,OAAQ,SAAQ,SAAS;IAYlC,uCAAuC;aACvB,cAAc,EAAE,cAAc;IAC9C,iDAAiD;aACjC,GAAG,EAAE,UAAU;IAC/B,6DAA6D;aAC7C,SAAS,EAAE,gBAAgB;IAhB7C,MAAM,CAAC,KAAK;;;;QAIT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,WAAW,CAAC,OAAO,CAAC;IAItE,OAAO;CAUR;AAED;;GAEG;AACH,qBAAa,SAAU,SAAQ,SAAS;IAYpC,0DAA0D;aAC1C,iBAAiB,EAAE,OAAO;IAC1C,oDAAoD;aACpC,KAAK,EAAE,cAAc;IACrC,qBAAqB;aACL,SAAS,EAAE,gBAAgB;IAhB7C,MAAM,CAAC,KAAK;;;;QAIT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,WAAW,CAAC,SAAS,CAAC;IAI7E,OAAO;CAUR;AAED;;;;;;GAMG;AACH,qBAAa,OAAQ,SAAQ,SAAS;IAgBlC,kDAAkD;aAClC,cAAc,EAAE,cAAc;IAC9C;;;;OAIG;aACa,UAAU,EAAE,KAAK;IACjC;;;;;OAKG;aACa,KAAK,EAAE,cAAc,CAAC,SAAS,EAAE,2BAA2B,CAAC;IA7B/E,MAAM,CAAC,KAAK;;;;;;;;QAQT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,WAAW,CAAC,OAAO,CAAC;IAIzE,OAAO;CAmBR;AAED;;;;;;;;GAQG;AACH,qBAAa,iBAAkB,SAAQ,SAAS;IAY5C;;;;;OAKG;aACa,QAAQ,EAAE,OAAO,EAAE;IACnC;;;;;OAKG;aACa,QAAQ,EAAE,OAAO,EAAE;IACnC;;;;;OAKG;aACa,MAAM,EAAE,KAAK,EAAE;IA/BjC,MAAM,CAAC,KAAK;;;;;;;;;;;;;;;;;;;;;QAIT;IAEH,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,WAAW,CAAC,iBAAiB,CAAC;IAI5E,OAAO;CAyBR"}

package/packages/jam/block/disputes.js

@@ -0,0 +1,189 @@
+import { codec } from "#@typeberry/codec";
+import { asKnownSize } from "#@typeberry/collections";
+import { ED25519_KEY_BYTES, ED25519_SIGNATURE_BYTES } from "#@typeberry/crypto";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { seeThrough, WithDebug } from "#@typeberry/utils";
+import { codecWithContext } from "./codec-utils.js";
+/**
+ * Proof of signing a contradictory [`Judgement`] of a work report.
+ */
+export class Fault extends WithDebug {
+    workReportHash;
+    wasConsideredValid;
+    key;
+    signature;
+    static Codec = codec.Class(Fault, {
+        workReportHash: codec.bytes(HASH_SIZE).asOpaque(),
+        wasConsideredValid: codec.bool,
+        key: codec.bytes(ED25519_KEY_BYTES).asOpaque(),
+        signature: codec.bytes(ED25519_SIGNATURE_BYTES).asOpaque(),
+    });
+    static create({ workReportHash, wasConsideredValid, key, signature }) {
+        return new Fault(workReportHash, wasConsideredValid, key, signature);
+    }
+    constructor(
+    /** Hash of the work-report that had conflicting votes. */
+    workReportHash, 
+    /** Did the validator consider this work-report valid in their [`Judgement`]? */
+    wasConsideredValid, 
+    /** Validator key that provided the signature. */
+    key, 
+    /** Original signature that was part of the [`Judgement`]. */
+    signature) {
+        super();
+        this.workReportHash = workReportHash;
+        this.wasConsideredValid = wasConsideredValid;
+        this.key = key;
+        this.signature = signature;
+    }
+}
+/**
+ * Proof of guaranteeing a work-report found to be invalid.
+ */
+export class Culprit extends WithDebug {
+    workReportHash;
+    key;
+    signature;
+    static Codec = codec.Class(Culprit, {
+        workReportHash: codec.bytes(HASH_SIZE).asOpaque(),
+        key: codec.bytes(ED25519_KEY_BYTES).asOpaque(),
+        signature: codec.bytes(ED25519_SIGNATURE_BYTES).asOpaque(),
+    });
+    static create({ workReportHash, key, signature }) {
+        return new Culprit(workReportHash, key, signature);
+    }
+    constructor(
+    /** Hash of the invalid work-report. */
+    workReportHash, 
+    /** Validator key that provided the signature. */
+    key, 
+    /** Original signature that was part of the [`Judgement`]. */
+    signature) {
+        super();
+        this.workReportHash = workReportHash;
+        this.key = key;
+        this.signature = signature;
+    }
+}
+/**
+ * A vote for validity or invalidity of a [`WorkReport`] signed by a particular validator.
+ */
+export class Judgement extends WithDebug {
+    isWorkReportValid;
+    index;
+    signature;
+    static Codec = codec.Class(Judgement, {
+        isWorkReportValid: codec.bool,
+        index: codec.u16.asOpaque(),
+        signature: codec.bytes(ED25519_SIGNATURE_BYTES).asOpaque(),
+    });
+    static create({ isWorkReportValid, index, signature }) {
+        return new Judgement(isWorkReportValid, index, signature);
+    }
+    constructor(
+    /** Whether the work report is considered valid or not. */
+    isWorkReportValid, 
+    /** Index of the validator that signed this vote. */
+    index, 
+    /** The signature. */
+    signature) {
+        super();
+        this.isWorkReportValid = isWorkReportValid;
+        this.index = index;
+        this.signature = signature;
+    }
+}
+/**
+ * Votes by super majority of the validator set
+ * (either using keys from current epoch or previous)
+ * over validity or invalidity of a particular [`WorkReport`].
+ *
+ * https://graypaper.fluffylabs.dev/#/1c979cb/121c01122f01?v=0.7.1
+ */
+export class Verdict extends WithDebug {
+    workReportHash;
+    votesEpoch;
+    votes;
+    static Codec = codec.Class(Verdict, {
+        workReportHash: codec.bytes(HASH_SIZE).asOpaque(),
+        votesEpoch: codec.u32.asOpaque(),
+        votes: codecWithContext((context) => {
+            return codec
+                .readonlyArray(codec.sequenceFixLen(Judgement.Codec, context.validatorsSuperMajority))
+                .convert(seeThrough, asKnownSize);
+        }),
+    });
+    static create({ workReportHash, votesEpoch, votes }) {
+        return new Verdict(workReportHash, votesEpoch, votes);
+    }
+    constructor(
+    /** Hash of the work report the verdict is for. */
+    workReportHash, 
+    /**
+     *  The epoch from which the validators signed the votes.
+     *
+     *  Must either be the previous epoch or one before that.
+     */
+    votesEpoch, 
+    /**
+     * Votes coming from super majority of validators.
+     *
+     * NOTE: must be ordered by validator index.
+     * https://graypaper.fluffylabs.dev/#/1c979cb/12b10212b202?v=0.7.1
+     */
+    votes) {
+        super();
+        this.workReportHash = workReportHash;
+        this.votesEpoch = votesEpoch;
+        this.votes = votes;
+    }
+}
+/**
+ * A collection of judgements (votes over the validity of a [`WorkReport`]) formes a "verdict".
+ * Together with offences (`culprits` & `faults`) - judgements and guarantees which dissent with an established
+ * "verdict", these form the "disputes" system.
+ *
+ * `E_D = (v, c, f)`
+ *
+ * https://graypaper.fluffylabs.dev/#/1c979cb/125d00125d00?v=0.7.1
+ */
+export class DisputesExtrinsic extends WithDebug {
+    verdicts;
+    culprits;
+    faults;
+    static Codec = codec.Class(DisputesExtrinsic, {
+        verdicts: codec.sequenceVarLen(Verdict.Codec),
+        culprits: codec.sequenceVarLen(Culprit.Codec),
+        faults: codec.sequenceVarLen(Fault.Codec),
+    });
+    static create({ verdicts, culprits, faults }) {
+        return new DisputesExtrinsic(verdicts, culprits, faults);
+    }
+    constructor(
+    /**
+     * `v`: a collection of verdicts over validity of some [`WorkReport`]s.
+     *
+     *  NOTE: must be ordered by report hash.
+     *  https://graypaper.fluffylabs.dev/#/1c979cb/123f02123f02?v=0.7.1
+     */
+    verdicts, 
+    /**
+     * `c`: proofs of validator misbehavior: gauranteeing an invalid [`WorkReport`].
+     *
+     * NOTE: must be ordered by the validator's Ed25519Key.
+     * https://graypaper.fluffylabs.dev/#/1c979cb/124102124102?v=0.7.1
+     */
+    culprits, 
+    /**
+     * `f`: proofs of validator misbehavior: signing a contradictory judgement of a [`WorkReport`] validity.
+     *
+     * NOTE: must be ordered by the validator's Ed25519Key.
+     * https://graypaper.fluffylabs.dev/#/1c979cb/124102124102?v=0.7.1
+     */
+    faults) {
+        super();
+        this.verdicts = verdicts;
+        this.culprits = culprits;
+        this.faults = faults;
+    }
+}

package/packages/jam/block/gp-constants.d.ts

@@ -0,0 +1,51 @@
+/**
+ * This file lists all of the constants defined in the GrayPaper appendix.
+ *
+ * NOTE: Avoid using the constants directly, prefer "named" constants defined
+ * in a semantical proximity to where they are used.
+ *
+ * NOTE: This file will most likely be removed in the future. The constants
+ * here are only temporarily for convenience. When we figure out better names
+ * and places for these this file will be eradicated.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/442300442300?v=0.7.2
+ */
+/** `G_I`: The gas allocated to invoke a work-package’s Is-Authorized logic. */
+export declare const G_I = 50000000;
+/** `I`: Maximum number of work items in a package. */
+export declare const I = 16;
+/** `O`: Maximum number of items in the authorizations pool. */
+export declare const O = 8;
+/** `Q`: The number of items in the authorizations queue. */
+export declare const Q = 80;
+/** `S`: The maximum number of entries in the accumulation queue. */
+export declare const S = 1024;
+/** `T`: The maximum number of extrinsics in a work-package. */
+export declare const T = 128;
+/** `W_A`: The maximum size of is-authorized code in octets. */
+export declare const W_A = 64000;
+/** `W_B`: The maximum size of the concatenated variable-size blobs, extrinsics and imported segments of a work-package, in octets */
+export declare const W_B: number;
+/** `W_C`: The maximum size of service code in octets. */
+export declare const W_C = 4000000;
+/** `W_M`: The maximum number of imports in a work-package. */
+export declare const W_M = 3072;
+/** `W_T`: The size of a transfer memo in octets. */
+export declare const W_T = 128;
+/** `W_M`: The maximum number of exports in a work-package. */
+export declare const W_X = 3072;
+/**
+ * `S`: The minimum public service index.
+ * Services of indices below these may only be created by the Registrar.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/447a00447a00?v=0.7.2
+ */
+export declare const MIN_PUBLIC_SERVICE_INDEX: number;
+/**
+ * `J`: The maximum sum of dependency items in a work-report.
+ *
+ * https://graypaper.fluffylabs.dev/#/5f542d7/416a00416a00?v=0.6.2
+ */
+export declare const MAX_REPORT_DEPENDENCIES = 8;
+export type MAX_REPORT_DEPENDENCIES = typeof MAX_REPORT_DEPENDENCIES;
+//# sourceMappingURL=gp-constants.d.ts.map

package/packages/jam/block/gp-constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gp-constants.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/block/gp-constants.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;GAWG;AAEH,+EAA+E;AAC/E,eAAO,MAAM,GAAG,WAAa,CAAC;AAE9B,sDAAsD;AACtD,eAAO,MAAM,CAAC,KAA2B,CAAC;AAE1C,+DAA+D;AAC/D,eAAO,MAAM,CAAC,IAAI,CAAC;AAEnB,4DAA4D;AAC5D,eAAO,MAAM,CAAC,KAAK,CAAC;AAEpB,oEAAoE;AACpE,eAAO,MAAM,CAAC,OAAO,CAAC;AAEtB,+DAA+D;AAC/D,eAAO,MAAM,CAAC,MAAM,CAAC;AAErB,+DAA+D;AAC/D,eAAO,MAAM,GAAG,QAAS,CAAC;AAE1B,qIAAqI;AACrI,eAAO,MAAM,GAAG,QAA6E,CAAC;AAE9F,yDAAyD;AACzD,eAAO,MAAM,GAAG,UAAY,CAAC;AAE7B,8DAA8D;AAC9D,eAAO,MAAM,GAAG,OAAQ,CAAC;AAEzB,oDAAoD;AACpD,eAAO,MAAM,GAAG,MAAM,CAAC;AAEvB,8DAA8D;AAC9D,eAAO,MAAM,GAAG,OAAQ,CAAC;AAIzB;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,QAAU,CAAC;AAEhD;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC"}

package/packages/jam/block/gp-constants.js

@@ -0,0 +1,52 @@
+import { Compatibility, GpVersion } from "#@typeberry/utils";
+import { MAX_NUMBER_OF_WORK_ITEMS } from "./work-package.js";
+/**
+ * This file lists all of the constants defined in the GrayPaper appendix.
+ *
+ * NOTE: Avoid using the constants directly, prefer "named" constants defined
+ * in a semantical proximity to where they are used.
+ *
+ * NOTE: This file will most likely be removed in the future. The constants
+ * here are only temporarily for convenience. When we figure out better names
+ * and places for these this file will be eradicated.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/442300442300?v=0.7.2
+ */
+/** `G_I`: The gas allocated to invoke a work-package’s Is-Authorized logic. */
+export const G_I = 50_000_000;
+/** `I`: Maximum number of work items in a package. */
+export const I = MAX_NUMBER_OF_WORK_ITEMS;
+/** `O`: Maximum number of items in the authorizations pool. */
+export const O = 8;
+/** `Q`: The number of items in the authorizations queue. */
+export const Q = 80;
+/** `S`: The maximum number of entries in the accumulation queue. */
+export const S = 1024;
+/** `T`: The maximum number of extrinsics in a work-package. */
+export const T = 128;
+/** `W_A`: The maximum size of is-authorized code in octets. */
+export const W_A = 64_000;
+/** `W_B`: The maximum size of the concatenated variable-size blobs, extrinsics and imported segments of a work-package, in octets */
+export const W_B = Compatibility.isGreaterOrEqual(GpVersion.V0_7_2) ? 13_791_360 : 13_794_305;
+/** `W_C`: The maximum size of service code in octets. */
+export const W_C = 4_000_000;
+/** `W_M`: The maximum number of imports in a work-package. */
+export const W_M = 3_072;
+/** `W_T`: The size of a transfer memo in octets. */
+export const W_T = 128;
+/** `W_M`: The maximum number of exports in a work-package. */
+export const W_X = 3_072;
+// TODO [ToDr] Not sure where these should live yet :(
+/**
+ * `S`: The minimum public service index.
+ * Services of indices below these may only be created by the Registrar.
+ *
+ * https://graypaper.fluffylabs.dev/#/ab2cdbd/447a00447a00?v=0.7.2
+ */
+export const MIN_PUBLIC_SERVICE_INDEX = 2 ** 16;
+/**
+ * `J`: The maximum sum of dependency items in a work-report.
+ *
+ * https://graypaper.fluffylabs.dev/#/5f542d7/416a00416a00?v=0.6.2
+ */
+export const MAX_REPORT_DEPENDENCIES = 8;