Struct pallet_babe::RandomnessFromOneEpochAgo
source · pub struct RandomnessFromOneEpochAgo<T>(_);
Expand description
Randomness usable by on-chain code that does not depend upon finality and takes action based upon on-chain commitments made during the previous epoch.
All randomness is relative to commitments to any other inputs to the computation: If Alice samples randomness near perfectly using radioactive decay, but then afterwards Eve selects an arbitrary value with which to xor Alice’s randomness, then Eve always wins whatever game they play.
All input commitments used with RandomnessFromOneEpochAgo
should come from at least
two epochs ago, although the previous epoch might work in special cases under
additional assumption.
All users learn RandomnessFromOneEpochAgo
at the end of the previous epoch, although
some block producers learn it several block earlier.
Adversaries with enough block producers could bias this randomness by choosing upon what their block producers build at either the end of the previous epoch or the beginning of the current epoch, or electing to skipping some of their own block production slots towards the end of the previous epoch.
Adversaries should not possess many block production slots towards the beginning or end of every epoch, but they possess some influence over when they possess more slots.
As an example usage, we determine parachain auctions ending times in Polkadot using
RandomnessFromOneEpochAgo
because it reduces bias from ParentBlockRandomness
and
does not require the extra finality delay of RandomnessFromTwoEpochsAgo
.
Trait Implementations§
source§impl<T: Config> Randomness<<T as Config>::Hash, <<<T as Config>::Block as HeaderProvider>::HeaderT as Header>::Number> for RandomnessFromOneEpochAgo<T>
impl<T: Config> Randomness<<T as Config>::Hash, <<<T as Config>::Block as HeaderProvider>::HeaderT as Header>::Number> for RandomnessFromOneEpochAgo<T>
source§fn random(subject: &[u8]) -> (T::Hash, BlockNumberFor<T>)
fn random(subject: &[u8]) -> (T::Hash, BlockNumberFor<T>)
source§fn random_seed() -> (Output, BlockNumber)
fn random_seed() -> (Output, BlockNumber)
Auto Trait Implementations§
impl<T> RefUnwindSafe for RandomnessFromOneEpochAgo<T>where T: RefUnwindSafe,
impl<T> Send for RandomnessFromOneEpochAgo<T>where T: Send,
impl<T> Sync for RandomnessFromOneEpochAgo<T>where T: Sync,
impl<T> Unpin for RandomnessFromOneEpochAgo<T>where T: Unpin,
impl<T> UnwindSafe for RandomnessFromOneEpochAgo<T>where 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>,
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>
self
from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
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
self.to_subset
but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
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
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
T
.