Blockchain General

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

Lectura rápida

Empieza por la explicación más corta y útil antes de profundizar.

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

Usa primero la analogía corta para razonar mejor sobre el término cuando aparezca en código, docs o prompts.

Piensa en esto como un bloque de construcción que conecta una definición aislada con el sistema mayor donde vive.

Contexto técnico

Ubica el término dentro de la capa de Solana en la que vive para razonar mejor sobre él.

Conceptos compartidos de cripto que dan marco al ecosistema más amplio.

Por qué le importa a un builder

Convierte el término de vocabulario en algo operacional para producto e ingeniería.

Este término desbloquea conceptos adyacentes rápido, así que funciona mejor cuando lo tratas como un punto de conexión y no como una definición aislada.

Handoff para IA

Handoff para IA

Usa este bloque compacto cuando quieras dar contexto sólido a un agente o asistente sin volcar toda la página.

BitVM (bitvm)
Categoría: Blockchain General
Definición: 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

Haz preguntas de Solana con contexto aterrizado sin salir del glosario.

Usa contexto del glosario, relaciones entre términos, modelos mentales y builder paths para recibir respuestas estructuradas en vez de output genérico.

Abrir workspace completa del Copilot
Explicar este código

Opcional: pega código Anchor, Solana o Rust para que el Copilot mapee primitivas de vuelta al glosario.

Haz una pregunta aterrizada en el glosario

Haz una pregunta aterrizada en el glosario

El Copilot responderá usando el término actual, conceptos relacionados, modelos mentales y el grafo alrededor del glosario.

Grafo conceptual

Ve el término como parte de una red, no como una definición aislada.

Estas ramas muestran qué conceptos toca este término directamente y qué existe una capa más allá de ellos.

Rama

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.

Rama

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.

Rama

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.

Siguientes conceptos para explorar

Mantén la cadena de aprendizaje en movimiento en lugar de parar en una sola definición.

Estos son los siguientes conceptos que vale la pena abrir si quieres que este término tenga más sentido dentro de un workflow real de Solana.

Blockchain General

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 General

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 General

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 General

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.

Comúnmente confundido con

Términos cercanos en vocabulario, acrónimo o vecindad conceptual.

Estas entradas son fáciles de mezclar cuando lees rápido, haces prompting a un LLM o estás entrando en una nueva capa de Solana.

Blockchain Generalbitcoin

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 Generalbitcoin-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 Generalblockchain

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.

Términos relacionados

Sigue los conceptos que realmente le dan contexto a este término.

Las entradas del glosario se vuelven útiles cuando están conectadas. Estos enlaces son el camino más corto hacia ideas adyacentes.

Blockchain Generalbitcoin

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 Generalbitcoin-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 Generalrollup

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.

Más en la categoría

Quédate en la misma capa y sigue construyendo contexto.

Estas entradas viven junto al término actual y ayudan a que la página se sienta parte de un grafo de conocimiento más amplio en lugar de un callejón sin salida.

Blockchain General

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 General

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 General

Prueba de Participación (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 General

Prueba de Trabajo (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.