Function blake3_push_message_script_with_limb

bitvm/src/hash/blake3.rs:249–270

Returns a script that pushes the given message onto the stack for BLAKE3. The script transforms the message into the correct format and pushes the result onto the stack. ## Panics This function panics if the message is longer than 1024 bytes, since our BLAKE3 implementation doesn't support longer messages.

(message_bytes: &[u8], limb_len: u8)

/// This function panics if the message is longer than 1024 bytes,
/// since our BLAKE3 implementation doesn't support longer messages.
pub fn blake3_push_message_script_with_limb(message_bytes: &[u8], limb_len: u8) -> Script {
    assert!(
        message_bytes.len() <= 1024,
        "This BLAKE3 implementation doesn't support messages longer than 1024 bytes"
    );
    let chunks = chunk_message(message_bytes);

    script! {
        for chunk in chunks.into_iter().rev() {
            for (i, byte) in chunk.into_iter().enumerate() {
                {
                    byte
                }
                if i == 31 || i == 63 {
                    {
                        U256::transform_limbsize(8, limb_len as u32)
                    }
                }
            }
        }
    }
}

/// Number of elements in total of all tables
const SUM_OF_FULL_TABLES: usize = 384;