execution_flows.md

High-level overview of Execution Flows

The below sections provide a high-level overview of the execution different flows for the Safe{Core} Protocol.

Enable Module flow

---
title: Safe{Core} Protocol High-level execution flow for enabling a Module
---
flowchart TD;
subgraph Users
   User(User)
end

subgraph Accounts
   User(User) -->|Call manager to enable Sample Plugin| Account
end

subgraph SafeProtocolManager
    Account -->|Enable Sample Plugin Tx| Enable_Module(Enable Module on a Safe)
    Enable_Plugin --> Validator{Is Sample Module trusted?<br>Call SafeProtocolRegistry}
    Validator -- Yes --> C(Sample Module enabled on Safe)
    Validator -- No ----> E(Revert transaction)
end

Loading

Transaction execution through Plugin

---
title: Safe{Core} Protocol High-level Plugin execution flow
---
flowchart TD;
   TxExecuteFromPlugin(Call to Plugin to execute tx ) --> ExamplePlugin1
   Account --> Execute_Transaction_From_Plugin(Execute transaction)
   Validate_ExecuteFromPluginFlow -- Yes --> Account("Safe{Core} Protocol Account")
subgraph Plugins
   ExamplePlugin1(Sample Plugin)
end

subgraph SafeProtocolManager
    ExamplePlugin1 -->|Execute tx for an Account through Plugin| Execute_Transaction(Execute transaction from a Plugin) --> Validate_ExecuteFromPluginFlow{Is Plugin Enabled?<br>Call SafeProtocolRegistry<br>and validate if Plugin trusted}
    Validate_ExecuteFromPluginFlow -- No ----> E(Revert transaction)
end

Loading

Account transaction execution with Hooks

---
title: Safe{Core} Protocol High-level execution flow through Safe
---
flowchart TD;
subgraph Users
   User(User)
end

subgraph Accounts
   User(User) -->|Execute Tx| Account
   End
end

subgraph SafeAccount [Account with SafeProtocolManager enabled as Hook]
   PreCheck_Hook
   PreCheck_Hook("Pre-check Hook") -->|On passing pre-checks| ExecuteTx(Execute Account Transaction)
   ExecuteTx -->|On successful execution| PostCheckHook(Post-check hook)
   PostCheckHook -->|On passing post checks| End
end

Loading

Function Handler

---
title: Safe{Core} Protocol Function Handler execution
---
flowchart TD;
subgraph Users
   User(User)
end

subgraph SafeAccounts [Account]
   User(User) --> |Call a function that is not natively defined in the account|SafeAccount
end

subgraph SafeAccount [Account with Manager enabled as Fallback handler]
   IsFunctionHandlerAdded
   IsFunctionHandlerAdded{"`Is Function Handler added by account for the function selector?`"} -->|Yes| CallFunctionHandler("Call handle() function of the Function Handler")
   IsFunctionHandlerAdded --> |No| Revert
end

Loading

Signature Validator

---
title: Safe{Core} Protocol High-level execution flow for signature verification
---
flowchart TD;
   Sign_Transaction(Signature forward to a smart contract for validation as input)

subgraph Users
   User(User)
end

subgraph SignatureValidator [Signature validator enabled for the given Safe]
   isValidSignature(isValidSignature)
   isValidSignature --> |No| E(Revert transaction)
end

Sign_Transaction --> RequestToValidate
RequestToValidate(Call to validate a Signature for a given Account) --> SafeProtocolManager

SafeProtocolManager --> isValidSignature{isValidSignature}

isValidSignature --> |Yes| ExecuteTx(Continue transaction execution)

User("`Users(s)`") --> |Generate an Account signature| Sign_Transaction

Loading