0xMiden / 0xMiden/protocol

Storage and storage schemas can diverge when storage layout is defined dynamically

Open
#3,772 0 comments 0 reactions 0 assignees View on GitHub
standards
Dominant language
Rust
Stars
132
Forks
167
Avg merge
1d 23h
Merged PRs (30d)
110

Description

We have some components where storage layout is dynamic (i.e., whether some storage slots are present depends on values in other storage slots). This makes storage schemas (which are defined statically) diverge from the storage itself under some conditions (see https://github.com/0xMiden/protocol/pull/3648/changes#r3848434390). Potential ways to address it:

- Treat storage schemas as a superset of possible storage state (that's kind of how it works now).
- Move away from the dynamic storage pattern (not sure what the exact impact here would be).
- Make storage schemas dynamic as well (tricky to do for static definitions via TOML files).

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.