Skip to content

Storage: add automatic default EIP-7201 namespace policy #1896

@Th0rgal

Description

@Th0rgal

Problem

#1730 originally covered automatic EIP-7201 namespaced storage. Verity now has opt-in storage_namespace, but it does not yet provide a default namespace policy for contracts that omit an explicit namespace.

Scope

  • Choose the default namespace derivation rule for verity_contract storage.
  • Preserve an explicit opt-out or compatibility mode for legacy/simple contracts if needed.
  • Make generated slot roots stable and visible in artifacts/trust reports.
  • Add diagnostics for ambiguous namespace configuration.
  • Add smoke tests for default namespace generation and explicit namespace override behavior.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions