Struct pallet_grandpa::EquivocationReportSystem
source · pub struct EquivocationReportSystem<T, R, P, L>(_);
Expand description
GRANDPA equivocation offence report system.
This type implements OffenceReportSystem
such that:
- Equivocation reports are published on-chain as unsigned extrinsic via
offchain::SendTransactionTypes
. - On-chain validity checks and processing are mostly delegated to the user provided generic
types implementing
KeyOwnerProofSystem
andReportOffence
traits. - Offence reporter for unsigned transactions is fetched via the the authorship pallet.
Trait Implementations§
source§impl<T, R, P, L> OffenceReportSystem<Option<<T as Config>::AccountId>, (EquivocationProof<<T as Config>::Hash, <<<T as Config>::Block as HeaderProvider>::HeaderT as Header>::Number>, <T as Config>::KeyOwnerProof)> for EquivocationReportSystem<T, R, P, L>where
T: Config + Config + SendTransactionTypes<Call<T>>,
R: ReportOffence<T::AccountId, P::IdentificationTuple, EquivocationOffence<P::IdentificationTuple>>,
P: KeyOwnerProofSystem<(KeyTypeId, AuthorityId), Proof = T::KeyOwnerProof>,
P::IdentificationTuple: Clone,
L: Get<u64>,
impl<T, R, P, L> OffenceReportSystem<Option<<T as Config>::AccountId>, (EquivocationProof<<T as Config>::Hash, <<<T as Config>::Block as HeaderProvider>::HeaderT as Header>::Number>, <T as Config>::KeyOwnerProof)> for EquivocationReportSystem<T, R, P, L>where T: Config + Config + SendTransactionTypes<Call<T>>, R: ReportOffence<T::AccountId, P::IdentificationTuple, EquivocationOffence<P::IdentificationTuple>>, P: KeyOwnerProofSystem<(KeyTypeId, AuthorityId), Proof = T::KeyOwnerProof>, P::IdentificationTuple: Clone, L: Get<u64>,
source§fn publish_evidence(
evidence: (EquivocationProof<T::Hash, BlockNumberFor<T>>, T::KeyOwnerProof)
) -> Result<(), ()>
fn publish_evidence( evidence: (EquivocationProof<T::Hash, BlockNumberFor<T>>, T::KeyOwnerProof) ) -> Result<(), ()>
Publish an offence evidence. Read more
source§fn check_evidence(
evidence: (EquivocationProof<T::Hash, BlockNumberFor<T>>, T::KeyOwnerProof)
) -> Result<(), TransactionValidityError>
fn check_evidence( evidence: (EquivocationProof<T::Hash, BlockNumberFor<T>>, T::KeyOwnerProof) ) -> Result<(), TransactionValidityError>
Check an offence evidence. Read more
source§fn process_evidence(
reporter: Option<T::AccountId>,
evidence: (EquivocationProof<T::Hash, BlockNumberFor<T>>, T::KeyOwnerProof)
) -> Result<(), DispatchError>
fn process_evidence( reporter: Option<T::AccountId>, evidence: (EquivocationProof<T::Hash, BlockNumberFor<T>>, T::KeyOwnerProof) ) -> Result<(), DispatchError>
Process an offence evidence. Read more
Auto Trait Implementations§
impl<T, R, P, L> RefUnwindSafe for EquivocationReportSystem<T, R, P, L>where L: RefUnwindSafe, P: RefUnwindSafe, R: RefUnwindSafe, T: RefUnwindSafe,
impl<T, R, P, L> Send for EquivocationReportSystem<T, R, P, L>where L: Send, P: Send, R: Send, T: Send,
impl<T, R, P, L> Sync for EquivocationReportSystem<T, R, P, L>where L: Sync, P: Sync, R: Sync, T: Sync,
impl<T, R, P, L> Unpin for EquivocationReportSystem<T, R, P, L>where L: Unpin, P: Unpin, R: Unpin, T: Unpin,
impl<T, R, P, L> UnwindSafe for EquivocationReportSystem<T, R, P, L>where L: UnwindSafe, P: UnwindSafe, R: UnwindSafe, T: UnwindSafe,
Blanket Implementations§
source§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T, Outer> IsWrappedBy<Outer> for Twhere
Outer: AsRef<T> + AsMut<T> + From<T>,
T: From<Outer>,
impl<T, Outer> IsWrappedBy<Outer> for Twhere Outer: AsRef<T> + AsMut<T> + From<T>, T: From<Outer>,
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
source§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere Self: UniqueSaturatedFrom<T>,
source§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere Self: UniqueSaturatedInto<T>,
Consume self to return an equivalent value of
T
. Read more§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self
is actually part of its subset T
(and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self
to the equivalent element of its superset.source§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere T: UncheckedFrom<S>,
source§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
The counterpart to
unchecked_from
.source§impl<T, S> UniqueSaturatedInto<T> for Swhere
T: Bounded,
S: TryInto<T>,
impl<T, S> UniqueSaturatedInto<T> for Swhere T: Bounded, S: TryInto<T>,
source§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
Consume self to return an equivalent value of
T
.