Method checksig_verify

bitvm/src/signatures/winternitz.rs:265–271

Returns a Bitcoin script that verifies a Winternitz signature for the given `public_key`. ## Precondition Signature (in the verifier's format) is at the stack top. ## Postcondition The converted message is on the stack top. The checksum is consumed. ## See - [`Verifier::verify_digits`] - [`Converter::get_script`]

(&self, ps: &Parameters, public_key: &PublicKey)

    /// - [`Verifier::verify_digits`]
    /// - [`Converter::get_script`]
    pub fn checksig_verify(&self, ps: &Parameters, public_key: &PublicKey) -> Script {
        script! {
            { VERIFIER::verify_digits(ps, public_key) }
            { self.verify_checksum(ps) }
            { CONVERTER::get_script(ps) }
        }
    }

    /// Returns a Bitcoin script that verifies a Winternitz signature for the given `public_key`.
    ///