Distributed computing pattern where identical copies of a state machine are maintained across multiple nodes. Each node processes the same sequence of inputs deterministically, producing identical outputs. Solana validators are state machines: given the same ledger of transactions, every validator produces the same account state.
Start with the shortest useful explanation before going deeper.
Distributed computing pattern where identical copies of a state machine are maintained across multiple nodes. Each node processes the same sequence of inputs deterministically, producing identical outputs. Solana validators are state machines: given the same ledger of transactions, every validator produces the same account state.
Use the quick analogy first so the term is easier to reason about when you meet it in code, docs, or prompts.
Think of it as a building block that connects one definition to the larger Solana system around it.
Place the term inside its Solana layer so the definition is easier to reason about.
Serialization, memory, data structures, and core engineering basics.
Turn the term from vocabulary into something operational for product and engineering work.
This term unlocks adjacent concepts quickly, so it works best when you treat it as a junction instead of an isolated definition.
Use this compact block when you want to give an agent or assistant grounded context without dumping the entire page.
State Machine Replication (state-machine-replication) Category: Programming Fundamentals Definition: Distributed computing pattern where identical copies of a state machine are maintained across multiple nodes. Each node processes the same sequence of inputs deterministically, producing identical outputs. Solana validators are state machines: given the same ledger of transactions, every validator produces the same account state. Aliases: SMR Related: Validator, Deterministic Execution, Replay Stage
Use glossary context, relationships, mental models, and builder paths to get structured answers instead of generic chat output.
Optional: paste Anchor, Solana, or Rust code so the Copilot can map primitives back to glossary terms.
The Copilot will answer using the current term, related concepts, mental models, and the surrounding glossary graph.
These branches show which concepts this term touches directly and what sits one layer beyond them.
A node that participates in the Solana network by validating transactions, voting on blocks, and (when selected as leader) producing new blocks. Validators run the Agave, Firedancer, or Jito client software, require significant hardware (128+ GB RAM, high-core CPU, NVMe SSD), and earn rewards from inflation and transaction fees.
The property that given identical inputs and initial state, a program will always produce the exact same output and state transitions regardless of which machine executes it. Deterministic execution is foundational to blockchain consensus because every validator must independently arrive at the same result when processing transactions. Sources of non-determinism (floating point, random numbers, system time) must be eliminated or controlled in blockchain runtimes.
The TVU component that replays received blocks by re-executing all transactions against the bank state. Replay stage verifies that transaction results match the leader's claimed results, updates the bank, and generates Tower BFT votes for valid blocks. If a replayed block is invalid, the validator marks that fork as dead.
These are the next concepts worth opening if you want this term to make more sense inside a real Solana workflow.
Glossary entries become useful when they are connected. These links are the shortest path to adjacent ideas.
A node that participates in the Solana network by validating transactions, voting on blocks, and (when selected as leader) producing new blocks. Validators run the Agave, Firedancer, or Jito client software, require significant hardware (128+ GB RAM, high-core CPU, NVMe SSD), and earn rewards from inflation and transaction fees.
The property that given identical inputs and initial state, a program will always produce the exact same output and state transitions regardless of which machine executes it. Deterministic execution is foundational to blockchain consensus because every validator must independently arrive at the same result when processing transactions. Sources of non-determinism (floating point, random numbers, system time) must be eliminated or controlled in blockchain runtimes.
The TVU component that replays received blocks by re-executing all transactions against the bank state. Replay stage verifies that transaction results match the leader's claimed results, updates the bank, and generates Tower BFT votes for valid blocks. If a replayed block is invalid, the validator marks that fork as dead.
These entries live beside the current term and help the page feel like part of a larger knowledge graph instead of a dead end.
A systems programming language emphasizing memory safety, zero-cost abstractions, and concurrency without a garbage collector. Rust uses an ownership model with borrow checking at compile time to prevent data races and null pointer bugs. It is the primary language for Solana program development (via Anchor or native solana-program crate) and the Agave validator client.
A statically typed superset of JavaScript that compiles to plain JavaScript. TypeScript adds type annotations, interfaces, generics, and enums to catch errors at compile time. It is the standard language for Solana client-side development—wallet adapters, dApp frontends, test suites, and SDK interactions (web3.js, Anchor client) are typically written in TypeScript.
The ubiquitous scripting language for web development, running in browsers and Node.js. JavaScript is dynamically typed and event-driven. Most Solana dApp frontends and scripts use JavaScript/TypeScript with libraries like @solana/web3.js. Node.js enables server-side JS for backend services, indexers, and bot development.
A JavaScript runtime built on Chrome's V8 engine that enables server-side JavaScript execution. Node.js uses an event-driven, non-blocking I/O model. In the Solana ecosystem, Node.js is used for: running Anchor tests (Mocha/Jest), backend services, transaction bots, indexers, and CLI tools. npm/yarn/pnpm manage JavaScript package dependencies.