pub fn verify(&self, transcript: &mut Transcript, X: VerificationKey) -> DeferredVerification {
        // Make c = H(X, R, m)
        // The message `m` has already been fed into the transcript
        let c = {
            transcript.commit_point(b"X", &X.0);
            transcript.commit_point(b"R", &self.R);
            transcript.challenge_scalar(b"c")
        };

        // Form the final linear combination:
        // `s * G = R + c * X`
        //      ->
        // `0 == (-s * G) + (1 * R) + (c * X)`
        DeferredVerification {
            static_point_weight: -self.s,
            dynamic_point_weights: vec![(Scalar::one(), self.R), (c, X.0)],
        }
    }
/// Verifies a signature for a single VerificationKey
Verifies a signature for a single VerificationKey
Verifies a signature for a single VerificationKey
pub fn verify(&self, transcript: &mut Transcript, X: VerificationKey) -> DeferredVerification {
        // Make c = H(X, R, m)
        // The message `m` has already been fed into the transcript
        let c = {
            transcript.commit_point(b"X", &X.0);
            transcript.commit_point(b"R", &self.R);
            transcript.challenge_scalar(b"c")
        };
        // Form the final linear combination:
        // `s * G = R + c * X`
        //      ->
        // `0 == (-s * G) + (1 * R) + (c * X)`
        DeferredVerification {
            static_point_weight: -self.s,
            dynamic_point_weights: vec![(Scalar::one(), self.R), (c, X.0)],
        }
    }
pub fn verify ( & self , transcript : & mut Transcript , X : VerificationKey ) -> DeferredVerification { // Make c = H(X, R, m) // The message `m` has already been fed into the transcript let c = { transcript . commit_point ( b" " , & X . 0 ) ; transcript . commit_point ( b" " , & self . R ) ; transcript . challenge_scalar ( b" " ) } ; // Form the final linear combination: // `s * G = R + c * X` //      -> // `0 == (-s * G) + (1 * R) + (c * X)` DeferredVerification { static_point_weight : - self . s , dynamic_point_weights : vec ! [ ( Scalar one ( ) self R ) ( c X 0 ) ] , } }
Verifies a signature for a single VerificationKey
Verifies a signature for a single VerificationKey
&self
transcript
&mut Transcript
X
VerificationKey
&self
transcript
&mut Transcript
X
VerificationKey