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

    X: Refinement Context - state of the chain at the point that the report's corresponding work-package was evaluated.

    https://graypaper.fluffylabs.dev/#/579bd12/13b80013bb00

    Hierarchy (View Summary)

    Index

    Properties

    anchor: OpaqueHash & pvm.WithOpaque<"HeaderHash">

    a: Header hash at which the work-package was evaluated.

    beefyRoot: OpaqueHash & pvm.WithOpaque<"BeefyHash">

    b: Posterior BEEFY root.

    lookupAnchor: OpaqueHash & pvm.WithOpaque<"HeaderHash">

    l: Preimage lookup anchor.

    lookupAnchorSlot: number & WithBytesRepresentation<4> & pvm.WithOpaque<
        "TimeSlot[u32]",
    >

    t: Lookup anchor time slot.

    prerequisites: (OpaqueHash & pvm.WithOpaque<"WorkPackageHash">)[] = []

    p: List of hashes of the prerequisite work-packages.

    stateRoot: OpaqueHash & pvm.WithOpaque<"StateRootHash">

    s: Posterior state root of the anchor.

    Codec: Descriptor<
        RefineContext,
        ViewOf<
            RefineContext,
            {
                anchor: Descriptor<
                    Bytes<32> & pvm.WithOpaque<"HeaderHash">,
                    Bytes<32>,
                >;
                beefyRoot: Descriptor<Bytes<32> & pvm.WithOpaque<"BeefyHash">, Bytes<32>>;
                lookupAnchor: Descriptor<
                    Bytes<32> & pvm.WithOpaque<"HeaderHash">,
                    Bytes<32>,
                >;
                lookupAnchorSlot: Descriptor<
                    number & WithBytesRepresentation<4> & pvm.WithOpaque<"TimeSlot[u32]">,
                    Bytes<4>,
                >;
                prerequisites: Descriptor<
                    (Bytes<32> & pvm.WithOpaque<"WorkPackageHash">)[],
                    SequenceView<Bytes<32> & pvm.WithOpaque<"WorkPackageHash">, Bytes<32>>,
                >;
                stateRoot: Descriptor<
                    Bytes<32> & pvm.WithOpaque<"StateRootHash">,
                    Bytes<32>,
                >;
            },
        >,
    > = ...

    Methods