Struct Proof 

pub struct Proof<E: Curve>(pub Scalar<E>);

The proof that can convince $\V$ that $\P$ knows secret $x$

Tuple Fields

0: Scalar<E>

Implementations

impl<E: Curve> Proof<E>

pub fn verify( &self, commit: &Commit<E>, challenge: &Challenge<E>, X: &Point<E>, ) -> Result<(), InvalidProof>

Verifies that prover knows secret $x$ such as $X = x \cdot G$

Trait Implementations

impl<E: Clone + Curve> Clone for Proof<E>

fn clone(&self) -> Proof<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'de, E: Curve> Deserialize<'de> for Proof<E>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: Curve> Digestable for Proof<E>

fn unambiguously_encode<B>(&self, encoder: EncodeValue<'_, B>)

where B: Buffer,

Unambiguously encodes the value

impl<E: Curve> Serialize for Proof<E>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.