miden_stdlib/handlers/
mod.rs

1use miden_core::Felt;
2
3pub mod falcon_div;
4pub mod keccak256;
5pub mod smt_peek;
6pub mod sorted_array;
7pub mod u64_div;
8
9// HELPER FUNCTIONS
10// ================================================================================================
11
12/// Converts a u64 value into two u32 elements (high and low parts).
13fn u64_to_u32_elements(value: u64) -> (Felt, Felt) {
14    let hi = Felt::from((value >> 32) as u32);
15    let lo = Felt::from(value as u32);
16    (hi, lo)
17}