@typeberry/lib 0.5.3 → 0.5.4-b101fe6

package/packages/jam/in-core/in-core.js

@@ -0,0 +1,294 @@
+import { tryAsCoreIndex, tryAsServiceGas, } from "#@typeberry/block";
+import { W_C } from "#@typeberry/block/gp-constants.js";
+import { WorkPackageInfo, } from "#@typeberry/block/refine-context.js";
+import { WorkPackageSpec, WorkReport } from "#@typeberry/block/work-report.js";
+import { WorkExecResult, WorkExecResultKind, WorkRefineLoad, WorkResult } from "#@typeberry/block/work-result.js";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { codec, Encoder } from "#@typeberry/codec";
+import { asKnownSize, FixedSizeArray } from "#@typeberry/collections";
+import { PvmExecutor, ReturnStatus } from "#@typeberry/executor";
+import { HASH_SIZE } from "#@typeberry/hash";
+import { Logger } from "#@typeberry/logger";
+import { tryAsU8, tryAsU16, tryAsU32 } from "#@typeberry/numbers";
+import { FetchExternalities } from "#@typeberry/transition/externalities/fetch-externalities.js";
+import { assertEmpty, assertNever, Result } from "#@typeberry/utils";
+import { RefineExternalitiesImpl } from "./externalities/refine.js";
+export var RefineError;
+(function (RefineError) {
+    /** State for context anchor block or lookup anchor is not found in the DB. */
+    RefineError[RefineError["StateMissing"] = 0] = "StateMissing";
+    /** Posterior state root of context anchor block does not match the one in the DB. */
+    RefineError[RefineError["StateRootMismatch"] = 1] = "StateRootMismatch";
+    /** Lookup anchor state-slot does not match the one given in context. */
+    RefineError[RefineError["InvalidLookupAnchorSlot"] = 2] = "InvalidLookupAnchorSlot";
+    /** Authorization error. */
+    RefineError[RefineError["AuthorizationError"] = 3] = "AuthorizationError";
+})(RefineError || (RefineError = {}));
+var ServiceCodeError;
+(function (ServiceCodeError) {
+    /** Service id is not found in the state. */
+    ServiceCodeError[ServiceCodeError["ServiceNotFound"] = 0] = "ServiceNotFound";
+    /** Expected service code does not match the state one. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeMismatch"] = 1] = "ServiceCodeMismatch";
+    /** Code preimage missing. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeMissing"] = 2] = "ServiceCodeMissing";
+    /** Code blob is too big. */
+    ServiceCodeError[ServiceCodeError["ServiceCodeTooBig"] = 3] = "ServiceCodeTooBig";
+})(ServiceCodeError || (ServiceCodeError = {}));
+var AuthorizationError;
+(function (AuthorizationError) {
+})(AuthorizationError || (AuthorizationError = {}));
+const logger = Logger.new(import.meta.filename, "refine");
+/** https://graypaper.fluffylabs.dev/#/ab2cdbd/2ffe002ffe00?v=0.7.2 */
+const ARGS_CODEC = codec.object({
+    core: codec.varU32.convert((x) => tryAsU32(x), (x) => tryAsCoreIndex(x)),
+    workItemIndex: codec.varU32,
+    serviceId: codec.varU32.asOpaque(),
+    payloadLength: codec.varU32,
+    packageHash: codec.bytes(HASH_SIZE).asOpaque(),
+});
+export class InCore {
+    chainSpec;
+    states;
+    pvmBackend;
+    blake2b;
+    constructor(chainSpec, states, pvmBackend, blake2b) {
+        this.chainSpec = chainSpec;
+        this.states = states;
+        this.pvmBackend = pvmBackend;
+        this.blake2b = blake2b;
+    }
+    /**
+     * Work-report computation function.
+     *
+     * Note this requires all of the imports and extrinsics to be already fetched
+     * and only performs the refinement.
+     *
+     * Any validation must be done externally!
+     *
+     * https://graypaper.fluffylabs.dev/#/ab2cdbd/1b7f021b7f02?v=0.7.2
+     */
+    async refine(workPackageAndHash, core, imports, extrinsics) {
+        const workPackageHash = workPackageAndHash.hash;
+        const { context, authorization, authCodeHash, authCodeHost, parametrization, items, ...rest } = workPackageAndHash.data;
+        assertEmpty(rest);
+        // TODO [ToDr] Verify BEEFY root
+        // TODO [ToDr] Verify prerequisites
+        logger.log `[core:${core}] Attempting to refine work package with ${items.length} items.`;
+        // TODO [ToDr] GP link
+        // Verify anchor block
+        const state = this.states.getState(context.anchor);
+        if (state === null) {
+            return Result.error(RefineError.StateMissing, () => `State at anchor block ${context.anchor} is missing.`);
+        }
+        const stateRoot = await this.states.getStateRoot(state);
+        if (!stateRoot.isEqualTo(context.stateRoot)) {
+            return Result.error(RefineError.StateRootMismatch, () => `State at ${context.anchor} does not match expected root hash. Ours: ${stateRoot}, expected: ${context.stateRoot}`);
+        }
+        // TODO [ToDr] GP link
+        // Verify lookup anchor state
+        const lookupState = this.states.getState(context.lookupAnchor);
+        if (lookupState === null) {
+            return Result.error(RefineError.StateMissing, () => `Lookup state at block ${context.lookupAnchor} is missing.`);
+        }
+        // TODO [ToDr] GP link
+        if (lookupState.timeslot !== context.lookupAnchorSlot) {
+            return Result.error(RefineError.InvalidLookupAnchorSlot, () => `Lookup anchor slot does not match the one is state. Ours: ${lookupState.timeslot}, expected: ${context.lookupAnchorSlot}`);
+        }
+        // Check authorization
+        const authResult = await this.authorizePackage(authorization, authCodeHost, authCodeHash, parametrization);
+        if (authResult.isError) {
+            return Result.error(RefineError.AuthorizationError, () => `Authorization error: ${AuthorizationError[authResult.error]}: ${authResult.details()}.`);
+        }
+        logger.log `[core:${core}] Authorized. Proceeding with work items verification. Anchor=${context.anchor}`;
+        // Verify the work items
+        const refineResults = [];
+        for (const [idx, item] of items.entries()) {
+            logger.info `[core:${core}][i:${idx}] Refining item for service ${item.service}.`;
+            refineResults.push(await this.refineItem(state, idx, item, imports, extrinsics, core, workPackageHash));
+        }
+        // amalgamate the work report now
+        return Result.ok(this.amalgamateWorkReport(asKnownSize(refineResults), authResult.ok, workPackageHash, context, core));
+    }
+    amalgamateWorkReport(refineResults, authResult, workPackageHash, context, coreIndex) {
+        // unzip exports and work results for each work item
+        const exports = refineResults.map((x) => x.exports);
+        const results = refineResults.map((x) => x.result);
+        const { authorizerHash, authorizationGasUsed, authorizationOutput, ...authRest } = authResult;
+        assertEmpty(authRest);
+        // TODO [ToDr] Compute erasure root
+        const erasureRoot = Bytes.zero(HASH_SIZE);
+        // TODO [ToDr] Compute exports root
+        const exportsRoot = Bytes.zero(HASH_SIZE).asOpaque();
+        const exportsCount = exports.reduce((acc, x) => acc + x.length, 0);
+        // TODO [ToDr] Segment root lookup computation?
+        const segmentRootLookup = [
+            WorkPackageInfo.create({
+                workPackageHash,
+                segmentTreeRoot: exportsRoot,
+            }),
+        ];
+        // TODO [ToDr] Auditable work bundle length?
+        const workBundleLength = tryAsU32(0);
+        return {
+            report: WorkReport.create({
+                workPackageSpec: WorkPackageSpec.create({
+                    length: workBundleLength,
+                    hash: workPackageHash,
+                    erasureRoot,
+                    exportsRoot,
+                    // safe to convert, since we have limit on number of
+                    // exports per item and a limit for number of items
+                    exportsCount: tryAsU16(exportsCount),
+                }),
+                context,
+                coreIndex,
+                authorizerHash,
+                authorizationGasUsed,
+                authorizationOutput,
+                segmentRootLookup,
+                // safe to convert, since we know that number of work items is limited
+                results: FixedSizeArray.new(results, tryAsU8(refineResults.length)),
+            }),
+            exports: asKnownSize(exports),
+        };
+    }
+    async authorizePackage(_authorization, _authCodeHost, _authCodeHash, _parametrization) {
+        // TODO [ToDr] Check authorization?
+        const authorizerHash = Bytes.zero(HASH_SIZE).asOpaque();
+        const authorizationGasUsed = tryAsServiceGas(0);
+        const authorizationOutput = BytesBlob.empty();
+        return Result.ok({
+            authorizerHash,
+            authorizationGasUsed,
+            authorizationOutput,
+        });
+    }
+    async refineItem(state, idx, item, allImports, allExtrinsics, coreIndex, workPackageHash) {
+        const payloadHash = this.blake2b.hashBytes(item.payload);
+        const baseResult = {
+            serviceId: item.service,
+            codeHash: item.codeHash,
+            payloadHash,
+            gas: item.refineGasLimit,
+        };
+        const imports = allImports[idx];
+        const extrinsics = allExtrinsics[idx];
+        const baseLoad = {
+            importedSegments: tryAsU32(imports.length),
+            extrinsicCount: tryAsU32(extrinsics.length),
+            extrinsicSize: tryAsU32(extrinsics.reduce((acc, x) => acc + x.length, 0)),
+        };
+        const maybeCode = this.getServiceCode(state, idx, item);
+        if (maybeCode.isError) {
+            const error = maybeCode.error === ServiceCodeError.ServiceCodeTooBig
+                ? WorkExecResultKind.codeOversize
+                : WorkExecResultKind.badCode;
+            return {
+                exports: [],
+                result: WorkResult.create({
+                    ...baseResult,
+                    result: WorkExecResult.error(error),
+                    load: WorkRefineLoad.create({
+                        ...baseLoad,
+                        gasUsed: tryAsServiceGas(item.refineGasLimit),
+                        exportedSegments: tryAsU32(0),
+                    }),
+                }),
+            };
+        }
+        const code = maybeCode.ok;
+        const externalities = this.createRefineExternalities({
+            payload: item.payload,
+            imports: allImports,
+            extrinsics: allExtrinsics,
+        });
+        const executor = await PvmExecutor.createRefineExecutor(item.service, code, externalities, this.pvmBackend);
+        const args = Encoder.encodeObject(ARGS_CODEC, {
+            serviceId: item.service,
+            core: coreIndex,
+            workItemIndex: tryAsU32(idx),
+            payloadLength: tryAsU32(item.payload.length),
+            packageHash: workPackageHash,
+        });
+        const execResult = await executor.run(args, item.refineGasLimit);
+        // TODO [ToDr] get exports from externalities
+        const exports = [];
+        if (exports.length !== item.exportCount) {
+            return {
+                exports,
+                result: WorkResult.create({
+                    ...baseResult,
+                    result: WorkExecResult.error(WorkExecResultKind.incorrectNumberOfExports),
+                    load: WorkRefineLoad.create({
+                        ...baseLoad,
+                        gasUsed: tryAsServiceGas(item.refineGasLimit),
+                        exportedSegments: tryAsU32(0),
+                    }),
+                }),
+            };
+        }
+        const result = this.extractWorkResult(execResult);
+        return {
+            exports,
+            result: WorkResult.create({
+                ...baseResult,
+                result,
+                load: WorkRefineLoad.create({
+                    ...baseLoad,
+                    gasUsed: tryAsServiceGas(execResult.consumedGas),
+                    exportedSegments: tryAsU32(exports.length),
+                }),
+            }),
+        };
+    }
+    extractWorkResult(execResult) {
+        if (execResult.status === ReturnStatus.OK) {
+            const slice = execResult.memorySlice;
+            // TODO [ToDr] Verify the output size and change digestTooBig?
+            return WorkExecResult.ok(BytesBlob.blobFrom(slice));
+        }
+        switch (execResult.status) {
+            case ReturnStatus.OOG:
+                return WorkExecResult.error(WorkExecResultKind.outOfGas);
+            case ReturnStatus.PANIC:
+                return WorkExecResult.error(WorkExecResultKind.panic);
+            default:
+                assertNever(execResult);
+        }
+    }
+    getServiceCode(state, idx, item) {
+        const serviceId = item.service;
+        const service = state.getService(serviceId);
+        // TODO [ToDr] GP link
+        // missing service
+        if (service === null) {
+            return Result.error(ServiceCodeError.ServiceNotFound, () => `[i:${idx}] Service ${serviceId} is missing in state.`);
+        }
+        // TODO [ToDr] GP link
+        // TODO [ToDr] shall we rather use the old codehash instead
+        if (!service.getInfo().codeHash.isEqualTo(item.codeHash)) {
+            return Result.error(ServiceCodeError.ServiceCodeMismatch, () => `[i:${idx}] Service ${serviceId} has invalid code hash. Ours: ${service.getInfo().codeHash}, expected: ${item.codeHash}`);
+        }
+        const code = service.getPreimage(item.codeHash.asOpaque());
+        if (code === null) {
+            return Result.error(ServiceCodeError.ServiceCodeMissing, () => `[i:${idx}] Code ${item.codeHash} for service ${serviceId} was not found.`);
+        }
+        if (code.length > W_C) {
+            return Result.error(ServiceCodeError.ServiceCodeTooBig, () => `[i:${idx}] Code ${item.codeHash} for service ${serviceId} is too big! ${code.length} bytes vs ${W_C} bytes max.`);
+        }
+        return Result.ok(code);
+    }
+    createRefineExternalities(args) {
+        // TODO [ToDr] Pass all required fetch data
+        const fetchExternalities = FetchExternalities.createForRefine({
+            entropy: undefined,
+            ...args,
+        }, this.chainSpec);
+        const refine = RefineExternalitiesImpl.create();
+        return {
+            fetchExternalities,
+            refine,
+        };
+    }
+}

package/packages/jam/in-core/in-core.test.d.ts

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

package/packages/jam/in-core/in-core.test.d.ts.map

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

package/packages/jam/in-core/in-core.test.js

@@ -0,0 +1,81 @@
+import assert from "node:assert";
+import { before, describe, it } from "node:test";
+import { tryAsCoreIndex, tryAsServiceGas, tryAsServiceId, tryAsTimeSlot } from "#@typeberry/block";
+import { RefineContext } from "#@typeberry/block/refine-context.js";
+import { WorkItem } from "#@typeberry/block/work-item.js";
+import { tryAsWorkItemsCount, WorkPackage } from "#@typeberry/block/work-package.js";
+import { Bytes, BytesBlob } from "#@typeberry/bytes";
+import { Encoder } from "#@typeberry/codec";
+import { asKnownSize, FixedSizeArray } from "#@typeberry/collections";
+import { PvmBackend, tinyChainSpec } from "#@typeberry/config";
+import { InMemoryStates } from "#@typeberry/database";
+import { Blake2b, HASH_SIZE, WithHash } from "#@typeberry/hash";
+import { tryAsU16 } from "#@typeberry/numbers";
+import { testState } from "#@typeberry/state/test.utils.js";
+import { InCore, RefineError } from "./in-core.js";
+let blake2b;
+before(async () => {
+    blake2b = await Blake2b.createHasher();
+});
+function createWorkItem(serviceId = 1) {
+    return WorkItem.create({
+        service: tryAsServiceId(serviceId),
+        codeHash: Bytes.zero(HASH_SIZE).asOpaque(),
+        payload: BytesBlob.empty(),
+        refineGasLimit: tryAsServiceGas(1_000_000),
+        accumulateGasLimit: tryAsServiceGas(1_000_000),
+        importSegments: asKnownSize([]),
+        extrinsic: [],
+        exportCount: tryAsU16(0),
+    });
+}
+function createWorkPackage(anchorHash, stateRoot, lookupAnchorSlot = 0) {
+    return WorkPackage.create({
+        authorization: BytesBlob.empty(),
+        authCodeHost: tryAsServiceId(1),
+        authCodeHash: Bytes.zero(HASH_SIZE).asOpaque(),
+        parametrization: BytesBlob.empty(),
+        context: RefineContext.create({
+            anchor: anchorHash,
+            stateRoot,
+            beefyRoot: Bytes.zero(HASH_SIZE).asOpaque(),
+            lookupAnchor: anchorHash,
+            lookupAnchorSlot: tryAsTimeSlot(lookupAnchorSlot),
+            prerequisites: [],
+        }),
+        items: FixedSizeArray.new([createWorkItem()], tryAsWorkItemsCount(1)),
+    });
+}
+function hashWorkPackage(spec, workPackage) {
+    const workPackageHash = blake2b
+        .hashBytes(Encoder.encodeObject(WorkPackage.Codec, workPackage, spec))
+        .asOpaque();
+    return new WithHash(workPackageHash, workPackage);
+}
+describe("InCore", () => {
+    it("should return StateMissing error when anchor block state is not in DB", async () => {
+        const spec = tinyChainSpec;
+        const states = new InMemoryStates(spec);
+        const inCore = new InCore(spec, states, PvmBackend.BuiltIn, blake2b);
+        const anchorHash = Bytes.fill(HASH_SIZE, 1).asOpaque();
+        const stateRoot = Bytes.zero(HASH_SIZE).asOpaque();
+        const workPackage = createWorkPackage(anchorHash, stateRoot);
+        const result = await inCore.refine(hashWorkPackage(spec, workPackage), tryAsCoreIndex(0), asKnownSize([[]]), asKnownSize([[]]));
+        assert.strictEqual(result.isError, true);
+        assert.strictEqual(result.error, RefineError.StateMissing);
+    });
+    it("should refine work package and produce a report when state is set up", async () => {
+        const spec = tinyChainSpec;
+        const states = new InMemoryStates(spec);
+        const inCore = new InCore(spec, states, PvmBackend.BuiltIn, blake2b);
+        const anchorHash = Bytes.fill(HASH_SIZE, 1).asOpaque();
+        const state = testState();
+        await states.insertInitialState(anchorHash, state);
+        const correctStateRoot = await states.getStateRoot(state);
+        const workPackage = createWorkPackage(anchorHash, correctStateRoot, state.timeslot);
+        const result = await inCore.refine(hashWorkPackage(spec, workPackage), tryAsCoreIndex(0), asKnownSize([[]]), asKnownSize([[]]));
+        assert.strictEqual(result.isOk, true);
+        assert.strictEqual(result.ok.report.coreIndex, 0);
+        assert.strictEqual(result.ok.report.results.length, 1);
+    });
+});

package/packages/jam/in-core/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./in-core.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/jam/in-core/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../packages/jam/in-core/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC"}

package/packages/jam/in-core/index.js

@@ -0,0 +1 @@
+export * from "./in-core.js";

package/packages/jam/jam-host-calls/accumulate/bless.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bless.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/accumulate/bless.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,SAAS,EAAmC,MAAM,kBAAkB,CAAC;AAEpG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAU3E,OAAO,EAAE,KAAK,YAAY,EAAyB,MAAM,mCAAmC,CAAC;AAkB7F;;;;GAIG;AACH,qBAAa,KAAM,YAAW,eAAe;aAQzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAT5B,KAAK,iIAA0B;IAC/B,YAAY,4HAAqB;IACjC,eAAe,uEAE8B;gBAG3B,gBAAgB,EAAE,SAAS,EAC1B,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,SAAS;IAGjC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;CAoFrH"}
+{"version":3,"file":"bless.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/accumulate/bless.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,SAAS,EAAmB,MAAM,kBAAkB,CAAC;AAEpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAG3E,OAAO,EAAE,KAAK,YAAY,EAAyB,MAAM,mCAAmC,CAAC;AAkB7F;;;;GAIG;AACH,qBAAa,KAAM,YAAW,eAAe;aAMzB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS;IAP5B,KAAK,iIAA0B;IAC/B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;gBAG7C,gBAAgB,EAAE,SAAS,EAC1B,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,SAAS;IAGjC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;CAkFrH"}

package/packages/jam/jam-host-calls/accumulate/bless.js

@@ -1,10 +1,10 @@
-import { tryAsServiceGas, tryAsServiceId } from "#@typeberry/block";
+import { tryAsServiceGas } from "#@typeberry/block";
 import { codec, Decoder, tryAsExactBytes } from "#@typeberry/codec";
 import { tryAsU64 } from "#@typeberry/numbers";
 import { PvmExecution, traceRegisters, tryAsHostCallIndex } from "#@typeberry/pvm-host-calls";
 import { tryAsSmallGas } from "#@typeberry/pvm-interface";
 import { tryAsPerCore } from "#@typeberry/state";
-import { asOpaqueType, assertNever, Compatibility, GpVersion, lazyInspect, safeAllocUint8Array, } from "#@typeberry/utils";
+import { asOpaqueType, assertNever, lazyInspect, safeAllocUint8Array } from "#@typeberry/utils";
 import { UpdatePrivilegesError } from "../externalities/partial-state.js";
 import { HostCallResult } from "../general/results.js";
 import { logger } from "../logger.js";
@@ -25,9 +25,7 @@ export class Bless {
     chainSpec;
     index = tryAsHostCallIndex(14);
     basicGasCost = tryAsSmallGas(10);
-    tracedRegisters = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
-        ? traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12)
-        : traceRegisters(IN_OUT_REG, 8, 9, 10, 11);
+    tracedRegisters = traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, partialState, chainSpec) {
         this.currentServiceId = currentServiceId;
         this.partialState = partialState;
@@ -41,13 +39,11 @@ export class Bless {
         // `v`: manages validator keys
         const delegator = getServiceId(regs.get(9));
         // `r`: manages creation of new services with id within protected range
-        const registrar = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
-            ? getServiceId(regs.get(10))
-            : tryAsServiceId(2 ** 32 - 1);
+        const registrar = getServiceId(regs.get(10));
         // `o`: memory offset
-        const sourceStart = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? regs.get(11) : regs.get(10);
+        const sourceStart = regs.get(11);
         // `n`: number of items in the auto-accumulate dictionary
-        const numberOfItems = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? regs.get(12) : regs.get(11);
+        const numberOfItems = regs.get(12);
         /*
          * `z`: array of key-value pairs serviceId -> gas that auto-accumulate every block
          * https://graypaper.fluffylabs.dev/#/7e6ff6a/368100368100?v=0.6.7

package/packages/jam/jam-host-calls/accumulate/bless.test.js

@@ -3,16 +3,15 @@ import { describe, it } from "node:test";
 import { tryAsServiceGas, tryAsServiceId } from "#@typeberry/block";
 import { codec, Encoder } from "#@typeberry/codec";
 import { tinyChainSpec } from "#@typeberry/config";
-import { tryAsU64 } from "#@typeberry/numbers";
+import { MAX_VALUE_U64, tryAsU64 } from "#@typeberry/numbers";
 import { HostCallMemory, HostCallRegisters, PvmExecution } from "#@typeberry/pvm-host-calls";
 import { tryAsGas } from "#@typeberry/pvm-interface";
 import { gasCounter } from "#@typeberry/pvm-interpreter/gas.js";
 import { MemoryBuilder, tryAsMemoryIndex } from "#@typeberry/pvm-interpreter/memory/index.js";
 import { PAGE_SIZE } from "#@typeberry/pvm-interpreter/memory/memory-consts.js";
 import { tryAsSbrkIndex } from "#@typeberry/pvm-interpreter/memory/memory-index.js";
-import { MAX_VALUE, MAX_VALUE_U64 } from "#@typeberry/pvm-interpreter/ops/math-consts.js";
 import { codecPerCore, tryAsPerCore } from "#@typeberry/state";
-import { Compatibility, deepEqual, GpVersion, Result } from "#@typeberry/utils";
+import { deepEqual, Result } from "#@typeberry/utils";
 import { UpdatePrivilegesError } from "../externalities/partial-state.js";
 import { PartialStateMock } from "../externalities/partial-state-mock.js";
 import { HostCallResult } from "../general/results.js";
@@ -24,8 +23,8 @@ const MANAGER_REG = 7;
 const AUTHORIZATION_REG = 8;
 const VALIDATOR_REG = 9;
 const REGISTRAR_REG = 10;
-const DICTIONARY_START = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? 11 : 10;
-const DICTIONARY_COUNT = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? 12 : 11;
+const DICTIONARY_START = 11;
+const DICTIONARY_COUNT = 12;
 function prepareServiceGasMap() {
     const entries = [];
     entries.push([tryAsServiceId(10_000), tryAsServiceGas(15_000)]);
@@ -69,7 +68,6 @@ function prepareRegsAndMemory(entries, authorizerData, { skipDictionary = false,
     };
 }
 describe("HostCalls: Bless", () => {
-    const itPost071 = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1) ? it : it.skip;
     it("should set new privileged services and auto-accumulate services", async () => {
         const accumulate = new PartialStateMock();
         const serviceId = tryAsServiceId(10_000);
@@ -82,28 +80,15 @@ describe("HostCalls: Bless", () => {
         // then
         assert.deepStrictEqual(result, undefined);
         assert.deepStrictEqual(registers.get(RESULT_REG), HostCallResult.OK);
-        if (Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)) {
-            deepEqual(accumulate.privilegedServices, [
-                [
-                    tryAsServiceId(5),
-                    tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
-                    tryAsServiceId(20),
-                    tryAsServiceId(42),
-                    new Map(entries),
-                ],
-            ]);
-        }
-        else {
-            deepEqual(accumulate.privilegedServices, [
-                [
-                    tryAsServiceId(5),
-                    tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
-                    tryAsServiceId(20),
-                    tryAsServiceId(MAX_VALUE),
-                    new Map(entries),
-                ],
-            ]);
-        }
+        deepEqual(accumulate.privilegedServices, [
+            [
+                tryAsServiceId(5),
+                tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
+                tryAsServiceId(20),
+                tryAsServiceId(42),
+                new Map(entries),
+            ],
+        ]);
     });
     it("should return panic when dictionary is not readable", async () => {
         const accumulate = new PartialStateMock();
@@ -144,28 +129,15 @@ describe("HostCalls: Bless", () => {
         // then
         assert.deepStrictEqual(result, undefined);
         assert.deepStrictEqual(registers.get(RESULT_REG), HostCallResult.OK);
-        if (Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)) {
-            deepEqual(accumulate.privilegedServices, [
-                [
-                    tryAsServiceId(5),
-                    tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
-                    tryAsServiceId(20),
-                    tryAsServiceId(42),
-                    new Map(entries),
-                ],
-            ]);
-        }
-        else {
-            deepEqual(accumulate.privilegedServices, [
-                [
-                    tryAsServiceId(5),
-                    tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
-                    tryAsServiceId(20),
-                    tryAsServiceId(MAX_VALUE),
-                    new Map(entries),
-                ],
-            ]);
-        }
+        deepEqual(accumulate.privilegedServices, [
+            [
+                tryAsServiceId(5),
+                tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
+                tryAsServiceId(20),
+                tryAsServiceId(42),
+                new Map(entries),
+            ],
+        ]);
     });
     it("should auto-accumulate services when dictionary contains duplicates", async () => {
         const accumulate = new PartialStateMock();
@@ -180,28 +152,15 @@ describe("HostCalls: Bless", () => {
         // then
         assert.deepStrictEqual(result, undefined);
         assert.deepStrictEqual(registers.get(RESULT_REG), HostCallResult.OK);
-        if (Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)) {
-            deepEqual(accumulate.privilegedServices, [
-                [
-                    tryAsServiceId(5),
-                    tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
-                    tryAsServiceId(20),
-                    tryAsServiceId(42),
-                    new Map(entries),
-                ],
-            ]);
-        }
-        else {
-            deepEqual(accumulate.privilegedServices, [
-                [
-                    tryAsServiceId(5),
-                    tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
-                    tryAsServiceId(20),
-                    tryAsServiceId(MAX_VALUE),
-                    new Map(entries),
-                ],
-            ]);
-        }
+        deepEqual(accumulate.privilegedServices, [
+            [
+                tryAsServiceId(5),
+                tryAsPerCore([tryAsServiceId(10), tryAsServiceId(15)], tinyChainSpec),
+                tryAsServiceId(20),
+                tryAsServiceId(42),
+                new Map(entries),
+            ],
+        ]);
     });
     it("should return HUH when service is unprivileged", async () => {
         const accumulate = new PartialStateMock();
@@ -248,7 +207,7 @@ describe("HostCalls: Bless", () => {
         assert.deepStrictEqual(registers.get(RESULT_REG), HostCallResult.WHO);
         assert.deepStrictEqual(accumulate.privilegedServices, []);
     });
-    itPost071("should return WHO if given registrar is invalid", async () => {
+    it("should return WHO if given registrar is invalid", async () => {
         const accumulate = new PartialStateMock();
         accumulate.privilegedServicesResponse = Result.error(UpdatePrivilegesError.InvalidServiceId, () => "Test: invalid registrar service ID for bless");
         const serviceId = tryAsServiceId(11_000);

package/packages/jam/jam-host-calls/accumulate/new.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"new.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/accumulate/new.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAmB,MAAM,kBAAkB,CAAC;AAInE,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAE3E,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAMvF;;;;GAIG;AACH,qBAAa,GAAI,YAAW,eAAe;aAQvB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAR/B,KAAK,iIAA0B;IAC/B,YAAY,4HAAqB;IACjC,eAAe,uEAE8B;gBAG3B,gBAAgB,EAAE,SAAS,EAC1B,YAAY,EAAE,YAAY;IAGvC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;CA0DrH"}
+{"version":3,"file":"new.d.ts","sourceRoot":"","sources":["../../../../../../packages/jam/jam-host-calls/accumulate/new.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,SAAS,EAAmB,MAAM,kBAAkB,CAAC;AAInE,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACpG,OAAO,EAAE,YAAY,EAAsC,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EAAE,KAAK,WAAW,EAAiB,MAAM,0BAA0B,CAAC;AAE3E,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAMvF;;;;GAIG;AACH,qBAAa,GAAI,YAAW,eAAe;aAMvB,gBAAgB,EAAE,SAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY;IAN/B,KAAK,iIAA0B;IAC/B,YAAY,4HAAqB;IACjC,eAAe,uEAAgD;gBAG7C,gBAAgB,EAAE,SAAS,EAC1B,YAAY,EAAE,YAAY;IAGvC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,SAAS,GAAG,YAAY,CAAC;CA0DrH"}

package/packages/jam/jam-host-calls/accumulate/new.js

@@ -4,7 +4,7 @@ import { HASH_SIZE } from "#@typeberry/hash";
 import { tryAsU64 } from "#@typeberry/numbers";
 import { PvmExecution, traceRegisters, tryAsHostCallIndex } from "#@typeberry/pvm-host-calls";
 import { tryAsSmallGas } from "#@typeberry/pvm-interface";
-import { assertNever, Compatibility, GpVersion, resultToString } from "#@typeberry/utils";
+import { assertNever, resultToString } from "#@typeberry/utils";
 import { NewServiceError } from "../externalities/partial-state.js";
 import { HostCallResult } from "../general/results.js";
 import { logger } from "../logger.js";
@@ -19,9 +19,7 @@ export class New {
     partialState;
     index = tryAsHostCallIndex(18);
     basicGasCost = tryAsSmallGas(10);
-    tracedRegisters = Compatibility.isGreaterOrEqual(GpVersion.V0_7_1)
-        ? traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12)
-        : traceRegisters(IN_OUT_REG, 8, 9, 10, 11);
+    tracedRegisters = traceRegisters(IN_OUT_REG, 8, 9, 10, 11, 12);
     constructor(currentServiceId, partialState) {
         this.currentServiceId = currentServiceId;
         this.partialState = partialState;