pub fn write_value_to_secret_in(
    secret_in: &mut Vec<BFieldElement>,
    value: BFieldElement
)