Saltar al contenido principal

Estructura del Bloque: ¿Cómo se Empaquetan y Enlazan los Datos?

Ahora que sabemos cómo la red llega a un consenso sobre "quién lleva el libro mayor", acerquémonos al "libro mayor" en sí —el "bloque"— para ver cómo los datos se empaquetan y enlazan ingeniosamente, creando una cadena de confianza inquebrantable.

1.3 Estructura del Bloque: ¿Cómo se Empaquetan y Enlazan los Datos?

Los bloques condensan numerosas transacciones en "cabeceras de bloque" y "cuerpos de bloque", enlazándolos de extremo a extremo con cadenas de hash para formar un libro mayor inmutable.

Piénsalo como escribir un libro de historia colaborativo. Cada página (un bloque) registra todos los eventos significativos (transacciones) de los últimos diez minutos. Para asegurar que este libro sea creíble e inalterable, hemos diseñado una estructura sofisticada para cada página.

Dos Componentes Principales de un Bloque​

Cada bloque se compone de dos partes esenciales:

  1. Cabecera del Bloque Actúa como la "ficha de índice" o "portada" del bloque, resumiendo los metadatos del mismo. No enumera transacciones específicas, pero proporciona una versión compacta de esta información. Los campos clave incluyen:
  • previous_hash: Este campo crucial contiene el valor hash de la cabecera del bloque anterior. Actúa como una cadena, "enlazando" firmemente el bloque actual con el anterior.
  • merkle_root: Esta es la "huella digital" de todos los datos de transacción en el bloque. Generado a través de un algoritmo de árbol Merkle, representa de forma única y compacta todas las transacciones. Cualquier ligero cambio en una transacción altera drásticamente este valor raíz.
  • timestamp: Marca la hora aproximada de creación del bloque.
  • difficulty / target: En las cadenas PoW, esto indica la dificultad de la "minería". Los mineros deben encontrar un valor hash inferior a este objetivo.
  • nonce: Un "contador" que los mineros pueden ajustar en PoW. Al cambiar el Nonce repetidamente, los mineros buscan calcular un hash de cabecera de bloque que cumpla con el objetivo de dificultad.
  1. Cuerpo del Bloque Este es el "texto" del bloque, que contiene todos los datos específicos empaquetados en este bloque, principalmente la lista de transacciones. Cada transacción es una estructura de datos compleja, que generalmente incluye detalles como el remitente, el receptor, la cantidad y la firma digital. El cuerpo del bloque es mucho más grande que la cabecera del bloque.

Árbol Merkle: Compresión Criptográfica para Verificación por Lotes​

Si quisieras verificar si una oración particular existe en un libro grueso, ¿lo leerías de principio a fin? El árbol Merkle ofrece una forma más eficiente de verificar.

Su construcción es como un torneo eliminatorio:

  1. Primero, calcula el valor hash de cada transacción en el cuerpo del bloque.
  2. Luego, concatena los valores hash de dos transacciones adyacentes y vuelve a aplicar hash para generar un nodo hash de nivel superior.
  3. Repite este proceso de emparejamiento y hashing hasta que solo quede un valor hash único. Este hash superior es la merkle_root.

Ventajas del Árbol Merkle:

  • Verificación Eficiente: Para probar que una transacción específica existe en este bloque, no necesitas descargar todo el cuerpo del bloque (que podría tener miles de transacciones). Solo necesitas la transacción en sí, la raíz del árbol Merkle y algunos nodos hash "hermanos" en el camino desde la transacción hasta la raíz del árbol (la longitud de este camino es logarítmica, es decir, log_2(n)).
  • Soporte para Nodos Ligeros: Esto permite "monederos ligeros" o nodos de "Verificación de Pagos Simplificada" (SPV). Estos dispositivos (como los monederos móviles) tienen almacenamiento limitado y solo necesitan descargar todas las cabeceras de bloque para verificar de forma rápida y segura si las transacciones relacionadas con ellos han sido confirmadas sin almacenar el historial completo de transacciones.

Cadena de Hash: El "Sello Digital" Contra la Manipulación​

Ahora, combinemos las cabeceras de bloque y los árboles Merkle para ver cómo blockchain logra sus impresionantes propiedades anti-manipulación.

Cada cabecera de bloque incluye el valor hash de la cabecera del bloque anterior. Esto significa que la identidad del bloque n (su valor hash) está determinada por su contenido y la identidad del bloque n-1. La identidad del bloque n-1 está determinada por su contenido y el bloque n-2, y así sucesivamente, hasta el bloque génesis.

Esto forma una cadena interconectada e inseparable. Supongamos que un atacante quiere alterar la historia, como modificar una transacción en el bloque i:

  1. Modifican la transacción, lo que provoca que la merkle_root del bloque i cambie.
  2. El cambio en merkle_root altera el hash de la cabecera del bloque i.
  3. Dado que el campo previous_hash del bloque i+1 registra el hash antiguo y correcto del bloque i, este enlace ahora está "roto". Para reconectar la cadena, el atacante debe modificar el campo previous_hash del bloque i+1.
  4. Pero este cambio altera el hash de la cabecera del bloque i+1, forzando modificaciones en el bloque i+2...
  5. El atacante debe recalcular todos los bloques desde el bloque i hasta el bloque más reciente.

En las cadenas PoW, esto significa que necesitan gastar una enorme potencia computacional para alcanzar y superar el trabajo total acumulado por todos los mineros honestos, una tarea casi imposible de lograr económica y físicamente. En las cadenas PoS, la manipulación del historial también requiere controlar una gran cantidad de tokens apostados, y si se descubre tal comportamiento, se enfrenta al riesgo de severas penalizaciones por parte del sistema.

Este diseño es como sellar cada bloque con un "sello digital" y estampar el bloque actual con la impresión del sello del bloque anterior, formando un sello continuo y verificable públicamente.

Proceso de Empaquetado de Datos (Tomando PoW como Ejemplo)​

  1. Recolección: Los nodos mineros recolectan un gran número de transacciones no confirmadas del "pool de transacciones" de la red.
  2. Generar Raíz del Árbol: Calcula el hash de todas las transacciones seleccionadas y construye un árbol Merkle para obtener una merkle_root única.
  3. Ensamblar Cabecera del Bloque: Reúne la merkle_root, el previous_hash y otros campos en una cabecera de bloque y establece un valor nonce inicial.
  4. "Minería": Itera continuamente el nonce (0, 1, 2, 3...) y calcula repetidamente el valor hash de toda la cabecera del bloque hasta encontrar una solución hash menor que el objetivo de dificultad actual.
  5. Difusión: Una vez que se encuentra una solución, el minero difunde inmediatamente este bloque recién descubierto a toda la red. Al recibirlo, otros nodos verificarán su validez (comprobando si la solución hash es correcta, si las transacciones son legales, etc.). Una vez verificado, el bloque se añade al final de su blockchain local.

Compromisos entre Seguridad, Capacidad y Rendimiento​

El diseño de los bloques implica varios compromisos:

  • Tamaño del Bloque: El conocido límite de tamaño de 1MB de Bitcoin asegura que los bloques puedan propagarse rápidamente a través de la red global, reduciendo el riesgo de bifurcaciones. Ethereum, sin embargo, utiliza un mecanismo más flexible de "Límite de Gas", permitiendo que la capacidad del bloque se ajuste dinámicamente según la demanda de la red.
  • Intervalo de Bloque: Bitcoin tiene un intervalo de bloque de aproximadamente 10 minutos, mientras que el de Ethereum es de alrededor de 12 segundos. Tiempos de bloque más cortos pueden aumentar las TPS (transacciones por segundo) pero también elevan la probabilidad de "bloques huérfanos" (dos mineros produciendo bloques casi simultáneamente), ejerciendo presión sobre la sincronización de la red.
  • Datos de Testigo y Compresión: Para acomodar más transacciones sin aumentar significativamente el tamaño del bloque, la comunidad ha ideado soluciones innovadoras como SegWit (Segregated Witness) y EIP-4844 (Proto-Danksharding), que mueven algunos datos (como las firmas) fuera de la estructura principal de la transacción o introducen "blobs" de datos dedicados, reduciendo efectivamente la tasa de expansión de datos en cadena sin alterar la estructura central.

🤔 Ejercicios para el Lector​

  1. Utiliza Blockchair.com o un explorador de bloques similar para seleccionar aleatoriamente un bloque de Bitcoin. Encuentra y registra su merkle_root. Luego, haz clic en cualquier transacción e intenta comprender cómo el sitio muestra la ruta de "Prueba Merkle" para esa transacción.
  2. En papel o en un documento, imagina un bloque simple que contenga tres transacciones: "A->B 10 USD", "C->D 5 USD", "E->F 20 USD". Si cambias la primera transacción a "A->B 11 USD", piensa en cómo esto afectaría la raíz del árbol Merkle y, en consecuencia, el hash de la cabecera del bloque. ¿Por qué la cadena subsiguiente completa quedaría "invalidada" como resultado?

📚 Lectura Adicional​

  • "Merkle Trees and Efficient Data Verification" - El artículo original (resumen) de Ralph Merkle de 1980, un fundamento de la criptografía.
  • "Mastering Bitcoin" Capítulos 9 y 10 - Explicaciones gráficas extremadamente detalladas de bloques, transacciones y árboles Merkle.
  • EIP-4844: Proto-Danksharding - La última propuesta de escalado de Ethereum, para comprender las ideas de diseño de la capa de datos de blockchain de vanguardia.

Ahora que comprendes la estructura física del libro mayor, en la siguiente sección (1.4), nos adentraremos en "Direcciones y Claves: El Fundamento Criptográfico de la Identidad en Blockchain," explorando cómo las claves públicas y privadas sustentan cada transacción segura y confiable en este mundo descentralizado.

Share on Twitter