Struct ProverSolution 

pub struct ProverSolution<N>
where
    N: Network,
{ /* private fields */ }

The prover solution for the coinbase puzzle from a prover.

Implementations

impl<N> ProverSolution<N>

where N: Network,

pub const fn new( partial_solution: PartialSolution<N>, proof: KZGProof<<N as Environment>::PairingCurve>, ) -> ProverSolution<N>

Initializes a new instance of the prover solution.

pub fn verify( &self, verifying_key: &VerifierKey<<N as Environment>::PairingCurve>, epoch_challenge: &EpochChallenge<N>, proof_target: u64, ) -> Result<bool, Error>

Returns true if the prover solution is valid.

pub const fn address(&self) -> Address<N>

Returns the address of the prover.

pub const fn nonce(&self) -> u64

Returns the nonce for the solution.

pub const fn commitment(&self) -> PuzzleCommitment<N>

Returns the commitment for the solution.

pub const fn proof(&self) -> &KZGProof<<N as Environment>::PairingCurve>

Returns the proof for the solution.

pub fn to_prover_polynomial( &self, epoch_challenge: &EpochChallenge<N>, ) -> Result<DensePolynomial<<<N as Environment>::PairingCurve as PairingEngine>::Fr>, Error>

Returns the prover polynomial.

pub fn to_target(&self) -> Result<u64, Error>

Returns the target of the solution.

Trait Implementations

impl<N> Clone for ProverSolution<N>

where N: Clone + Network,

fn clone(&self) -> ProverSolution<N>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<N> Debug for ProverSolution<N>

where N: Network,

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

Prints the prover solution as a JSON-string.

impl<'de, N> Deserialize<'de> for ProverSolution<N>

where N: Network,

fn deserialize<D>( deserializer: D, ) -> Result<ProverSolution<N>, <D as Deserializer<'de>>::Error>

where D: Deserializer<'de>,

Deserializes the prover solution from a JSON-string or buffer.

impl<N> Display for ProverSolution<N>

where N: Network,

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

Displays the prover solution as a JSON-string.

impl<N> From<ProverSolution<N>> for Transmission<N>

where N: Network,

fn from(solution: ProverSolution<N>) -> Transmission<N>

Converts the prover solution into a transmission.

impl<N> FromBytes for ProverSolution<N>

where N: Network,

fn read_le<R>(reader: R) -> Result<ProverSolution<N>, Error>

where R: Read,

Reads the prover solution from the buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>

where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N> FromStr for ProverSolution<N>

where N: Network,

fn from_str( partial_prover_solution: &str, ) -> Result<ProverSolution<N>, <ProverSolution<N> as FromStr>::Err>

Initializes the prover solution from a JSON-string.

type Err = Error

The associated error which can be returned from parsing.

impl<N> Hash for ProverSolution<N>

where N: Hash + Network,

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

where __H: Hasher,

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<N> PartialEq for ProverSolution<N>

where N: PartialEq + Network,

fn eq(&self, other: &ProverSolution<N>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<N> Serialize for ProverSolution<N>

where N: Network,

fn serialize<S>( &self, serializer: S, ) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>

where S: Serializer,

Serializes the prover solution to a JSON-string or buffer.

impl<N> ToBytes for ProverSolution<N>

where N: Network,

fn write_le<W>(&self, writer: W) -> Result<(), Error>

where W: Write,

Writes the prover solution to the buffer.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>

where Self: Sized,

Returns self as a byte array in little-endian order.

impl<N> Copy for ProverSolution<N>

where N: Copy + Network,

impl<N> Eq for ProverSolution<N>

where N: Eq + Network,

impl<N> StructuralPartialEq for ProverSolution<N>

where N: Network,