docs: NatSpec

contracts/contracts/TFHEExecutor.sol

@@ -19,6 +19,12 @@ interface IInputVerifier {
     ) external returns (uint256);
 }
 
+/**
+ * @title    TFHEExecutor
+ * @notice   This contract implements symbolic execution on the blockchain and one of its
+ *           main responsibilities is to deterministically generate ciphertext handles.
+ * @dev      This contract is deployed using an UUPS proxy.
+ */
 contract TFHEExecutor is UUPSUpgradeable, Ownable2StepUpgradeable {
     /// @notice Handle version
     uint8 public constant HANDLE_VERSION = 0;

contracts/contracts/TFHEExecutorWithEvents.sol

@@ -3,6 +3,12 @@ pragma solidity ^0.8.24;
 
 import {TFHEExecutor} from "./TFHEExecutor.sol";
 
+/**
+ * @title    TFHEExecutorWithEvents
+ * @notice   This contract inherits TFHEExecutor and overrides its functions to emit
+ *           events for all TFHE operations.
+ * @dev      This contract is deployed using an UUPS proxy.
+ */
 contract TFHEExecutorWithEvents is TFHEExecutor {
     event FheAdd(uint256 lhs, uint256 rhs, bytes1 scalarByte, uint256 result);
     event FheSub(uint256 lhs, uint256 rhs, bytes1 scalarByte, uint256 result);