chore(host-contracts): add sum in impl interface contract and generate rust bindings

Author: PanGan21

coprocessor/fhevm-engine/fhevm-engine-common/src/tfhe_ops.rs

@@ -3583,7 +3583,9 @@ mod fhe_sum_tests {
 
     #[test]
     fn fhe_sum_scalar_not_supported() {
-        assert!(!does_fhe_operation_support_scalar(&SupportedFheOperations::FheSum));
+        assert!(!does_fhe_operation_support_scalar(
+            &SupportedFheOperations::FheSum
+        ));
         assert!(!SupportedFheOperations::FheSum.does_have_more_than_one_scalar());
     }
 

host-contracts/lib/Impl.sol

@@ -267,6 +267,13 @@ interface IFHEVMExecutor {
      */
     function fheRandBounded(uint256 upperBound, FheType randType) external returns (bytes32 result);
 
+    /**
+     * @notice          Computes FHESum operation over an array of ciphertexts.
+     * @param values    Array of ciphertext handles; all must be the same FheType.
+     * @return result   Result handle of the same FheType as the inputs.
+     */
+    function fheSum(bytes32[] calldata values) external returns (bytes32 result);
+
     /**
      * @notice                      Returns the address of the InputVerifier contract used by the coprocessor.
      * @return inputVerifierAddress Address of the InputVerifier.
@@ -705,6 +712,11 @@ library Impl {
         result = IFHEVMExecutor($.CoprocessorAddress).fheRandBounded(upperBound, randType);
     }
 
+    function sum(bytes32[] memory values) internal returns (bytes32 result) {
+        CoprocessorConfig storage $ = getCoprocessorConfig();
+        result = IFHEVMExecutor($.CoprocessorAddress).fheSum(values);
+    }
+
     /**
      * @notice              Allows the use of handle by address account for this transaction.
      * @dev                 The caller must be allowed to use handle for allowTransient() to succeed.