Struct PoEProof 

pub struct PoEProof {
    pub x: BigInt,
    pub u: BinaryQF,
    pub w: BinaryQF,
    pub Q: BinaryQF,
}

This is a proof of exponentiation as given in https://eprint.iacr.org/2019/1229.pdf section 3.4 The prover can efficiently convince a verifier that a large exponentiation in a group of unknown order was done correctly. statement is (x,u,w), verifier accept if w = u^x.

Fields

x: BigInt

u: BinaryQF

w: BinaryQF

Q: BinaryQF

Implementations

impl PoEProof

pub fn prove(x: &BigInt, u: &BinaryQF, w: &BinaryQF) -> PoEProof

pub fn verify(&self) -> Result<(), ErrorReason>

Trait Implementations

impl Clone for PoEProof

fn clone(&self) -> PoEProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PoEProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PoEProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for PoEProof

fn eq(&self, other: &PoEProof) -> 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 Serialize for PoEProof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for PoEProof

impl StructuralPartialEq for PoEProof