Possible cardinalities of users and subgraphs

[PaulRBerg]

Context

@razgraf and I held a productive whiteboarding session yesterday.

One important observation we made is that we have been (unwittingly) restricting the cardinality of subgraphs by assuming that each address has to be in one subgraph at a time.

Cardinalities

Name	Users	Subgraphs
SS	Single Accounts	Single Subgraph per Account
MS	Many Accounts	Single Subgraph per Account
SM	Single Accounts	Many Subgraphs per Account
MM	Many Accounts	Many Subgraphs per Account

Definitions

• Single Accounts
  • just like in vanilla Ethereum, there are no sender and recipient subaccounts
• Many Accounts
  • each user account has a sender and a recipient subaccount (requires Account Abstraction)
  • users are required to claim from their recipient subaccounts and move the funds to the sender subaccount in order to create streams
• Single Subgraph per Account
  • each account (including sender and recipient subaccounts) can be in one single subgraph, globally
• Many Subgraphs per Account
  • each account (including sender and recipient subaccounts) can be in many subgraphs;
  • users are required to claim from their recipient subaccounts and move the funds to the sender subaccount in order to create streams

Takeaway

This observation led us to a new VM design similar to the sender and recipient subaccounts design, but better. The trick is to use the MM cardinality, but I will open a separate discussion to share this idea.