Typeberry by Fluffy Labs - v0.5.0
    Preparing search index...

    A report of execution of some work package.

    https://graypaper.fluffylabs.dev/#/ab2cdbd/13bb0113c301?v=0.7.2

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    authorizationGasUsed: bigint & WithBytesRepresentation<8> & WithOpaque<
        "ServiceGas[u64]",
    >

    g: Gas used during authorization.

    authorizationOutput: BytesBlob

    o: Authorization output.

    authorizerHash: OpaqueHash & WithOpaque<"AuthorizerHash">

    a: Hash of the authorizer.

    context: RefineContext

    c: Refinement context.

    coreIndex: number & WithBytesRepresentation<2> & WithOpaque<"CoreIndex[u16]">

    c: Core index on which the work is done.

    r: The results of evaluation of each of the items in the work package.

    segmentRootLookup: readonly WorkPackageInfo[]

    l: Segment-root lookup In GP segment-root lookup is a dictionary but dictionary and var-len sequence are equal from codec perspective https://graypaper.fluffylabs.dev/#/579bd12/13ab0013ad00

    workPackageSpec: WorkPackageSpec

    s: Work package specification.

    Codec: Descriptor<
        WorkReport,
        ViewOf<
            WorkReport,
            {
                authorizationGasUsed: Descriptor<
                    bigint & WithBytesRepresentation<8> & WithOpaque<"ServiceGas[u64]">,
                    U64,
                >;
                authorizationOutput: Descriptor<BytesBlob, BytesBlob>;
                authorizerHash: Descriptor<
                    Bytes<32> & WithOpaque<"AuthorizerHash">,
                    Bytes<32>,
                >;
                context: Descriptor<
                    RefineContext,
                    ViewOf<
                        RefineContext,
                        {
                            anchor: Descriptor<Bytes<32> & WithOpaque<"HeaderHash">, Bytes<32>>;
                            beefyRoot: Descriptor<Bytes<32> & WithOpaque<"BeefyHash">, Bytes<32>>;
                            lookupAnchor: Descriptor<
                                Bytes<32> & WithOpaque<"HeaderHash">,
                                Bytes<32>,
                            >;
                            lookupAnchorSlot: Descriptor<
                                number & WithBytesRepresentation<4> & WithOpaque<"TimeSlot[u32]">,
                                Bytes<4>,
                            >;
                            prerequisites: Descriptor<
                                (Bytes<32> & WithOpaque<"WorkPackageHash">)[],
                                SequenceView<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>,
                            >;
                            stateRoot: Descriptor<
                                Bytes<32> & WithOpaque<"StateRootHash">,
                                Bytes<32>,
                            >;
                        },
                    >,
                >;
                coreIndex: Descriptor<
                    number & WithBytesRepresentation<2> & WithOpaque<"CoreIndex[u16]">,
                    U32,
                >;
                results: Descriptor<
                    FixedSizeArray<WorkResult, U8>,
                    SequenceView<
                        WorkResult,
                        ViewOf<
                            WorkResult,
                            {
                                codeHash: Descriptor<
                                    Bytes<32> & WithOpaque<"CodeHash">,
                                    Bytes<32>,
                                >;
                                gas: Descriptor<
                                    bigint & WithBytesRepresentation<8> & WithOpaque<
                                        "ServiceGas[u64]",
                                    >,
                                    Bytes<8>,
                                >;
                                load: Descriptor<
                                    WorkRefineLoad,
                                    ViewOf<
                                        WorkRefineLoad,
                                        {
                                            exportedSegments: Descriptor<(...), (...)>;
                                            extrinsicCount: Descriptor<(...), (...)>;
                                            extrinsicSize: Descriptor<(...), (...)>;
                                            gasUsed: Descriptor<(...), (...)>;
                                            importedSegments: Descriptor<(...), (...)>;
                                        },
                                    >,
                                >;
                                payloadHash: Descriptor<Bytes<32>, Bytes<32>>;
                                result: Descriptor<WorkExecResult, WorkExecResult>;
                                serviceId: Descriptor<
                                    number & WithBytesRepresentation<4> & WithOpaque<
                                        "ServiceId[u32]",
                                    >,
                                    Bytes<4>,
                                >;
                            },
                        >,
                    >,
                >;
                segmentRootLookup: Descriptor<
                    readonly WorkPackageInfo[],
                    SequenceView<
                        WorkPackageInfo,
                        ViewOf<
                            WorkPackageInfo,
                            {
                                segmentTreeRoot: Descriptor<
                                    Bytes<32> & WithOpaque<"ExportsRootHash">,
                                    Bytes<32>,
                                >;
                                workPackageHash: Descriptor<
                                    Bytes<32> & WithOpaque<"WorkPackageHash">,
                                    Bytes<32>,
                                >;
                            },
                        >,
                    >,
                >;
                workPackageSpec: Descriptor<
                    WorkPackageSpec,
                    ViewOf<
                        WorkPackageSpec,
                        {
                            erasureRoot: Descriptor<Bytes<32>, Bytes<32>>;
                            exportsCount: Descriptor<U16, Bytes<2>>;
                            exportsRoot: Descriptor<
                                Bytes<32> & WithOpaque<"ExportsRootHash">,
                                Bytes<32>,
                            >;
                            hash: Descriptor<Bytes<32> & WithOpaque<"WorkPackageHash">, Bytes<32>>;
                            length: Descriptor<U32, Bytes<4>>;
                        },
                    >,
                >;
            },
        >,
    > = ...

    Methods