Blockchain Geral

BitVM

A computing paradigm proposed by Robin Linus in October 2023 that enables verification of arbitrary computations on Bitcoin without consensus rule changes, using an optimistic model similar to optimistic rollups. A prover claims a computation result, and any verifier can execute a fraud proof on-chain to penalize false claims. BitVM2 (2024) reduced dispute resolution to three on-chain transactions and enabled permissionless verification.

IDbitvmAliasBitcoin Virtual Machine

Leitura rápida

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

A computing paradigm proposed by Robin Linus in October 2023 that enables verification of arbitrary computations on Bitcoin without consensus rule changes, using an optimistic model similar to optimistic rollups. A prover claims a computation result, and any verifier can execute a fraud proof on-chain to penalize false claims. BitVM2 (2024) reduced dispute resolution to three on-chain transactions and enabled permissionless verification.

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.

Conceitos cripto compartilhados que moldam o ecossistema mais amplo.

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.

BitVM (bitvm)
Categoria: Blockchain Geral
Definição: A computing paradigm proposed by Robin Linus in October 2023 that enables verification of arbitrary computations on Bitcoin without consensus rule changes, using an optimistic model similar to optimistic rollups. A prover claims a computation result, and any verifier can execute a fraud proof on-chain to penalize false claims. BitVM2 (2024) reduced dispute resolution to three on-chain transactions and enabled permissionless verification.
Aliases: Bitcoin Virtual Machine
Relacionados: Bitcoin, Bitcoin Layer 2, Rollup
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

Bitcoin

The first decentralized cryptocurrency network, launched in 2009 by the pseudonymous Satoshi Nakamoto, using a Proof-of-Work consensus mechanism and a UTXO-based transaction model. Bitcoin's protocol enforces a fixed supply cap of 21 million BTC, with new coins issued through mining block rewards that halve approximately every four years. It serves as both a peer-to-peer electronic cash system and a store of value, with its scripting language enabling basic programmability such as multisig and timelocks.

Ramo

Bitcoin Layer 2

Scaling and programmability solutions built on top of Bitcoin's base layer that extend its functionality while inheriting some degree of Bitcoin's security. Major approaches include the Lightning Network (payment channels), Stacks (smart contracts via Proof of Transfer), Liquid Network (Blockstream's federated sidechain), and ZK-rollups like Citrea (using BitVM for settlement). These solutions address Bitcoin's limited throughput (~7 TPS) and restricted scripting.

Ramo

Rollup

A Layer 2 scaling technique that executes transactions off-chain, bundles them, and posts compressed data back to L1. Optimistic rollups assume transactions are valid and use fraud proofs for disputes (7-day challenge period). ZK rollups generate cryptographic validity proofs for every batch. Rollups inherit L1 security while providing 10-100x throughput improvement.

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.

Blockchain Geral

Bitcoin

The first decentralized cryptocurrency network, launched in 2009 by the pseudonymous Satoshi Nakamoto, using a Proof-of-Work consensus mechanism and a UTXO-based transaction model. Bitcoin's protocol enforces a fixed supply cap of 21 million BTC, with new coins issued through mining block rewards that halve approximately every four years. It serves as both a peer-to-peer electronic cash system and a store of value, with its scripting language enabling basic programmability such as multisig and timelocks.

Blockchain Geral

Bitcoin Layer 2

Scaling and programmability solutions built on top of Bitcoin's base layer that extend its functionality while inheriting some degree of Bitcoin's security. Major approaches include the Lightning Network (payment channels), Stacks (smart contracts via Proof of Transfer), Liquid Network (Blockstream's federated sidechain), and ZK-rollups like Citrea (using BitVM for settlement). These solutions address Bitcoin's limited throughput (~7 TPS) and restricted scripting.

Blockchain Geral

Rollup

A Layer 2 scaling technique that executes transactions off-chain, bundles them, and posts compressed data back to L1. Optimistic rollups assume transactions are valid and use fraud proofs for disputes (7-day challenge period). ZK rollups generate cryptographic validity proofs for every batch. Rollups inherit L1 security while providing 10-100x throughput improvement.

Blockchain Geral

Blob Transaction (EIP-4844)

An Ethereum transaction type introduced in the Dencun upgrade (March 2024) that carries binary large objects (blobs) of temporary off-chain data. Each blob is 128 KB, committed via KZG polynomial commitments, and stored for ~18 days before pruning. Blob transactions created a separate fee market and reduced Layer 2 rollup fees by 10-100x by providing cheap, temporary data availability.

Comumente confundido com

Termos próximos em vocabulário, sigla ou vizinhança conceitual.

Essas entradas são fáceis de misturar quando você lê rápido, faz prompting em um LLM ou está entrando em uma nova camada de Solana.

Blockchain Geralbitcoin

Bitcoin

The first decentralized cryptocurrency network, launched in 2009 by the pseudonymous Satoshi Nakamoto, using a Proof-of-Work consensus mechanism and a UTXO-based transaction model. Bitcoin's protocol enforces a fixed supply cap of 21 million BTC, with new coins issued through mining block rewards that halve approximately every four years. It serves as both a peer-to-peer electronic cash system and a store of value, with its scripting language enabling basic programmability such as multisig and timelocks.

AliasBTC
Blockchain Geralbitcoin-layer-2

Bitcoin Layer 2

Scaling and programmability solutions built on top of Bitcoin's base layer that extend its functionality while inheriting some degree of Bitcoin's security. Major approaches include the Lightning Network (payment channels), Stacks (smart contracts via Proof of Transfer), Liquid Network (Blockstream's federated sidechain), and ZK-rollups like Citrea (using BitVM for settlement). These solutions address Bitcoin's limited throughput (~7 TPS) and restricted scripting.

AliasBitcoin L2
Blockchain Geralblockchain

Blockchain

A distributed, append-only ledger that records transactions in cryptographically linked blocks. Each block contains a hash of the previous block, forming an immutable chain. Nodes in the network maintain copies of the ledger and reach agreement through consensus mechanisms. Blockchains enable trustless, decentralized record-keeping without a central authority.

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.

Blockchain Geralbitcoin

Bitcoin

The first decentralized cryptocurrency network, launched in 2009 by the pseudonymous Satoshi Nakamoto, using a Proof-of-Work consensus mechanism and a UTXO-based transaction model. Bitcoin's protocol enforces a fixed supply cap of 21 million BTC, with new coins issued through mining block rewards that halve approximately every four years. It serves as both a peer-to-peer electronic cash system and a store of value, with its scripting language enabling basic programmability such as multisig and timelocks.

Blockchain Geralbitcoin-layer-2

Bitcoin Layer 2

Scaling and programmability solutions built on top of Bitcoin's base layer that extend its functionality while inheriting some degree of Bitcoin's security. Major approaches include the Lightning Network (payment channels), Stacks (smart contracts via Proof of Transfer), Liquid Network (Blockstream's federated sidechain), and ZK-rollups like Citrea (using BitVM for settlement). These solutions address Bitcoin's limited throughput (~7 TPS) and restricted scripting.

Blockchain Geralrollup

Rollup

A Layer 2 scaling technique that executes transactions off-chain, bundles them, and posts compressed data back to L1. Optimistic rollups assume transactions are valid and use fraud proofs for disputes (7-day challenge period). ZK rollups generate cryptographic validity proofs for every batch. Rollups inherit L1 security while providing 10-100x throughput improvement.

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.

Blockchain Geral

Blockchain

A distributed, append-only ledger that records transactions in cryptographically linked blocks. Each block contains a hash of the previous block, forming an immutable chain. Nodes in the network maintain copies of the ledger and reach agreement through consensus mechanisms. Blockchains enable trustless, decentralized record-keeping without a central authority.

Blockchain Geral

Mecanismo de Consenso

The protocol by which nodes in a distributed network agree on the current state of the ledger. Common mechanisms include Proof of Work (Bitcoin), Proof of Stake (Ethereum, Solana), and BFT variants. Consensus ensures all honest nodes converge on the same transaction history despite potential network delays or malicious actors.

Blockchain Geral

Prova de Participação (PoS)

A consensus mechanism where validators are selected to produce blocks based on the amount of cryptocurrency they have staked (locked) as collateral. PoS is energy-efficient compared to Proof of Work. Misbehaving validators risk losing their stake (slashing). Solana, Ethereum (post-Merge), Cosmos, and Cardano use PoS variants.

Blockchain Geral

Prova de Trabalho (PoW)

A consensus mechanism where miners compete to solve computationally expensive puzzles to produce blocks and earn rewards. PoW provides strong security (51% attack resistance) but is energy-intensive. Bitcoin and pre-Merge Ethereum use PoW. The difficulty adjusts to maintain target block times regardless of total network hash power.