Function blake3_verify_output_script

bitvm/src/hash/blake3.rs:369–385

Returns a script that verifies the BLAKE3 output on the stack. The script pops the BLAKE3 output and compares it with the given, expected output.

(expected_output: [u8; 32])

///
/// The script pops the BLAKE3 output and compares it with the given, expected output.
pub fn blake3_verify_output_script(expected_output: [u8; 32]) -> Script {
    script! {
        for (i, byte) in expected_output.into_iter().enumerate() {
            {byte}
            if i % 32 == 31 {
                {U256::transform_limbsize(8,4)}
            }
        }

        for i in (2..65).rev() {
            {i}
            OP_ROLL
            OP_EQUALVERIFY
        }
        OP_EQUAL
    }
}

#[cfg(test)]
mod tests {