Fundamentos de Programação

State Machine Replication

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.

IDstate-machine-replicationAliasSMR

Leitura rápida

Comece pela explicação mais curta e útil antes de aprofundar.

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.

Modelo mental

Use primeiro a analogia curta para raciocinar melhor sobre o termo quando ele aparecer em código, docs ou prompts.

Pense nisso como um bloco de construção que ajuda a ligar uma definição isolada ao sistema maior onde ela vive.

Contexto técnico

Coloque o termo dentro da camada de Solana em que ele vive para raciocinar melhor sobre ele.

Serialização, memória, estruturas de dados e bases de engenharia.

Por que builders ligam para isso

Transforme o termo de vocabulário em algo operacional para produto e engenharia.

Este termo destrava conceitos adjacentes rapidamente, então funciona melhor quando você o trata como um ponto de conexão, não como definição isolada.

Handoff para IA

Handoff para IA

Use este bloco compacto quando quiser dar contexto aterrado para um agente ou assistente sem despejar a página inteira.

State Machine Replication (state-machine-replication)
Categoria: Fundamentos de Programação
Definição: 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
Relacionados: Validador, Deterministic Execution, Estágio de Replay
Glossary Copilot

Faça perguntas de Solana com contexto aterrado sem sair do glossário.

Use contexto do glossário, relações entre termos, modelos mentais e builder paths para receber respostas estruturadas em vez de output genérico.

Explicar este código

Opcional: cole código Anchor, Solana ou Rust para o Copilot mapear primitivas de volta para termos do glossário.

Faça uma pergunta aterrada no glossário

Faça uma pergunta aterrada no glossário

O Copilot vai responder usando o termo atual, conceitos relacionados, modelos mentais e o grafo ao redor do glossário.

Grafo conceitual

Veja o termo como parte de uma rede, não como uma definição sem saída.

Esses ramos mostram quais conceitos esse termo toca diretamente e o que existe uma camada além deles.

Ramo

Validador

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.

Ramo

Deterministic Execution

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.

Ramo

Estágio de Replay

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.

Próximos conceitos para explorar

Continue a cadeia de aprendizado em vez de parar em uma única definição.

Estes são os próximos conceitos que valem abrir se você quiser que este termo faça mais sentido dentro de um workflow real de Solana.

Protocolo Base

Validador

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.

Blockchain Geral

Deterministic Execution

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.

Protocolo Base

Estágio de Replay

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.

Fundamentos de Programação

TypeScript

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.

Termos relacionados

Siga os conceitos que realmente dão contexto a este termo.

Entradas de glossário só ficam úteis quando estão conectadas. Esses links são o caminho mais curto para ideias adjacentes.

Protocolo Basevalidator

Validador

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.

Blockchain Geraldeterministic-execution

Deterministic Execution

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.

Protocolo Basereplay-stage

Estágio de Replay

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.

Mais na categoria

Permaneça na mesma camada e continue construindo contexto.

Essas entradas vivem ao lado do termo atual e ajudam a página a parecer parte de um grafo maior, não um beco sem saída.

Fundamentos de Programação

Rust

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.

Fundamentos de Programação

TypeScript

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.

Fundamentos de Programação

JavaScript

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.

Fundamentos de Programação

Node.js

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.