Method compact_checksig_verify

bitvm/src/signatures/public.rs:304–306

Returns a Bitcoin script that verifies a Winternitz signature for the given `public_key`. ## Precondition Signature is at the stack top. ## Postcondition The converted message is on the stack top. The checksum is consumed.

(public_key: &Self::PublicKey)

    /// The converted message is on the stack top.
    /// The checksum is consumed.
    fn compact_checksig_verify(public_key: &Self::PublicKey) -> Script {
        Self::COMPACT_ALGORITHM.checksig_verify(&Self::PARAMETERS, &public_key.as_ref().to_vec())
    }

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