Module zebra_state::service::finalized_state::zebra_db

Provides high-level access to the database using zebra_chain types.

This module makes sure that:

• all disk writes happen inside a RocksDB transaction, and
• format-specific invariants are maintained.

Correctness

crate::constants::state_database_format_version_in_code() must be incremented each time the database format (column, serialization, etc) changes.

Modules

• arbitrary
  Arbitrary value generation and test harnesses for high-level typed database access.
• block
  Provides high-level access to database Blocks and Transactions.
• chain
  Provides high-level access to database whole-chain:
• metrics
  Provides high-level database metrics.
• shielded
  Provides high-level access to database shielded:
• transparent
  Provides high-level access to database:

Structs

• ZebraDb
  Wrapper struct to ensure high-level zebra-state database access goes through the correct API.