Struct prio::pcp::Verifier

pub struct Verifier<F> { /* fields omitted */ }

The output of query, the verifier message generated for a proof.

Implementations

impl<F: FieldElement> Verifier<F>

pub fn as_slice(&self) -> &[F]

Returns a reference to the underlying data. The first element of the output is the output of the validity circuit. The remainder is a sequence of chunks, where the idx-th chunk corresponds to the idx-th gadget for the validity circuit. The last element of a chunk is the gadget polynomial evaluated on a random input r; the rest are the intermediate proof polynomials evaluated at r.

Trait Implementations

impl<F: Clone> Clone for Verifier<F>

fn clone(&self) -> Verifier<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Verifier<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for Verifier<F> where
    F: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<F: FieldElement> From<Vec<F, Global>> for Verifier<F>

fn from(data: Vec<F>) -> Self

Performs the conversion.

impl<F> Serialize for Verifier<F> where
    F: Serialize, 

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<F: FieldElement> TryFrom<&'_ [Verifier<F>]> for Verifier<F>

fn try_from(verifier_shares: &[Verifier<F>]) -> Result<Verifier<F>, PcpError>

Returns the verifier corresponding to a sequence of verifier shares.

type Error = PcpError

The type returned in the event of a conversion error.