Struct ConflictingFinalize 

pub struct ConflictingFinalize<S: Scheme, D: Digest> { /* private fields */ }

ConflictingFinalize represents evidence of a Byzantine validator sending conflicting finalizes. Similar to ConflictingNotarize, but for finalizes.

Implementations

impl<S: Scheme, D: Digest> ConflictingFinalize<S, D>

pub fn new(finalize_1: Finalize<S, D>, finalize_2: Finalize<S, D>) -> Self

Creates a new conflicting finalize evidence from two conflicting finalizes.

Panics

Panics if the two finalizes do not have the same round and signer, or if they have identical proposals (which would not constitute conflicting evidence).

pub fn verify<R>( &self, rng: &mut R, scheme: &S, strategy: &impl Strategy, ) -> bool

where R: CryptoRng, S: Scheme<D>,

Verifies that both conflicting signatures are valid, proving Byzantine behavior.

Trait Implementations

impl<S: Scheme, D: Digest> Attributable for ConflictingFinalize<S, D>

fn signer(&self) -> Participant

Returns the index of the signer (validator) who produced this message.

impl<S: Clone + Scheme, D: Clone + Digest> Clone for ConflictingFinalize<S, D>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug + Scheme, D: Debug + Digest> Debug for ConflictingFinalize<S, D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S: Scheme, D: Digest> EncodeSize for ConflictingFinalize<S, D>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

fn encode_inline_size(&self) -> usize

Returns the encoded size excluding bytes passed to BufsMut::push during Write::write_bufs. Used to size the fixed working buffer for inline writes, so it must not be less than the bytes written inline. Override alongside Write::write_bufs for types where large byte fields go via push, or the working buffer will over-allocate.

impl<S: Scheme, D: Digest> Epochable for ConflictingFinalize<S, D>

fn epoch(&self) -> Epoch

Returns the epoch associated with this object.

impl<S: Scheme, D: Digest> Eq for ConflictingFinalize<S, D>

impl<S: Scheme, D: Digest> Hash for ConflictingFinalize<S, D>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<S: Scheme, D: Digest> PartialEq for ConflictingFinalize<S, D>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<S: Scheme, D: Digest> Read for ConflictingFinalize<S, D>

type Cfg = ()

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

fn read_cfg(reader: &mut impl Buf, _: &()) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<S: Scheme, D: Digest> Viewable for ConflictingFinalize<S, D>

fn view(&self) -> View

Returns the view associated with this object.

impl<S: Scheme, D: Digest> Write for ConflictingFinalize<S, D>

fn write(&self, writer: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

fn write_bufs(&self, buf: &mut impl BufsMut)

Writes to a BufsMut, allowing existing byte chunks to be appended via BufsMut::push instead of written inline. Must encode to the same format as Write::write. Defaults to Write::write.