[−][src]Struct dusk_blindbidproof::Verify

[+] Show declaration

pub struct Verify {
    pub proof: R1CSProof,
    pub commitments: Vec<CompressedRistretto>,
    pub t_c: Vec<CompressedRistretto>,
    pub score: Scalar,
    pub z_img: Scalar,
    pub seed: Scalar,
    pub pub_list: Vec<Scalar>,
}

Fields

proof: R1CSProofcommitments: Vec<CompressedRistretto>t_c: Vec<CompressedRistretto>score: Scalarz_img: Scalarseed: Scalarpub_list: Vec<Scalar>

Methods

`impl Verify`[src][−]

`pub fn new( proof: R1CSProof, commitments: Vec<CompressedRistretto>, t_c: Vec<CompressedRistretto>, score: Scalar, z_img: Scalar, seed: Scalar, pub_list: Vec<Scalar> ) -> Self`[src]

`pub fn verify(&self) -> Result<(), Error>`[src]

`pub fn try_from_reader_variables<R: Read>(reader: R) -> Result<Self, Error>`[src]

Trait Implementations

`impl Clone for Verify`[src][+]

[+] Show hidden undocumented items

`fn clone(&self) -> Verify`[src][−]

`fn clone_from(&mut self, source: &Self)`1.0.0[src][−]

`impl Debug for Verify`[src][+]

[+] Show hidden undocumented items

`fn fmt(&self, f: &mut Formatter) -> Result`[src][−]

`impl Serialize for Verify`[src][+]

[+] Show hidden undocumented items

`fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where S: Serializer,` [src][−]

`impl<'de> Deserialize<'de> for Verify`[src][+]

[+] Show hidden undocumented items

`fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where __D: Deserializer<'de>,` [src][−]

Auto Trait Implementations

`impl Send for Verify`

`impl Sync for Verify`

`impl Unpin for Verify`

`impl UnwindSafe for Verify`

`impl RefUnwindSafe for Verify`

Blanket Implementations

`impl<T, U> Into for T where U: From<T>,` [src][+]

[+] Show hidden undocumented items

`fn into(self) -> U`[src][−]

`impl<T> From<T> for T`[src][+]

[+] Show hidden undocumented items

`fn from(t: T) -> T`[src][−]

`impl<T> ToOwned for T where T: Clone,` [src][+]

[+] Show hidden undocumented items

`type Owned = T`

The resulting type after obtaining ownership.

`fn to_owned(&self) -> T`[src][−]

`fn clone_into(&self, target: &mut T)`[src][−]

`impl<T, U> TryFrom for T where U: Into<T>,` [src][+]

[+] Show hidden undocumented items

`type Error = !`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src][−]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src][+]

[+] Show hidden undocumented items

`type Error = >::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`[src][−]

`impl<T> Borrow<T> for T where T: ?Sized,` [src][+]

[+] Show hidden undocumented items

`fn borrow(&self) -> &T`[src][−]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src][+]

[+] Show hidden undocumented items

`fn borrow_mut(&mut self) -> &mut T`[src][−]

`impl<T> Any for T where T: 'static + ?Sized,` [src][+]

[+] Show hidden undocumented items

`fn type_id(&self) -> TypeId`[src][−]

`impl<T> DeserializeOwned for T where T: Deserialize<'de>,` [src]

`impl<T> Same<T> for T`[src]

`type Output = T`

Should always be Self

`impl<T> FromCast<T> for T`[src][+]

[+] Show hidden undocumented items

`fn from_cast(t: T) -> T`[src][−]

`impl<T, U> Cast for T where U: FromCast<T>,` [src][+]

[+] Show hidden undocumented items

`fn cast(self) -> U`[src][−]

`impl<T> FromBits<T> for T`[src][+]

[+] Show hidden undocumented items

`fn from_bits(t: T) -> T`[src][−]

`impl<T, U> IntoBits for T where U: FromBits<T>,` [src][+]

[+] Show hidden undocumented items

[−][src]Struct dusk_blindbidproof::Verify

Fields

Methods

impl Verify[src][−]

pub fn new( proof: R1CSProof, commitments: Vec<CompressedRistretto>, t_c: Vec<CompressedRistretto>, score: Scalar, z_img: Scalar, seed: Scalar, pub_list: Vec<Scalar>) -> Self[src]

pub fn verify(&self) -> Result<(), Error>[src]

pub fn try_from_reader_variables<R: Read>(reader: R) -> Result<Self, Error>[src]

Trait Implementations

impl Clone for Verify[src][+]

fn clone(&self) -> Verify[src][−]

fn clone_from(&mut self, source: &Self)1.0.0[src][−]

impl Debug for Verify[src][+]

fn fmt(&self, f: &mut Formatter) -> Result[src][−]

impl Serialize for Verify[src][+]

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

impl<'de> Deserialize<'de> for Verify[src][+]

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

Auto Trait Implementations

impl Send for Verify

impl Sync for Verify

impl Unpin for Verify

impl UnwindSafe for Verify

impl RefUnwindSafe for Verify

Blanket Implementations

impl<T, U> Into<U> for T where U: From<T>, [src][+]

fn into(self) -> U[src][−]

impl<T> From<T> for T[src][+]

fn from(t: T) -> T[src][−]

impl<T> ToOwned for T where T: Clone, [src][+]

type Owned = T

fn to_owned(&self) -> T[src][−]

fn clone_into(&self, target: &mut T)[src][−]

impl<T, U> TryFrom<U> for T where U: Into<T>, [src][+]

type Error = !

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src][−]

impl<T, U> TryInto<U> for T where U: TryFrom<T>, [src][+]

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src][−]

impl<T> Borrow<T> for T where T: ?Sized, [src][+]

fn borrow(&self) -> &T[src][−]

impl<T> BorrowMut<T> for T where T: ?Sized, [src][+]

fn borrow_mut(&mut self) -> &mut T[src][−]

impl<T> Any for T where T: 'static + ?Sized, [src][+]

fn type_id(&self) -> TypeId[src][−]

impl<T> DeserializeOwned for T where T: Deserialize<'de>, [src]

impl<T> Same<T> for T[src]

type Output = T

impl<T> FromCast<T> for T[src][+]

fn from_cast(t: T) -> T[src][−]

impl<T, U> Cast<U> for T where U: FromCast<T>, [src][+]

fn cast(self) -> U[src][−]

impl<T> FromBits<T> for T[src][+]

fn from_bits(t: T) -> T[src][−]

impl<T, U> IntoBits<U> for T where U: FromBits<T>, [src][+]

fn into_bits(self) -> U[src][−]

`impl Verify`[src][−]

`pub fn new( proof: R1CSProof, commitments: Vec<CompressedRistretto>, t_c: Vec<CompressedRistretto>, score: Scalar, z_img: Scalar, seed: Scalar, pub_list: Vec<Scalar> ) -> Self`[src]

`pub fn verify(&self) -> Result<(), Error>`[src]

`pub fn try_from_reader_variables<R: Read>(reader: R) -> Result<Self, Error>`[src]

`impl Clone for Verify`[src][+]

`fn clone(&self) -> Verify`[src][−]

`fn clone_from(&mut self, source: &Self)`1.0.0[src][−]

`impl Debug for Verify`[src][+]

`fn fmt(&self, f: &mut Formatter) -> Result`[src][−]

`impl Serialize for Verify`[src][+]

`fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where S: Serializer,` [src][−]

`impl<'de> Deserialize<'de> for Verify`[src][+]

`fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where __D: Deserializer<'de>,` [src][−]

`impl Send for Verify`

`impl Sync for Verify`

`impl Unpin for Verify`

`impl UnwindSafe for Verify`

`impl RefUnwindSafe for Verify`

`impl<T, U> Into<U> for T where U: From<T>,` [src][+]

`fn into(self) -> U`[src][−]

`impl<T> From<T> for T`[src][+]

`fn from(t: T) -> T`[src][−]

`impl<T> ToOwned for T where T: Clone,` [src][+]

`type Owned = T`

`fn to_owned(&self) -> T`[src][−]

`fn clone_into(&self, target: &mut T)`[src][−]

`impl<T, U> TryFrom<U> for T where U: Into<T>,` [src][+]

`type Error = !`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src][−]

`impl<T, U> TryInto<U> for T where U: TryFrom<T>,` [src][+]

`type Error = <U as TryFrom<T>>::Error`

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src][−]

`impl<T> Borrow<T> for T where T: ?Sized,` [src][+]

`fn borrow(&self) -> &T`[src][−]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src][+]

`fn borrow_mut(&mut self) -> &mut T`[src][−]

`impl<T> Any for T where T: 'static + ?Sized,` [src][+]

`fn type_id(&self) -> TypeId`[src][−]

`impl<T> DeserializeOwned for T where T: Deserialize<'de>,` [src]

`impl<T> Same<T> for T`[src]

`type Output = T`

`impl<T> FromCast<T> for T`[src][+]

`fn from_cast(t: T) -> T`[src][−]

`impl<T, U> Cast<U> for T where U: FromCast<T>,` [src][+]

`fn cast(self) -> U`[src][−]

`impl<T> FromBits<T> for T`[src][+]

`fn from_bits(t: T) -> T`[src][−]

`impl<T, U> IntoBits<U> for T where U: FromBits<T>,` [src][+]

`fn into_bits(self) -> U`[src][−]