feat: update contracts

* v1 MSCA and plugins
* v2 MSCA and modules (WIP)

Author: huaweigu

.github/workflows/coverage.yml

@@ -20,4 +20,7 @@ jobs:
       - name: Setup environment
         uses: ./.github/actions/setup
 
-      # TODO report and check coverage
+      # TODO: fail the build if coverage is below the threshold
+      # TODO: print the coverage report in the github output
+      - name: Run Test Coverage
+        run: yarn coverage

.licenseignore

@@ -0,0 +1 @@
+pkg:npm/%40erc6900/reference-implementation

foundry.toml

@@ -3,12 +3,13 @@ fs_permissions = [{ access = "read-write", path = "./gas"},
     { access = "read", path = "./test/fixtures"}]
 src = 'src'
 out = 'out'
-libs = ['lib']
+libs = ['lib', 'node_modules']
 solc_version = "0.8.24"
 test = 'test'
 via_ir = true
 auto_detect_solc = false
 auto_detect_remappings = false
+deny_warnings = true
 
 [fuzz]
 runs = 1024

package.json

@@ -5,10 +5,10 @@
   "scripts": {
     "clean": "rm -rf cache artifacts typechain-types",
     "build": "forge build",
-    "lint": "solhint -w 112 -c .solhint-src.json './src/**/*.sol' && solhint -w 228 -c .solhint-test.json './test/**/*.sol' && solhint -w 0 -c .solhint-script.json './script/**/*.sol'",
+    "lint": "solhint -w 105 -c .solhint-src.json './src/**/*.sol' && solhint -w 228 -c .solhint-test.json './test/**/*.sol' && solhint -w 0 -c .solhint-script.json './script/**/*.sol'",
     "test": "forge test -vv",
     "gasreport": "forge test --gas-report > gas/reports/gas-report.txt",
-    "coverage": "forge coverage --ir-minimum",
+    "coverage": "forge coverage",
     "format:check": "forge fmt --check",
     "format:write": "forge fmt"
   },
@@ -20,7 +20,8 @@
     "@openzeppelin/contracts-upgradeable": "5.0.2",
     "fcl": "github:rdubois-crypto/FreshCryptoLib#8179e08cac72072bd260796633fec41fdfd5b441",
     "forge-std": "github:foundry-rs/forge-std#v1.9.2",
-    "solady": "0.0.243"
+    "solady": "0.0.243",
+    "@erc6900/reference-implementation": "github:erc6900/reference-implementation#v0.8.0-rc.6"
   },
   "devDependencies": {
     "solhint": "^5.0.3"

remappings.txt

@@ -5,3 +5,5 @@
 @solady/=node_modules/solady/src/
 @fcl/=node_modules/fcl/solidity/src/
 forge-std/=node_modules/forge-std/
+@erc6900/reference-implementation/=node_modules/@erc6900/reference-implementation/src/
+@eth-infinitism/account-abstraction/=lib/account-abstraction/contracts/

src/msca/6900/README.md

@@ -0,0 +1,2 @@
+# Acknowledgements
+The contracts in this folder are based on the ERC-6900 specification and are significantly influenced by the design of the ERC-6900 reference implementation. 

src/msca/6900/shared/common/Errors.sol

@@ -59,3 +59,5 @@ error InvalidItem();
 
 // v2 NotImplemented
 error NotImplementedFunction(bytes4 selector, uint32 entityId);
+
+error SignatureInflation();

src/msca/6900/v0.7/account/UpgradableMSCA.sol

@@ -18,6 +18,7 @@
  */
 pragma solidity 0.8.24;
 
+import {DefaultCallbackHandler} from "../../../../callback/DefaultCallbackHandler.sol";
 import {ExecutionUtils} from "../../../../utils/ExecutionUtils.sol";
 import {InvalidInitializationInput} from "../../shared/common/Errors.sol";
 import {FunctionReference} from "../common/Structs.sol";
@@ -26,13 +27,17 @@ import {BaseMSCA} from "./BaseMSCA.sol";
 import {IEntryPoint} from "@account-abstraction/contracts/interfaces/IEntryPoint.sol";
 import {UUPSUpgradeable} from "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
 
+import {IERC1271} from "@openzeppelin/contracts/interfaces/IERC1271.sol";
+import {IERC1155Receiver} from "@openzeppelin/contracts/token/ERC1155/IERC1155Receiver.sol";
+import {IERC721Receiver} from "@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
+
 /**
  * @dev Leverage {ERC1967Proxy} brought by UUPS proxies, when this contract is set as the implementation behind such a
  * proxy.
  * The {_authorizeUpgrade} function is overridden here so more granular ACLs to the upgrade mechanism should be enforced
  * by plugins.
  */
-contract UpgradableMSCA is BaseMSCA, UUPSUpgradeable {
+contract UpgradableMSCA is BaseMSCA, DefaultCallbackHandler, UUPSUpgradeable {
     using ExecutionUtils for address;
 
     event UpgradableMSCAInitialized(address indexed account, address indexed entryPointAddress);
@@ -72,6 +77,17 @@ contract UpgradableMSCA is BaseMSCA, UUPSUpgradeable {
         emit UpgradableMSCAInitialized(address(this), address(entryPoint));
     }
 
+    function supportsInterface(bytes4 interfaceId)
+        public
+        view
+        override(BaseMSCA, DefaultCallbackHandler)
+        returns (bool)
+    {
+        // BaseMSCA has already implemented ERC165
+        return BaseMSCA.supportsInterface(interfaceId) || interfaceId == type(IERC721Receiver).interfaceId
+            || interfaceId == type(IERC1155Receiver).interfaceId || interfaceId == type(IERC1271).interfaceId;
+    }
+
     /// @inheritdoc UUPSUpgradeable
     function upgradeToAndCall(address newImplementation, bytes memory data)
         public

src/msca/6900/v0.7/libs/SelectorRegistryLib.sol

@@ -28,6 +28,9 @@ import {IAggregator} from "@account-abstraction/contracts/interfaces/IAggregator
 import {IPaymaster} from "@account-abstraction/contracts/interfaces/IPaymaster.sol";
 import {UUPSUpgradeable} from "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
 
+import {IERC777Recipient} from "@openzeppelin/contracts/interfaces/IERC777Recipient.sol";
+import {IERC1155Receiver} from "@openzeppelin/contracts/token/ERC1155/IERC1155Receiver.sol";
+import {IERC721Receiver} from "@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
 import {IERC165} from "@openzeppelin/contracts/utils/introspection/IERC165.sol";
 
 library SelectorRegistryLib {
@@ -61,7 +64,10 @@ library SelectorRegistryLib {
             || selector == IAccountLoupe.getInstalledPlugins.selector || selector == VALIDATE_USER_OP
             || selector == GET_ENTRYPOINT || selector == GET_NONCE || selector == INITIALIZE_UPGRADABLE_MSCA
             || selector == INITIALIZE_SINGLE_OWNER_MSCA || selector == TRANSFER_NATIVE_OWNERSHIP
-            || selector == RENOUNCE_NATIVE_OWNERSHIP || selector == GET_NATIVE_OWNER;
+            || selector == RENOUNCE_NATIVE_OWNERSHIP || selector == GET_NATIVE_OWNER
+            || selector == IERC1155Receiver.onERC1155Received.selector
+            || selector == IERC1155Receiver.onERC1155BatchReceived.selector
+            || selector == IERC721Receiver.onERC721Received.selector || selector == IERC777Recipient.tokensReceived.selector;
     }
 
     function _isErc4337FunctionSelector(bytes4 selector) internal pure returns (bool) {

src/msca/6900/v0.7/plugins/BasePlugin.sol

@@ -82,7 +82,7 @@ abstract contract BasePlugin is IPlugin, ERC165 {
         virtual
         returns (uint256 validationData)
     {
-        (functionId, userOp, userOpHash);
+        (functionId, userOp, userOpHash, validationData);
         revert NotImplemented(msg.sig, functionId);
     }
 
@@ -98,7 +98,7 @@ abstract contract BasePlugin is IPlugin, ERC165 {
         virtual
         returns (uint256 validationData)
     {
-        (functionId, userOp, userOpHash);
+        (functionId, userOp, userOpHash, validationData);
         revert NotImplemented(msg.sig, functionId);
     }
 
@@ -145,7 +145,7 @@ abstract contract BasePlugin is IPlugin, ERC165 {
         virtual
         returns (bytes memory context)
     {
-        (functionId, sender, value, data);
+        (functionId, sender, value, data, context);
         revert NotImplemented(msg.sig, functionId);
     }