docs: mini update

docs/SUMMARY.md

@@ -22,7 +22,7 @@
 - [Configuration](fundamentals/configure.md)
 - [Supported types](fundamentals/types.md)
 - [Operations on encrypted types](fundamentals/operations.md)
-- [asEbool, asEuintXX, asEaddress and asEbytesXX operations](fundamentals/asXXoperation.md)
+- [asEbool, asEuintXX, asEaddress and asEbytesXX operations](fundamentals/asEXXoperators.md)
 - [Access Control List](fundamentals/acl/README.md)
   - [ACL examples](fundamentals/acl/acl_examples.md)
 - [Encrypted Inputs](fundamentals/inputs.md)

docs/fundamentals/asXXoperation.md → docs/fundamentals/asEXXoperators.md

@@ -1,6 +1,6 @@
 # asEbool, asEuintXX, asEaddress and asEbytesXX operations
 
-This documentation covers the `asEbool`, `asEuintXX`, and `asEbytesXX` operations provided by the TFHE library for working with encrypted data in the fhEVM. These operations are essential for converting between plaintext and encrypted types, as well as handling encrypted inputs.
+This documentation covers the `asEbool`, `asEuintXX`, `asEaddress` and `asEbytesXX` operations provided by the TFHE library for working with encrypted data in the fhEVM. These operations are essential for converting between plaintext and encrypted types, as well as handling encrypted inputs.
 
 The operations can be categorized into three main use cases:
 
@@ -21,6 +21,7 @@ This type of casting involves converting plaintext (unencrypted) values into the
 - `bool` → `ebool`
 - `uint` → `euintXX`
 - `bytes` → `ebytesXX`
+- `address` → `eaddress`
 
 > **Note**: When doing trivial encryption, the data is made compatible with FHE operations but remains publicly visible on-chain unless explicitly encrypted.
 
@@ -149,6 +150,7 @@ For more information, see the [Encrypetd inputs documentation](./inputs.md)
 | Trivial encryption       | `TFHE.asEuintXX(x)`     | `uintX`                 | `euintX`    |
 |                          | `TFHE.asEbool(x)`       | `bool`                  | `ebool`     |
 |                          | `TFHE.asEbytesXX(x)`    | `bytesXX`               | `ebytesXX`  |
+|                          | `TFHE.asEaddress(x)`    | `address`               | `eaddress`  |
 | Conversion between types | `TFHE.asEuintXX(x)`     | `euintXX`/`ebool`       | `euintYY`   |
 |                          | `TFHE.asEbool(x)`       | `euintXX`               | `ebool`     |
 | Encrypted input          | `TFHE.asEuintXX(x, y)`  | `einput`, `bytes` proof | `euintX`    |

docs/guides/gas.md

@@ -270,7 +270,7 @@ Gas costs increase with the bit-width of the encrypted integer type. Below are t
 | `trivialEncrypt` (basic)    | 100-800         |
 | `trivialEncrypt` (extended) | 1,600-6,400     |
 | `randBounded`               | 100,000         |
-| `ifThenElse`                | 43,000-300,000  |
+| `select`                    | 43,000-300,000  |
 | `rand`                      | 100,000-400,000 |
 
 ## Fixing Failed Transactions in MetaMask