Descripción general
La verificación es el proceso mediante el cual cada nodo de Bitcoin valida independientemente que las transacciones y los bloques cumplen con las reglas de consenso del protocolo. Esta verificación autónoma es lo que hace que Bitcoin sea sin confianza — ningún participante necesita depender de las afirmaciones de ningún otro participante sobre el estado del libro mayor. Cada nodo completo puede determinar independientemente si una transacción o bloque es válido.
Qué se verifica
Verificación de transacciones
Cuando un nodo recibe una nueva transacción, verifica:
- Que todas las entradas referenciadas existen en el conjunto UTXO (las monedas no han sido ya gastadas)
- Que las condiciones de gasto están correctamente satisfechas (firmas válidas, preimágenes hash correctas, timelocks cumplidos)
- Que los valores de entrada son iguales o superiores a los valores de salida (sin inflación)
- Que la transacción está correctamente formateada y dentro de los límites de tamaño
- Que los scripts se ejecutan con éxito y cumplen con las reglas de estandaridad
Verificación de bloques
Cuando un nodo recibe un nuevo bloque, verifica:
Lista de verificación de bloques:
┌─────────────────────────────────────────────┐
│ ✓ El hash de la cabecera del bloque cumple │
│ el objetivo de dificultad │
│ ✓ La marca de tiempo está en rango aceptable│
│ ✓ El tamaño del bloque está dentro de límit.│
│ ✓ La primera transacción es una coinbase │
│ válida │
│ ✓ La recompensa coinbase ≤ subsidio + comis.│
│ ✓ Todas las transacciones son válidas │
│ ✓ Sin dobles gastos dentro del bloque │
│ ✓ La raíz Merkle coincide con transacciones │
│ ✓ El hash del bloque anterior referencia un │
│ bloque conocido │
└─────────────────────────────────────────────┘
"No confíes, verifica"
Esta frase encapsula el modelo de seguridad de Bitcoin. En lugar de confiar en los mineros, exchanges o cualquier tercero, los usuarios que ejecutan nodos completos verifican todo de manera independiente. Esto es fundamentalmente diferente de los sistemas financieros tradicionales donde la confianza se delega a bancos, procesadores de pagos y reguladores.
Verificación vs. SPV
Los nodos SPV realizan una verificación parcial — verifican la prueba de trabajo en las cabeceras de bloques y la inclusión Merkle de las transacciones, pero no validan cada transacción ni regla de consenso. Solo los nodos completos realizan una verificación completa, por lo que ejecutar un nodo completo proporciona la mayor garantía de seguridad.
Conceptos erróneos comunes
La verificación no es lo mismo que la minería. Los mineros realizan la verificación como parte de su proceso, pero también gastan energía computacional para encontrar hashes de bloques válidos. Todos los nodos completos verifican, pero solo los mineros crean nuevos bloques.