mod eip152;
use alloc::vec::Vec;
use evm::{
GasMutState,
interpreter::{ExitException, ExitResult, ExitSucceed},
};
use crate::PurePrecompile;
pub struct Blake2F;
impl Blake2F {
const GAS_COST_PER_ROUND: u64 = 1; }
impl<G: GasMutState> PurePrecompile<G> for Blake2F {
fn execute(&self, input: &[u8], gasometer: &mut G) -> (ExitResult, Vec<u8>) {
const BLAKE2_F_ARG_LEN: usize = 213;
if input.len() != BLAKE2_F_ARG_LEN {
return (
ExitException::Other(
"input length for Blake2 F precompile should be exactly 213 bytes".into(),
)
.into(),
Vec::new(),
);
}
let mut rounds_buf: [u8; 4] = [0; 4];
rounds_buf.copy_from_slice(&input[0..4]);
let rounds: u32 = u32::from_be_bytes(rounds_buf);
let gas_cost: u64 = (rounds as u64) * Blake2F::GAS_COST_PER_ROUND;
try_some!(gasometer.record_gas(gas_cost.into()));
let mut h_buf: [u8; 64] = [0; 64];
h_buf.copy_from_slice(&input[4..68]);
let mut h = [0u64; 8];
let mut ctr = 0;
for state_word in &mut h {
let mut temp: [u8; 8] = Default::default();
temp.copy_from_slice(&h_buf[(ctr * 8)..(ctr + 1) * 8]);
*state_word = u64::from_le_bytes(temp);
ctr += 1;
}
let mut m_buf: [u8; 128] = [0; 128];
m_buf.copy_from_slice(&input[68..196]);
let mut m = [0u64; 16];
ctr = 0;
for msg_word in &mut m {
let mut temp: [u8; 8] = Default::default();
temp.copy_from_slice(&m_buf[(ctr * 8)..(ctr + 1) * 8]);
*msg_word = u64::from_le_bytes(temp);
ctr += 1;
}
let mut t_0_buf: [u8; 8] = [0; 8];
t_0_buf.copy_from_slice(&input[196..204]);
let t_0 = u64::from_le_bytes(t_0_buf);
let mut t_1_buf: [u8; 8] = [0; 8];
t_1_buf.copy_from_slice(&input[204..212]);
let t_1 = u64::from_le_bytes(t_1_buf);
let f = if input[212] == 1 {
true
} else if input[212] == 0 {
false
} else {
return (
ExitException::Other("incorrect final block indicator flag".into()).into(),
Vec::new(),
);
};
eip152::compress(&mut h, m, [t_0, t_1], f, rounds as usize);
let mut output_buf = [0u8; u64::BITS as usize];
for (i, state_word) in h.iter().enumerate() {
output_buf[i * 8..(i + 1) * 8].copy_from_slice(&state_word.to_le_bytes());
}
(ExitSucceed::Returned.into(), output_buf.to_vec())
}
}