pub fn write_digest_to_secret_in(
    secret_in: &mut Vec<BFieldElement>,
    digest: Digest
)