pub fn sha256<U, F>( builder: &mut ConstraintSystemBuilder<'_, U, F>, input: [OracleId; 16], log_size: usize, ) -> Result<[OracleId; 8], Error>where U: UnderlierType + Pod + PackScalar<F> + PackScalar<BinaryField1b>, F: TowerField,