use elf::abi::{PF_NONE, PF_R, PF_W, PF_X};
pub const MAXIMUM_MEMORY_SIZE: u64 = (1u64 << 48) - 1;
pub const MAX_JIT_LOG_ADDR: usize = 40;
pub const BYTE_SIZE: usize = 8;
pub const LIMB_SIZE: usize = 16;
pub const WORD_SIZE: usize = 4;
pub const WORD_BYTE_SIZE: usize = 2 * WORD_SIZE;
pub const INSTRUCTION_WORD_SIZE: usize = 4;
pub const LONG_WORD_BYTE_SIZE: usize = 2 * WORD_BYTE_SIZE;
pub const LOG_PAGE_SIZE: usize = 12;
pub const PAGE_SIZE: usize = 1 << LOG_PAGE_SIZE;
pub const PROT_NONE: u8 = PF_NONE as u8;
pub const PROT_READ: u8 = PF_R as u8;
pub const PROT_WRITE: u8 = PF_W as u8;
pub const PROT_EXEC: u8 = PF_X as u8;
pub const DEFAULT_PAGE_PROT: u8 = PROT_READ | PROT_WRITE;
pub const NOTE_UNTRUSTED_PROGRAM_ENABLED: u32 = 1;
pub const STACK_TOP: u64 = 0x78000000;
pub mod fd {
pub const LOWEST_ALLOWED_FD: u32 = 10;
macro_rules! create_fd {
($(
#[$attr:meta]
pub const $name:ident: u32 = $value:expr;
)*) => {
$(
#[$attr]
pub const $name: u32 = $value + $crate::consts::fd::LOWEST_ALLOWED_FD;
)*
}
}
create_fd! {
pub const FD_PUBLIC_VALUES: u32 = 3;
pub const FD_HINT: u32 = 4;
pub const FD_ECRECOVER_HOOK: u32 = 5;
pub const FD_EDDECOMPRESS: u32 = 6;
pub const FD_RSA_MUL_MOD: u32 = 7;
pub const FD_BLS12_381_SQRT: u32 = 8;
pub const FD_BLS12_381_INVERSE: u32 = 9;
pub const FD_FP_SQRT: u32 = 10;
pub const FD_FP_INV: u32 = 11;
}
}
pub fn words_to_bytes_le_vec<'a>(words: impl IntoIterator<Item = &'a u64>) -> Vec<u8> {
words.into_iter().flat_map(|word| word.to_le_bytes().into_iter()).collect::<Vec<_>>()
}
pub fn words_to_bytes_le<'a, const B: usize>(words: impl IntoIterator<Item = &'a u64>) -> [u8; B] {
let mut iter = words.into_iter().flat_map(|word| word.to_le_bytes().into_iter());
core::array::from_fn(|_| iter.next().unwrap())
}
pub fn bytes_to_words_le<const W: usize>(bytes: &[u8]) -> [u64; W] {
debug_assert_eq!(bytes.len(), W * 8);
let mut iter = bytes.chunks_exact(8).map(|chunk| u64::from_le_bytes(chunk.try_into().unwrap()));
core::array::from_fn(|_| iter.next().unwrap())
}
pub fn bytes_to_words_le_vec(bytes: &[u8]) -> Vec<u64> {
bytes
.chunks_exact(8)
.map(|chunk| u64::from_le_bytes(chunk.try_into().unwrap()))
.collect::<Vec<_>>()
}
pub fn num_to_comma_separated<T: ToString>(value: T) -> String {
value
.to_string()
.chars()
.rev()
.collect::<Vec<_>>()
.chunks(3)
.map(|chunk| chunk.iter().collect::<String>())
.collect::<Vec<_>>()
.join(",")
.chars()
.rev()
.collect()
}
pub fn u32_to_u64(limbs: &[u32]) -> Vec<u64> {
debug_assert!(limbs.len().is_multiple_of(2), "need an even number of u32s");
limbs.chunks_exact(2).map(|pair| (pair[0] as u64) | ((pair[1] as u64) << 32)).collect()
}
pub fn u64_to_u32<'a>(limbs: impl IntoIterator<Item = &'a u64>) -> Vec<u32> {
limbs
.into_iter()
.flat_map(|x| {
let lo = *x as u32;
let hi = (*x >> 32) as u32;
[lo, hi]
})
.collect()
}
pub fn u32_to_u16_limbs(value: u32) -> [u16; 2] {
[(value & 0xFFFF) as u16, (value >> 16) as u16]
}
pub fn u64_to_u16_limbs(value: u64) -> [u16; 4] {
[(value & 0xFFFF) as u16, (value >> 16) as u16, (value >> 32) as u16, (value >> 48) as u16]
}
pub fn split_page_idx(page_idx: u64) -> [u16; 3] {
[(page_idx & 0xF) as u16, ((page_idx >> 4) & 0xFFFF) as u16, ((page_idx >> 20) & 0xFFFF) as u16]
}