pub fn sha256<F: SmallField, CS: ConstraintSystem<F>>( cs: &mut CS, input: &[UInt8<F>], ) -> [UInt8<F>; 32]