Merge of #2038

Author: mergify[bot]

docs/examples/SUMMARY.md

@@ -17,9 +17,12 @@
 
 - [Library installation and overview](openzeppelin/README.md)
 - [ERC7984 Standard](openzeppelin/erc7984.md)
-  - [ERC7984 Tutorial](openzeppelin/erc7984-tutorial.md)
-  - [ERC7984 to ERC20 Wrapper](openzeppelin/ERC7984ERC20WrapperMock.md)
+  - [ERC-20 to Wrapped ERC-7984](openzeppelin/ERC7984ERC20WrapperMock.md)
   - [Swap ERC7984 to ERC20](openzeppelin/swapERC7984ToERC20.md)
-  - [Swap ERC7984 to ERC7984](openzeppelin/swapERC7984ToERC7984.md)
 - [Vesting Wallet](openzeppelin/vesting-wallet.md)
 - [Integration guide for Wallets and Exchanges](./integration-guide.md)
+
+## Auctions
+
+- [Sealed-Bid Auction](sealed-bid-auction.md)
+  - [Tutorial](sealed-bid-auction-tutorial.md)

docs/examples/fhe-encrypt-multiple-value.md

@@ -1,4 +1,4 @@
-This example demonstrates the FHE encryption mechanism with multiple values.
+This example shows how to encrypt and handle multiple values in a single transaction.
 
 {% hint style="info" %}
 To run this example correctly, make sure the files are placed in the following directories:
@@ -81,7 +81,7 @@ contract EncryptMultipleValues is ZamaEthereumConfig {
 
 {% tab title="EncryptMultipleValues.ts" %}
 
-```ts
+```typescript
 //TODO;
 import { EncryptMultipleValues, EncryptMultipleValues__factory } from "../../../types";
 import type { Signers } from "../../types";

docs/examples/fhe-encrypt-multiple-values.md

@@ -48,7 +48,7 @@ contract EncryptSingleValue is ZamaEthereumConfig {
 
 {% tab title="EncryptSingleValue.ts" %}
 
-```ts
+```typescript
 import { EncryptSingleValue, EncryptSingleValue__factory } from "../../../types";
 import type { Signers } from "../../types";
 import { FhevmType, HardhatFhevmRuntimeEnvironment } from "@fhevm/hardhat-plugin";

docs/examples/fhe-encrypt-single-value.md

@@ -76,7 +76,7 @@ contract UserDecryptSingleValue is ZamaEthereumConfig {
 
 ```ts
 import { UserDecryptSingleValue, UserDecryptSingleValue__factory } from "../../../types";
-import type { Signers } from "../../types";
+import type { Signers } from "../../../types";
 import { FhevmType, HardhatFhevmRuntimeEnvironment } from "@fhevm/hardhat-plugin";
 import { HardhatEthersSigner } from "@nomicfoundation/hardhat-ethers/signers";
 import { expect } from "chai";

docs/examples/fhe-user-decrypt-single-value.md

@@ -1,4 +1,4 @@
-This example demonstrates how to write a simple "a + b" contract using FHEVM.
+This example demonstrates how to perform addition operations on encrypted values.
 
 {% hint style="info" %}
 To run this example correctly, make sure the files are placed in the following directories:
@@ -66,15 +66,16 @@ contract FHEAdd is ZamaEthereumConfig {
 
 {% tab title="FHEAdd.ts" %}
 
-```ts
-import { FHEAdd, FHEAdd__factory } from "../../../types";
-import type { Signers } from "../../types";
+```typescript
 import { FhevmType, HardhatFhevmRuntimeEnvironment } from "@fhevm/hardhat-plugin";
 import { HardhatEthersSigner } from "@nomicfoundation/hardhat-ethers/signers";
 import { expect } from "chai";
 import { ethers } from "hardhat";
 import * as hre from "hardhat";
 
+import { FHEAdd, FHEAdd__factory } from "../../../types";
+import type { Signers } from "../../types";
+
 async function deployFixture() {
   // Contracts are deployed using the first signer/account by default
   const factory = (await ethers.getContractFactory("FHEAdd")) as FHEAdd__factory;
@@ -148,6 +149,7 @@ describe("FHEAdd", function () {
     expect(clearAplusB).to.equal(a + b);
   });
 });
+
 ```
 
 {% endtab %}

docs/examples/fheadd.md

@@ -1,4 +1,4 @@
-This example demonstrates how to write a simple contract with conditions using FHEVM, in comparison to a simple counter.
+This example shows conditional operations on encrypted values using FHE.
 
 {% hint style="info" %}
 To run this example correctly, make sure the files are placed in the following directories:
@@ -62,15 +62,16 @@ contract FHEIfThenElse is ZamaEthereumConfig {
 
 {% tab title="FHEIfThenElse.ts" %}
 
-```ts
-import { FHEIfThenElse, FHEIfThenElse__factory } from "../../../types";
-import type { Signers } from "../../types";
+```typescript
 import { FhevmType, HardhatFhevmRuntimeEnvironment } from "@fhevm/hardhat-plugin";
 import { HardhatEthersSigner } from "@nomicfoundation/hardhat-ethers/signers";
 import { expect } from "chai";
 import { ethers } from "hardhat";
 import * as hre from "hardhat";
 
+import { FHEIfThenElse, FHEIfThenElse__factory } from "../../../types";
+import type { Signers } from "../../types";
+
 async function deployFixture() {
   // Contracts are deployed using the first signer/account by default
   const factory = (await ethers.getContractFactory("FHEIfThenElse")) as FHEIfThenElse__factory;
@@ -144,6 +145,7 @@ describe("FHEIfThenElse", function () {
     expect(clearMax).to.equal(a >= b ? a : b);
   });
 });
+
 ```
 
 {% endtab %}