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

    Class StateTransition

    Index

    Constructors

    Properties

    block: ViewOf

    post_state

    post_state: TestState
    pre_state: TestState
    Codec: Descriptor<
        {
            block: ViewOf<
                Block,
                {
                    extrinsic: Descriptor<
                        Extrinsic,
                        ViewOf<
                            Extrinsic,
                            {
                                assurances: Descriptor<
                                    readonly AvailabilityAssurance[] & WithOpaque<
                                        "[0 .. ValidatorsCount)",
                                    >,
                                    SequenceView<
                                        AvailabilityAssurance,
                                        ViewOf<
                                            AvailabilityAssurance,
                                            {
                                                anchor: ...;
                                                bitfield: ...;
                                                signature: ...;
                                                validatorIndex: ...;
                                            },
                                        >,
                                    >,
                                >;
                                disputes: Descriptor<
                                    DisputesExtrinsic,
                                    ViewOf<
                                        DisputesExtrinsic,
                                        {
                                            culprits: Descriptor<(...), (...)>;
                                            faults: Descriptor<(...), (...)>;
                                            verdicts: Descriptor<(...), (...)>;
                                        },
                                    >,
                                >;
                                guarantees: Descriptor<
                                    readonly ReportGuarantee[] & WithOpaque<"[0..CoresCount)">,
                                    SequenceView<
                                        ReportGuarantee,
                                        ViewOf<
                                            ReportGuarantee,
                                            { credentials: ...; report: ...; slot: ... },
                                        >,
                                    >,
                                >;
                                preimages: Descriptor<
                                    Preimage[],
                                    SequenceView<
                                        Preimage,
                                        ViewOf<Preimage, { blob: ...; requester: ... }>,
                                    >,
                                >;
                                tickets: Descriptor<
                                    readonly SignedTicket[] & WithOpaque<
                                        "Size: [0..chainSpec.maxTicketsPerExtrinsic)",
                                    >,
                                    SequenceView<
                                        SignedTicket,
                                        ViewOf<SignedTicket, { attempt: ...; signature: ... }>,
                                    >,
                                >;
                            },
                        >,
                    >;
                    header: Descriptor<
                        Header & CodecRecord<Header>,
                        ViewOf<
                            Header & CodecRecord<Header>,
                            {
                                bandersnatchBlockAuthorIndex: Descriptor<
                                    number & WithBytesRepresentation<2> & WithOpaque<
                                        "ValidatorIndex[u16]",
                                    >,
                                    Bytes<2>,
                                >;
                                entropySource: Descriptor<
                                    Bytes<96> & WithOpaque<"BandersnatchVrfSignature">,
                                    Bytes<96>,
                                >;
                                epochMarker: Descriptor<
                                    EpochMarker
                                    | null,

                                        | ViewOf<
                                            EpochMarker,
                                            { entropy: ...; ticketsEntropy: ...; validators: ... },
                                        >
                                        | null,
                                >;
                                extrinsicHash: Descriptor<
                                    Bytes<32> & WithOpaque<"ExtrinsicHash">,
                                    Bytes<32>,
                                >;
                                offendersMarker: Descriptor<
                                    (Bytes<(...)> & WithOpaque<(...)>)[],
                                    SequenceView<Bytes<(...)> & WithOpaque<(...)>, Bytes<32>>,
                                >;
                                parentHeaderHash: Descriptor<
                                    Bytes<32> & WithOpaque<"HeaderHash">,
                                    Bytes<32>,
                                >;
                                priorStateRoot: Descriptor<
                                    Bytes<32> & WithOpaque<"StateRootHash">,
                                    Bytes<32>,
                                >;
                                seal: Descriptor<
                                    Bytes<96> & WithOpaque<"BandersnatchVrfSignature">,
                                    Bytes<96>,
                                >;
                                ticketsMarker: Descriptor<
                                    TicketsMarker
                                    | null,
                                    ViewOf<TicketsMarker, { tickets: ... }> | null,
                                >;
                                timeSlotIndex: Descriptor<
                                    number & WithBytesRepresentation<4> & WithOpaque<"TimeSlot[u32]">,
                                    Bytes<4>,
                                >;
                            },
                        >,
                    >;
                },
            >;
            post_state: {
                keyvals: { key: Bytes<31>; value: BytesBlob }[];
                state_root: Bytes<32> & WithOpaque<"StateRootHash">;
            };
            pre_state: {
                keyvals: { key: Bytes<31>; value: BytesBlob }[];
                state_root: Bytes<32> & WithOpaque<"StateRootHash">;
            };
        },
        ViewOf<
            {
                block: ViewOf<
                    Block,
                    {
                        extrinsic: Descriptor<
                            Extrinsic,
                            ViewOf<
                                Extrinsic,
                                {
                                    assurances: Descriptor<
                                        readonly (...)[] & WithOpaque<(...)>,
                                        SequenceView<AvailabilityAssurance, ViewOf<(...), (...)>>,
                                    >;
                                    disputes: Descriptor<
                                        DisputesExtrinsic,
                                        ViewOf<
                                            DisputesExtrinsic,
                                            { culprits: ...; faults: ...; verdicts: ... },
                                        >,
                                    >;
                                    guarantees: Descriptor<
                                        readonly (...)[] & WithOpaque<(...)>,
                                        SequenceView<ReportGuarantee, ViewOf<(...), (...)>>,
                                    >;
                                    preimages: Descriptor<
                                        Preimage[],
                                        SequenceView<Preimage, ViewOf<(...), (...)>>,
                                    >;
                                    tickets: Descriptor<
                                        readonly (...)[] & WithOpaque<(...)>,
                                        SequenceView<SignedTicket, ViewOf<(...), (...)>>,
                                    >;
                                },
                            >,
                        >;
                        header: Descriptor<
                            Header & CodecRecord<Header>,
                            ViewOf<
                                Header & CodecRecord<Header>,
                                {
                                    bandersnatchBlockAuthorIndex: Descriptor<
                                        number & WithBytesRepresentation<(...)> & WithOpaque<(...)>,
                                        Bytes<2>,
                                    >;
                                    entropySource: Descriptor<
                                        Bytes<(...)> & WithOpaque<(...)>,
                                        Bytes<96>,
                                    >;
                                    epochMarker: Descriptor<
                                        EpochMarker
                                        | null,
                                        ViewOf<(...), (...)> | null,
                                    >;
                                    extrinsicHash: Descriptor<
                                        Bytes<(...)> & WithOpaque<(...)>,
                                        Bytes<32>,
                                    >;
                                    offendersMarker: Descriptor<
                                        ((...) & (...))[],
                                        SequenceView<(...) & (...), Bytes<(...)>>,
                                    >;
                                    parentHeaderHash: Descriptor<
                                        Bytes<(...)> & WithOpaque<(...)>,
                                        Bytes<32>,
                                    >;
                                    priorStateRoot: Descriptor<
                                        Bytes<(...)> & WithOpaque<(...)>,
                                        Bytes<32>,
                                    >;
                                    seal: Descriptor<Bytes<(...)> & WithOpaque<(...)>, Bytes<96>>;
                                    ticketsMarker: Descriptor<
                                        TicketsMarker
                                        | null,
                                        ViewOf<(...), (...)> | null,
                                    >;
                                    timeSlotIndex: Descriptor<
                                        number & WithBytesRepresentation<(...)> & WithOpaque<(...)>,
                                        Bytes<4>,
                                    >;
                                },
                            >,
                        >;
                    },
                >;
                post_state: {
                    keyvals: { key: Bytes<31>; value: BytesBlob }[];
                    state_root: Bytes<32> & WithOpaque<"StateRootHash">;
                };
                pre_state: {
                    keyvals: { key: Bytes<31>; value: BytesBlob }[];
                    state_root: Bytes<32> & WithOpaque<"StateRootHash">;
                };
            },
            SimpleDescriptorRecord<
                {
                    block: ViewOf<
                        Block,
                        {
                            extrinsic: Descriptor<
                                Extrinsic,
                                ViewOf<
                                    Extrinsic,
                                    {
                                        assurances: Descriptor<
                                            (...) & (...),
                                            SequenceView<(...), (...)>,
                                        >;
                                        disputes: Descriptor<DisputesExtrinsic, ViewOf<(...), (...)>>;
                                        guarantees: Descriptor<(...) & (...), SequenceView<(...), (...)>>;
                                        preimages: Descriptor<(...)[], SequenceView<(...), (...)>>;
                                        tickets: Descriptor<(...) & (...), SequenceView<(...), (...)>>;
                                    },
                                >,
                            >;
                            header: Descriptor<
                                Header & CodecRecord<Header>,
                                ViewOf<
                                    Header & CodecRecord<Header>,
                                    {
                                        bandersnatchBlockAuthorIndex: Descriptor<
                                            (...) & (...) & (...),
                                            Bytes<(...)>,
                                        >;
                                        entropySource: Descriptor<(...) & (...), Bytes<(...)>>;
                                        epochMarker: Descriptor<(...) | (...), (...) | (...)>;
                                        extrinsicHash: Descriptor<(...) & (...), Bytes<(...)>>;
                                        offendersMarker: Descriptor<(...)[], SequenceView<(...), (...)>>;
                                        parentHeaderHash: Descriptor<(...) & (...), Bytes<(...)>>;
                                        priorStateRoot: Descriptor<(...) & (...), Bytes<(...)>>;
                                        seal: Descriptor<(...) & (...), Bytes<(...)>>;
                                        ticketsMarker: Descriptor<(...) | (...), (...) | (...)>;
                                        timeSlotIndex: Descriptor<(...) & (...) & (...), Bytes<(...)>>;
                                    },
                                >,
                            >;
                        },
                    >;
                    post_state: {
                        keyvals: { key: Bytes<31>; value: BytesBlob }[];
                        state_root: Bytes<32> & WithOpaque<"StateRootHash">;
                    };
                    pre_state: {
                        keyvals: { key: Bytes<31>; value: BytesBlob }[];
                        state_root: Bytes<32> & WithOpaque<"StateRootHash">;
                    };
                },
            >,
        >,
    > = ...