Function verify_n

bitvm/src/u4/u4_std.rs:43–51

Checks if the top 2n elements have the period n, i.e. are in the form a, b, c ..., a, b, c ...

(n: u32)

/// Checks if the top 2n elements have the period n, i.e. are in the form a, b, c ..., a, b, c ...
pub fn verify_n(n: u32) -> Script {
    script! {
        for i in 0..n {
            { n - i}
            OP_ROLL
            OP_EQUALVERIFY
        }
    }
}

/// Verifies if the u32 elements on the top of the altstack and the stack is the same
pub fn u4_u32_verify_from_altstack() -> Script {