pub fn four_u64_to_field<F, E>(v: &[u64; 4]) -> Result<F, InvalidBigInt>where F: Field + TryFrom<BigInteger256, Error = E>,