Struct phron_finality::data_io::proposal::UnvalidatedPhronProposal
source · pub struct UnvalidatedPhronProposal {
pub branch: Vec<BlockHash>,
pub number: BlockNumber,
}
Expand description
Represents a proposal we obtain from another node. Note that since the proposal might come from
a malicious node there is no guarantee that the block hashes in the proposal correspond to real blocks
and even if they do then they could not match the provided number. Moreover, the block number in the
proposal might be completely arbitrary and hence we perform initial validation of the block number and
the branch length before we transform it into a safer PhronProposal
type that guarantees we will not
fail on any integer over- or underflows.
We expect that honest nodes create UnvalidatedPhronProposal {branch: [h_0, h_1, …, h_n], number: num} objects
that represent an ascending sequence of blocks b_0, b_1, …, b_n satisfying the following conditions:
1) hash(b_i) = h_i for i = 0, 1, …, n,
2) parent(b_{i+1}) = b_i for i = 0, 1, …, (n-1),
3) height(b_n) = num,
4) The parent of b_0 has been finalized (prior to creating this PhronData).
Such an UnvalidatedPhronProposal object should be thought of as a proposal for block b_n to be finalized.
We refer for to DataProvider
for a precise description of honest nodes’ algorithm of creating proposals.
Fields§
§branch: Vec<BlockHash>
§number: BlockNumber
Implementations§
source§impl UnvalidatedPhronProposal
impl UnvalidatedPhronProposal
pub(crate) fn new(branch: Vec<BlockHash>, block_number: BlockNumber) -> Self
pub(crate) fn validate_bounds( &self, session_boundaries: &SessionBoundaries ) -> Result<PhronProposal, ValidationError>
Trait Implementations§
source§impl Clone for UnvalidatedPhronProposal
impl Clone for UnvalidatedPhronProposal
source§fn clone(&self) -> UnvalidatedPhronProposal
fn clone(&self) -> UnvalidatedPhronProposal
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for UnvalidatedPhronProposal
impl Debug for UnvalidatedPhronProposal
source§impl Decode for UnvalidatedPhronProposal
impl Decode for UnvalidatedPhronProposal
source§fn decode<__CodecInputEdqy: Input>(
__codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>
fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy ) -> Result<Self, Error>
§fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>
) -> Result<DecodeFinished, Error>where
I: Input,
fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>
) -> Result<DecodeFinished, Error>where
I: Input,
§fn skip<I>(input: &mut I) -> Result<(), Error>where
I: Input,
fn skip<I>(input: &mut I) -> Result<(), Error>where
I: Input,
§fn encoded_fixed_size() -> Option<usize>
fn encoded_fixed_size() -> Option<usize>
source§impl Encode for UnvalidatedPhronProposal
impl Encode for UnvalidatedPhronProposal
source§fn size_hint(&self) -> usize
fn size_hint(&self) -> usize
source§fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy
)
fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy )
§fn using_encoded<R, F>(&self, f: F) -> R
fn using_encoded<R, F>(&self, f: F) -> R
§fn encoded_size(&self) -> usize
fn encoded_size(&self) -> usize
source§impl Hash for UnvalidatedPhronProposal
impl Hash for UnvalidatedPhronProposal
source§impl PartialEq for UnvalidatedPhronProposal
impl PartialEq for UnvalidatedPhronProposal
source§fn eq(&self, other: &UnvalidatedPhronProposal) -> bool
fn eq(&self, other: &UnvalidatedPhronProposal) -> bool
self
and other
values to be equal, and is used
by ==
.impl EncodeLike for UnvalidatedPhronProposal
impl Eq for UnvalidatedPhronProposal
impl StructuralPartialEq for UnvalidatedPhronProposal
Auto Trait Implementations§
impl RefUnwindSafe for UnvalidatedPhronProposal
impl Send for UnvalidatedPhronProposal
impl Sync for UnvalidatedPhronProposal
impl Unpin for UnvalidatedPhronProposal
impl UnwindSafe for UnvalidatedPhronProposal
Blanket Implementations§
§impl<T> AnySync for T
impl<T> AnySync for T
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
§impl<T> CallHasher for T
impl<T> CallHasher for T
§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
§fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
§fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
§impl<T> DecodeAll for Twhere
T: Decode,
impl<T> DecodeAll for Twhere
T: Decode,
§fn decode_all(input: &mut &[u8]) -> Result<T, Error>
fn decode_all(input: &mut &[u8]) -> Result<T, Error>
Self
and consume all of the given input data. Read more§impl<T> DecodeLimit for Twhere
T: Decode,
impl<T> DecodeLimit for Twhere
T: Decode,
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.§impl<T> Hashable for Twhere
T: Codec,
impl<T> Hashable for Twhere
T: Codec,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<T> IsType<T> for T
impl<T> IsType<T> for T
§impl<T, Outer> IsWrappedBy<Outer> for T
impl<T, Outer> IsWrappedBy<Outer> for T
§impl<T> KeyedVec for Twhere
T: Codec,
impl<T> KeyedVec for Twhere
T: Codec,
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
T
. Read more§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
unchecked_from
.§impl<T, S> UniqueSaturatedInto<T> for S
impl<T, S> UniqueSaturatedInto<T> for S
§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
T
.