Struct dusk_blindbidproof::Proof

[+] Show declaration

pub struct Proof {
    pub proof: R1CSProof,
    pub commitments: Vec<CompressedRistretto>,
    pub t_c: Vec<CompressedRistretto>,
}

Fields

proof: R1CSProof

commitments: Vec<CompressedRistretto>

t_c: Vec<CompressedRistretto>

Methods

impl Proof[−]

pub fn new(
    proof: R1CSProof,
    commitments: Vec<CompressedRistretto>,
    t_c: Vec<CompressedRistretto>
) -> Self

pub fn prove(
    d: Scalar,
    k: Scalar,
    y: Scalar,
    y_inv: Scalar,
    q: Scalar,
    z_img: Scalar,
    seed: Scalar,
    pub_list: Vec<Scalar>,
    toggle: u64
) -> Result<Self, Error>

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

Perform the deserialization of a request.

Currently the recommended method from TlvReaderis read_list instead of standard list deserialization

Trait Implementations

impl Clone for Proof[+]

[+] Show hidden undocumented items

fn clone(&self) -> Proof[−]

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Proof[+]

[+] Show hidden undocumented items

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

Formats the value using the given formatter.

impl TryFrom<Vec<u8>> for Proof[+]

[+] Show hidden undocumented items

type Error = Error

The type returned in the event of a conversion error.

fn try_from(bytes: Vec<u8>) -> Result<Self, Self::Error>[−]

Performs the conversion.

impl TryInto<Vec<u8>> for Proof[+]

[+] Show hidden undocumented items

type Error = Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<Vec<u8>, Self::Error>[−]

Performs the conversion.