Function equalverify

bitvm/src/signatures/public.rs:411–427

Returns a Bitcoin script that compares two elements of length `n`. The script consumes its inputs. If the two elements are not equal, then the script fails immediately.

(n: usize)

    /// The script consumes its inputs.
    /// If the two elements are not equal, then the script fails immediately.
    fn equalverify(n: usize) -> Script {
        script!(
            for _ in 0..n {
                OP_TOALTSTACK
            }

            for i in 1..n {
                {i}
                OP_ROLL
            }

            for _ in 0..n {
                OP_FROMALTSTACK
                OP_EQUALVERIFY
            }
        )
    }

    /// Convert the raw Bitcoin witness into a byte vector.
    ///