fn field_bit_size() -> usize {
        ((MODULUS - 1).ilog2() + 1) as usize
    }
Returns how many bits do you need to represent the biggest field element
It expects the MODULUS to be a Prime
crates/math/src/field/fields/u64_prime_field.rs