MultiSignerERC7913.sol 9.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241
  1. // SPDX-License-Identifier: MIT
  2. pragma solidity ^0.8.26;
  3. import {AbstractSigner} from "./AbstractSigner.sol";
  4. import {SignatureChecker} from "../SignatureChecker.sol";
  5. import {EnumerableSet} from "../../structs/EnumerableSet.sol";
  6. /**
  7. * @dev Implementation of {AbstractSigner} using multiple ERC-7913 signers with a threshold-based
  8. * signature verification system.
  9. *
  10. * This contract allows managing a set of authorized signers and requires a minimum number of
  11. * signatures (threshold) to approve operations. It uses ERC-7913 formatted signers, which
  12. * makes it natively compatible with ECDSA and ERC-1271 signers.
  13. *
  14. * Example of usage:
  15. *
  16. * ```solidity
  17. * contract MyMultiSignerAccount is Account, MultiSignerERC7913, Initializable {
  18. * function initialize(bytes[] memory signers, uint64 threshold) public initializer {
  19. * _addSigners(signers);
  20. * _setThreshold(threshold);
  21. * }
  22. *
  23. * function addSigners(bytes[] memory signers) public onlyEntryPointOrSelf {
  24. * _addSigners(signers);
  25. * }
  26. *
  27. * function removeSigners(bytes[] memory signers) public onlyEntryPointOrSelf {
  28. * _removeSigners(signers);
  29. * }
  30. *
  31. * function setThreshold(uint64 threshold) public onlyEntryPointOrSelf {
  32. * _setThreshold(threshold);
  33. * }
  34. * }
  35. * ```
  36. *
  37. * IMPORTANT: Failing to properly initialize the signers and threshold either during construction
  38. * (if used standalone) or during initialization (if used as a clone) may leave the contract
  39. * either front-runnable or unusable.
  40. */
  41. abstract contract MultiSignerERC7913 is AbstractSigner {
  42. using EnumerableSet for EnumerableSet.BytesSet;
  43. using SignatureChecker for *;
  44. EnumerableSet.BytesSet private _signers;
  45. uint64 private _threshold;
  46. /// @dev Emitted when a signer is added.
  47. event ERC7913SignerAdded(bytes indexed signers);
  48. /// @dev Emitted when a signers is removed.
  49. event ERC7913SignerRemoved(bytes indexed signers);
  50. /// @dev Emitted when the threshold is updated.
  51. event ERC7913ThresholdSet(uint64 threshold);
  52. /// @dev The `signer` already exists.
  53. error MultiSignerERC7913AlreadyExists(bytes signer);
  54. /// @dev The `signer` does not exist.
  55. error MultiSignerERC7913NonexistentSigner(bytes signer);
  56. /// @dev The `signer` is less than 20 bytes long.
  57. error MultiSignerERC7913InvalidSigner(bytes signer);
  58. /// @dev The `threshold` is unreachable given the number of `signers`.
  59. error MultiSignerERC7913UnreachableThreshold(uint64 signers, uint64 threshold);
  60. /**
  61. * @dev Returns a slice of the set of authorized signers.
  62. *
  63. * Using `start = 0` and `end = type(uint64).max` will return the entire set of signers.
  64. *
  65. * WARNING: Depending on the `start` and `end`, this operation can copy a large amount of data to memory, which
  66. * can be expensive. This is designed for view accessors queried without gas fees. Using it in state-changing
  67. * functions may become uncallable if the slice grows too large.
  68. */
  69. function getSigners(uint64 start, uint64 end) public view virtual returns (bytes[] memory) {
  70. return _signers.values(start, end);
  71. }
  72. /// @dev Returns the number of authorized signers
  73. function getSignerCount() public view virtual returns (uint256) {
  74. return _signers.length();
  75. }
  76. /// @dev Returns whether the `signer` is an authorized signer.
  77. function isSigner(bytes memory signer) public view virtual returns (bool) {
  78. return _signers.contains(signer);
  79. }
  80. /// @dev Returns the minimum number of signers required to approve a multisignature operation.
  81. function threshold() public view virtual returns (uint64) {
  82. return _threshold;
  83. }
  84. /**
  85. * @dev Adds the `newSigners` to those allowed to sign on behalf of this contract.
  86. * Internal version without access control.
  87. *
  88. * Requirements:
  89. *
  90. * * Each of `newSigners` must be at least 20 bytes long. Reverts with {MultiSignerERC7913InvalidSigner} if not.
  91. * * Each of `newSigners` must not be authorized. See {isSigner}. Reverts with {MultiSignerERC7913AlreadyExists} if so.
  92. */
  93. function _addSigners(bytes[] memory newSigners) internal virtual {
  94. for (uint256 i = 0; i < newSigners.length; ++i) {
  95. bytes memory signer = newSigners[i];
  96. require(signer.length >= 20, MultiSignerERC7913InvalidSigner(signer));
  97. require(_signers.add(signer), MultiSignerERC7913AlreadyExists(signer));
  98. emit ERC7913SignerAdded(signer);
  99. }
  100. }
  101. /**
  102. * @dev Removes the `oldSigners` from the authorized signers. Internal version without access control.
  103. *
  104. * Requirements:
  105. *
  106. * * Each of `oldSigners` must be authorized. See {isSigner}. Otherwise {MultiSignerERC7913NonexistentSigner} is thrown.
  107. * * See {_validateReachableThreshold} for the threshold validation.
  108. */
  109. function _removeSigners(bytes[] memory oldSigners) internal virtual {
  110. for (uint256 i = 0; i < oldSigners.length; ++i) {
  111. bytes memory signer = oldSigners[i];
  112. require(_signers.remove(signer), MultiSignerERC7913NonexistentSigner(signer));
  113. emit ERC7913SignerRemoved(signer);
  114. }
  115. _validateReachableThreshold();
  116. }
  117. /**
  118. * @dev Sets the signatures `threshold` required to approve a multisignature operation.
  119. * Internal version without access control.
  120. *
  121. * Requirements:
  122. *
  123. * * See {_validateReachableThreshold} for the threshold validation.
  124. */
  125. function _setThreshold(uint64 newThreshold) internal virtual {
  126. _threshold = newThreshold;
  127. _validateReachableThreshold();
  128. emit ERC7913ThresholdSet(newThreshold);
  129. }
  130. /**
  131. * @dev Validates the current threshold is reachable.
  132. *
  133. * Requirements:
  134. *
  135. * * The {signers}'s length must be `>=` to the {threshold}. Throws {MultiSignerERC7913UnreachableThreshold} if not.
  136. */
  137. function _validateReachableThreshold() internal view virtual {
  138. uint256 signersLength = _signers.length();
  139. uint64 currentThreshold = threshold();
  140. require(
  141. signersLength >= currentThreshold,
  142. MultiSignerERC7913UnreachableThreshold(
  143. uint64(signersLength), // Safe cast. Economically impossible to overflow.
  144. currentThreshold
  145. )
  146. );
  147. }
  148. /**
  149. * @dev Decodes, validates the signature and checks the signers are authorized.
  150. * See {_validateSignatures} and {_validateThreshold} for more details.
  151. *
  152. * Example of signature encoding:
  153. *
  154. * ```solidity
  155. * // Encode signers (verifier || key)
  156. * bytes memory signer1 = abi.encodePacked(verifier1, key1);
  157. * bytes memory signer2 = abi.encodePacked(verifier2, key2);
  158. *
  159. * // Order signers by their id
  160. * if (keccak256(signer1) > keccak256(signer2)) {
  161. * (signer1, signer2) = (signer2, signer1);
  162. * (signature1, signature2) = (signature2, signature1);
  163. * }
  164. *
  165. * // Assign ordered signers and signatures
  166. * bytes[] memory signers = new bytes[](2);
  167. * bytes[] memory signatures = new bytes[](2);
  168. * signers[0] = signer1;
  169. * signatures[0] = signature1;
  170. * signers[1] = signer2;
  171. * signatures[1] = signature2;
  172. *
  173. * // Encode the multi signature
  174. * bytes memory signature = abi.encode(signers, signatures);
  175. * ```
  176. *
  177. * Requirements:
  178. *
  179. * * The `signature` must be encoded as `abi.encode(signers, signatures)`.
  180. */
  181. function _rawSignatureValidation(
  182. bytes32 hash,
  183. bytes calldata signature
  184. ) internal view virtual override returns (bool) {
  185. if (signature.length == 0) return false; // For ERC-7739 compatibility
  186. (bytes[] memory signers, bytes[] memory signatures) = abi.decode(signature, (bytes[], bytes[]));
  187. return _validateThreshold(signers) && _validateSignatures(hash, signers, signatures);
  188. }
  189. /**
  190. * @dev Validates the signatures using the signers and their corresponding signatures.
  191. * Returns whether whether the signers are authorized and the signatures are valid for the given hash.
  192. *
  193. * IMPORTANT: Sorting the signers by their `keccak256` hash will improve the gas efficiency of this function.
  194. * See {SignatureChecker-areValidSignaturesNow-bytes32-bytes[]-bytes[]} for more details.
  195. *
  196. * Requirements:
  197. *
  198. * * The `signatures` arrays must be at least as large as the `signers` arrays. Panics otherwise.
  199. */
  200. function _validateSignatures(
  201. bytes32 hash,
  202. bytes[] memory signers,
  203. bytes[] memory signatures
  204. ) internal view virtual returns (bool valid) {
  205. for (uint256 i = 0; i < signers.length; ++i) {
  206. if (!isSigner(signers[i])) {
  207. return false;
  208. }
  209. }
  210. return hash.areValidSignaturesNow(signers, signatures);
  211. }
  212. /**
  213. * @dev Validates that the number of signers meets the {threshold} requirement.
  214. * Assumes the signers were already validated. See {_validateSignatures} for more details.
  215. */
  216. function _validateThreshold(bytes[] memory validatingSigners) internal view virtual returns (bool) {
  217. return validatingSigners.length >= threshold();
  218. }
  219. }