/// Create a proof, for the given parameters; no check is made to make sure it's correct
///
/// the proof is randomized, so need a freshly randomly scalar for random.
/// use 'proove_simple' to use a RNG and avoid generating this random.
///
/// use 'evaluate' or 'evaluate_simple' for creating the proof directly from input
Create a proof, for the given parameters; no check is made to make sure it's correct
the proof is randomized, so need a freshly randomly scalar for random.
use 'proove_simple' to use a RNG and avoid generating this random.

use 'evaluate' or 'evaluate_simple' for creating the proof directly from input
Create a proof for the given parameters ; no check is made to make sure it ' s correct the proof is randomized so need a freshly randomly scalar for random . use ' proove_simple ' to use a RNG and avoid generating this random . use ' evaluate ' or ' evaluate_simple ' for creating the proof directly from input
pub fn proove(&self, r: &Scalar, m_point: Point, output: OutputSeed) -> ProvenOutputSeed {
        let dleq = dleq::DLEQ {
            g1: &RISTRETTO_BASEPOINT_POINT,
            h1: &self.public,
            g2: &m_point,
            h2: &output.0,
        };
        let dleq_proof = dleq::generate(&r, &self.secret, &dleq);
        ProvenOutputSeed {
            u: output.clone(),
            dleq_proof,
        }
    }
pub fn proove ( & self , r : & Scalar , m_point : Point , output : OutputSeed ) -> ProvenOutputSeed { let dleq = dleq :: DLEQ { g1 : & RISTRETTO_BASEPOINT_POINT , h1 : & self . public , g2 : & m_point , h2 : & output . 0 , } ; let dleq_proof = dleq :: generate ( & r , & self . secret , & dleq ) ; ProvenOutputSeed { u : output . clone ( ) , dleq_proof , } }
Create a proof, for the given parameters; no check is made to make sure it's correct
the proof is randomized, so need a freshly randomly scalar for random.
Create a proof for the given parameters ; no check is made to make sure it ' s correct the proof is randomized so need a freshly randomly scalar for random .
&self
r
&Scalar
m_point
Point
output
OutputSeed