Su smartphone pronto podrá verificar una transacción de Solana

El mundo del blockchain y las finanzas descentralizadas está a punto de dar un salto significativo con la propuesta del primer cliente ligero de Solana, SIMD-0052 - Consensus and Transaction Proof Verification. Este artículo explorará qué es este cliente propuesto, por qué es un desarrollo necesario en el ecosistema de Solana, y cómo funcionará.

Entendiendo el Cliente Ligero

En la jerga de blockchain, un cliente ligero se refiere a un participante de la red que no ejecuta un nodo completo, sino que interactúa con la red a través de una interfaz de confianza minimizada que elimina la necesidad de grandes recursos de hardware. De este modo, los usuarios pueden acceder a la red y verificar transacciones en dispositivos con una potencia computacional relativamente baja, como los smartphones.

La versión inicial del cliente ligero de Solana está diseñada para funcionar como un cliente de verificación de pagos simple (SPV) que verifica dos aspectos principales:

1. Que una transacción específica de interés se ha incluido en un bloque.
2. Que el bloque en cuestión ha sido aprobado por un conjunto de validadores de confianza.

Sin embargo, hasta ahora, Solana no ha tenido una forma de verificar que una transacción ha sido efectivamente incluida en un bloque. Aquí es donde entra SIMD-0052.

Por qué es necesario SIMD-0052

SIMD-0052 es una propuesta innovadora porque ofrece a los usuarios una forma de verificar localmente que una transacción se ha incluido en un bloque específico. Esto significa que un usuario ahora puede verificar las transacciones en sus dispositivos sin ninguna sobrecarga.

Esta propuesta introduce dos cambios principales para la verificación de transacciones:

1. La adición de un nuevo método RPC que proporciona una prueba de que una transacción ha sido incluida en una ranura.
2. La modificación del blockhash para ser calculado como un árbol Merkle de entradas y para incluir estados de transacción.

El nuevo método RPC permite a los usuarios verificar las pruebas localmente en el lado del cliente sin sobrecarga adicional, mientras que el cálculo del blockhash modificado permite una verificación de transacciones más precisa.

Una inmersión profunda en el funcionamiento interno de Solana

En Solana, cada ranura se identifica mediante un bankhash que comprende un hash padre, un hash delta de cuentas, un recuento de firmas y un blockhash reciente. La supermayoría de la red firma entonces en este bankhash durante el consenso. Sin embargo, existen dos problemas:

1. Verificar la inclusión de transacciones requeriría que todas las entradas fueran hasheadas de nuevo, lo que es computacionalmente intensivo.
2. No podemos verificar si una transacción es exitosa, incluso si está incluida, ya que los estados no son parte del blockhash.

Para solucionar estos problemas, SIMD-0052 propone que el blockhash se calcule de una nueva forma: construyendo un árbol de Merkle de entradas en lugar de un simple hash e incluyendo el estado de la transacción en el árbol de Merkle del lote de transacciones que forman parte de la entrada.

Además, Max Schneider ha sugerido incluir registros de transacciones en el árbol de Merkle, recomendación que pronto se incorporará al SIMD.

El impacto del nuevo método RPC

Además de modificar el cálculo del blockhash, SIMD-0052 propone un nuevo método RPC para obtener pruebas de inclusión de transacciones. Estas pruebas pueden utilizarse para calcular la raíz, es decir, el bankhash, localmente. Esto permite a los usuarios verificar transacciones sin necesidad de recursos informáticos de alta potencia.

En resumen, SIMD-0052 - Consensus and Transaction Proof Verification introduce innovaciones críticas que permiten la creación del primer cliente ligero de Solana. Estas mejoras son un importante paso adelante para hacer que la tecnología blockchain sea más accesible y fácil de usar, permitiendo a los usuarios verificar transacciones en dispositivos de bajo consumo con facilidad.

Si le interesan los aspectos más técnicos de estos cambios y cómo se implementan en el cliente ligero, puede consultar la sección de diseño detallado y los diagramas en el SIMD aquí.