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

    Class DisputesExtrinsic

    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

    Hierarchy (View Summary)

    Index

    Properties

    culprits: Culprit[]

    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

    faults: Fault[]

    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

    verdicts: Verdict[]

    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

    Codec: Descriptor<
        DisputesExtrinsic,
        ViewOf<
            DisputesExtrinsic,
            {
                culprits: Descriptor<
                    Culprit[],
                    SequenceView<
                        Culprit,
                        ViewOf<
                            Culprit,
                            {
                                key: Descriptor<
                                    Bytes<32> & pvm.WithOpaque<"Ed25519Key">,
                                    Bytes<32>,
                                >;
                                signature: Descriptor<
                                    Bytes<64> & pvm.WithOpaque<"Ed25519Signature">,
                                    Bytes<64>,
                                >;
                                workReportHash: Descriptor<
                                    Bytes<32> & pvm.WithOpaque<"WorkReportHash">,
                                    Bytes<32>,
                                >;
                            },
                        >,
                    >,
                >;
                faults: Descriptor<
                    Fault[],
                    SequenceView<
                        Fault,
                        ViewOf<
                            Fault,
                            {
                                key: Descriptor<
                                    Bytes<32> & pvm.WithOpaque<"Ed25519Key">,
                                    Bytes<32>,
                                >;
                                signature: Descriptor<
                                    Bytes<64> & pvm.WithOpaque<"Ed25519Signature">,
                                    Bytes<64>,
                                >;
                                wasConsideredValid: Descriptor<boolean, boolean>;
                                workReportHash: Descriptor<
                                    Bytes<32> & pvm.WithOpaque<"WorkReportHash">,
                                    Bytes<32>,
                                >;
                            },
                        >,
                    >,
                >;
                verdicts: Descriptor<
                    Verdict[],
                    SequenceView<
                        Verdict,
                        ViewOf<
                            Verdict,
                            {
                                votes: Descriptor<
                                    readonly Judgement[] & pvm.WithOpaque<
                                        "Validators super majority",
                                    >,
                                    SequenceView<
                                        Judgement,
                                        ViewOf<
                                            Judgement,
                                            { index: ...; isWorkReportValid: ...; signature: ... },
                                        >,
                                    >,
                                >;
                                votesEpoch: Descriptor<
                                    number & WithBytesRepresentation<4> & pvm.WithOpaque<"Epoch">,
                                    Bytes<4>,
                                >;
                                workReportHash: Descriptor<
                                    Bytes<32> & pvm.WithOpaque<"WorkReportHash">,
                                    Bytes<32>,
                                >;
                            },
                        >,
                    >,
                >;
            },
        >,
    > = ...

    Methods