From 61f81e313cdb3ef11286ef1b65dff63a600c0ac3 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Fri, 20 Jun 2025 11:49:06 +0200
Subject: [PATCH] Annotate stateless cryptography contracts (#5756)

---
 contracts/mocks/Stateless.sol                                  | 2 ++
 contracts/utils/cryptography/verifiers/ERC7913P256Verifier.sol | 2 ++
 contracts/utils/cryptography/verifiers/ERC7913RSAVerifier.sol  | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/contracts/mocks/Stateless.sol b/contracts/mocks/Stateless.sol
index ed19bb4e1..97e79085b 100644
--- a/contracts/mocks/Stateless.sol
+++ b/contracts/mocks/Stateless.sol
@@ -29,6 +29,8 @@ import {ERC1155Holder} from "../token/ERC1155/utils/ERC1155Holder.sol";
 import {ERC1967Utils} from "../proxy/ERC1967/ERC1967Utils.sol";
 import {ERC4337Utils} from "../account/utils/draft-ERC4337Utils.sol";
 import {ERC7579Utils} from "../account/utils/draft-ERC7579Utils.sol";
+import {ERC7913P256Verifier} from "../utils/cryptography/verifiers/ERC7913P256Verifier.sol";
+import {ERC7913RSAVerifier} from "../utils/cryptography/verifiers/ERC7913RSAVerifier.sol";
 import {Heap} from "../utils/structs/Heap.sol";
 import {InteroperableAddress} from "../utils/draft-InteroperableAddress.sol";
 import {Math} from "../utils/math/Math.sol";
diff --git a/contracts/utils/cryptography/verifiers/ERC7913P256Verifier.sol b/contracts/utils/cryptography/verifiers/ERC7913P256Verifier.sol
index 70d0f342a..adb8066d4 100644
--- a/contracts/utils/cryptography/verifiers/ERC7913P256Verifier.sol
+++ b/contracts/utils/cryptography/verifiers/ERC7913P256Verifier.sol
@@ -7,6 +7,8 @@ import {IERC7913SignatureVerifier} from "../../../interfaces/IERC7913.sol";
 
 /**
  * @dev ERC-7913 signature verifier that support P256 (secp256r1) keys.
+ *
+ * @custom:stateless
  */
 contract ERC7913P256Verifier is IERC7913SignatureVerifier {
     /// @inheritdoc IERC7913SignatureVerifier
diff --git a/contracts/utils/cryptography/verifiers/ERC7913RSAVerifier.sol b/contracts/utils/cryptography/verifiers/ERC7913RSAVerifier.sol
index 1139f9326..285294a92 100644
--- a/contracts/utils/cryptography/verifiers/ERC7913RSAVerifier.sol
+++ b/contracts/utils/cryptography/verifiers/ERC7913RSAVerifier.sol
@@ -7,6 +7,8 @@ import {IERC7913SignatureVerifier} from "../../../interfaces/IERC7913.sol";
 
 /**
  * @dev ERC-7913 signature verifier that support RSA keys.
+ *
+ * @custom:stateless
  */
 contract ERC7913RSAVerifier is IERC7913SignatureVerifier {
     /// @inheritdoc IERC7913SignatureVerifier