Storage example

[mohammadfawaz]

Adds a storage example demonstrating storage singletons, struct storage, vector storage, and external storage access in Leo 4.

What's in the example

Two programs that together showcase on-chain storage and cross-program reads:

• treasury.aleo — Declares and manages on-chain state using Leo 4 storage variables:

  • Singletons: storage balance: u64, storage is_frozen: bool, storage deposit_count: u32
  • Struct storage: storage config: FeeConfig — stored and read atomically
  • Vector storage: storage deposit_log: [u64] — dynamically-sized on-chain list with push, pop, get, len, clear
  • Demonstrates unwrap / unwrap_or for reading optional slots, none assignment for clearing, and the Final return type

• auditor.aleo — Reads treasury storage externally without any getter functions:

  • External singleton reads: treasury.aleo::balance.unwrap_or(0u64)
  • External struct reads: treasury.aleo::config.unwrap_or(treasury.aleo::FeeConfig { ... })
  • External vector reads: treasury.aleo::deposit_log.len(), treasury.aleo::deposit_log.get(0u32)
  • Cross-program struct type references: treasury.aleo::FeeConfig

How to run

run.sh handles the full flow:

1. Part 1 (local, no devnode): runs treasury operations locally — initialize, deposit, withdraw, freeze, unfreeze, config update
2. Part 2 (requires leo devnode): deploys both programs, performs treasury operations on-chain, then runs auditor functions that read treasury storage cross-program — including detecting a treasury freeze