Function permutate

bitvm/src/hash/blake3_utils.rs:427–433

Permutates the internal state, used after each round

(message_var_map: &HashMap<u8, StackVariable>)

/// Permutates the internal state, used after each round
fn permutate(message_var_map: &HashMap<u8, StackVariable>) -> HashMap<u8, StackVariable> {
    let mut ret = HashMap::new();
    for i in 0..16_u8 {
        ret.insert(i, message_var_map[&MSG_PERMUTATION[i as usize]]);
    }
    ret
}

/// Initializes the internal state, uses the same variable names as the paper
fn init_state(