Ledger Model

⚠️ Work in Progress: This section is under development.

This chapter covers the ledger model used in Ursus for representing blockchain state.

Topics to be Covered

Ledger Basics

What is a ledger
Ledger types
Ledger classes
Ledger instances

State Representation

Contract state
Global state
Message state
Execution state

Ledger Operations

State reads
State writes
State queries
State updates

Type Classes

LedgerClass
VMStateClass
LocalStateClass
Custom ledger classes

Ledger Architecture

Layers

Physical Layer - Actual blockchain state
Logical Layer - Contract-level state
Execution Layer - Runtime state
Verification Layer - Proof state

State Transitions

Valid transitions
Invalid transitions
Transition guards
Rollback

Coming Soon

This section will include:

Ledger type definitions
Implementation details
Usage examples
Custom ledger creation

See Also

Advanced Topics - Overview
Local State - Local state management
Contract Record - State structure