ERC-7579: Minimal Modular Smart Accounts

ERCs
1

Discussion for Add ERC: Minimal Modular Smart Accounts by zeroknots · Pull Request #163 · ethereum/ERCs · GitHub.

The proposal outlines the minimally required interfaces and behavior for modular smart accounts and modules to ensure interoperability across implementations.

11 Likes
2

Hey @kopykat :wave:

Nice work on ERC-7579, I’ve opened a PR proposing a few enhancements aimed at boosting its adaptability and future-proofing the standard:

  • Added a function for dynamic module type identification: function getModuleTypes(address module) external view returns (uint256[]);.
  • Added guidelines for module state management during installation and uninstallation.
  • Emphasized the importance of having at least one active Validation Module for security.
  • Suggested standardized procedures for module installation/uninstallation.

I have a couple of questions:

  • Are module types in ERC-7579 meant to be fixed, or could we consider making them more flexible for future module types?
  • What might be the limitations of adopting a less specific approach to module types?

:+1:

1 Like
3

Great job!
It is a good idea to build an extensible model on a minimal modular contract account!
I will follow this discussion.
Thanks!

1 Like
4

Thanks, I have left some comments on the pr.

To your questions:

  1. What do you mean by fixed? The module types ids already assigned should not be reused and the modules defined should not be given new ids. However, our intention is that if there are further module types in the future then extensions to ERC-7579 should define the next module type ids as the next available integer (eg 5 currently). I see that this is not actually clearly stated in the standard so this is something we could add for further clarity
  2. What do you mean by less specific approach to module types?
1 Like
5

Thanks @kopykat.

  1. By ‘fixed’ I meant whether the module types are rigidly set in the standard or if there’s room for adding new types dynamically in the future.

  2. As for the ‘less specific approach,’ I was considering if having a flexible framework for module types might be beneficial, allowing future expansions without altering the core standard. This could include general functions for module management applicable to all types, enhancing adaptability.

My intention isn’t to overhaul the entire standard, as it’s quite solid already. I’m just considering future adaptability. Let me know if this approach seems feasible and valuable in your view

1 Like
6
  1. Yes, types should be extended by builders and/or future standards. We could add a note for this on the ERC to make it more explicit
  2. I think module type ids being extensible is already a good step towards this. On the point of more generalized functions, I’ve replied on your pr but tldr is that we got feedback early on that having dedicated functions per module type was preferred for verbosity and because adding a new module type would need an account upgrade anyways, but the main downside I can see with this approach is just the overhead of 2 more functions for every new module type
7

Linking the discussion about adding a secondary param to module checkers to allow for more flexibility with module handling.

3 Likes
8

I have a tentative design for modular accounts that would be powered by SETCODE. It would be easy to splice code in and out with SETCODE.

9

Interesting - is there any timeline already for the SETCODE EIP?

10

I hope it will be in Prague but ACDE priorities are unpredictable.

11

Hey everyone, we wanted to share some updates to the standard. We are considering a simplification of the execution functions and the account config functions to both simplify the standard and make it more future proof. Check out the prototype here: GitHub - erc7579/uMSA

1 Like
12

@kopykat Re: the dependence on ERC-4337, I am just starting to work on a modular smart account on zkSync using their native AA, and I would like to use this ERC without the dependency. Do you have any recommendations for me?

13

In general, ERC-7579 has two areas of dependency on ERC-4337:

  • assumption that a tx is split into separate validation and execution phases
  • the usage of the validateUserOp function

The former is pretty key to ERC-7579 so more work would need to be done there to figure out how to make the standard work for account abstraction solutions where this is not the case (but afaik it is the same in the case of zkSync).

The latter is pretty easy to go around, ie to not use validateUserOp but a validation function with another interface and input args. I’m not super familiar with how zkSyncs AA works but happy to chat more on telegram (@konradkopp).

1 Like
14

I don’t want for this ERC to call itself minimal. There is nothing minimal about this design.

15

It is minimal on the context of modular smart accounts, which are quite complex considering both the interoperability and security aspects. Happy to take any feedback on how the standard could be more minimal.

16

Look into the 2byte ABI.

17

The 2byte ABI is the minimal modular smart account design. It used to upgrade via CREATE2 and SELFDESTRUCT and I hope to restore it via SETCODE. It is more modular than anything that can be built with solidity because new subprograms can be directly concatenated.

Examples of contracts using the 2byte abi:

A contract using a similar 1byte abi:

There are more, but I suspect that the number of transactions using the 2byte ABI exceeds the number of transactions using erc-4337.

1 Like