Por Canuto  

Anza avanza en una modificación estructural del protocolo central de Solana para evitar que diferencias de redondeo entre equipos, clientes y compiladores provoquen divergencias de consenso.
***

  • SIMD-0391 ya se activó en mainnet-beta durante la época 1026 y sustituyó operaciones de coma flotante en el programa de staking.
  • La mejora también cubre la lógica de calentamiento y enfriamiento del cliente validador mediante operaciones de punto fijo.
  • SIMD-0607 sigue bajo revisión y busca retirar la coma flotante de los cálculos de recompensas de inflación y alquiler.

Anza, el equipo de desarrollo del cliente principal de Solana, anunció una estrategia para eliminar de forma sistemática las operaciones de coma flotante del protocolo central de la red. La decisión responde a un problema técnico que puede parecer menor, pero que adquiere importancia en una blockchain donde distintos validadores deben llegar exactamente al mismo resultado para mantener el consenso.

De acuerdo con ChainCatcher, citado por KuCoin, la primera fase de este proceso ya llegó a mainnet-beta con la activación de SIMD-0391 en la época 1026. La actualización reemplazó operaciones de coma flotante por operaciones de punto fijo en el programa de staking y en la lógica de calentamiento y enfriamiento del cliente validador, mientras una segunda propuesta continúa bajo revisión.

El problema de los resultados distintos

Las operaciones de coma flotante permiten representar números con decimales y son habituales en numerosos sistemas informáticos. Sin embargo, el resultado de un cálculo puede variar ligeramente según el hardware utilizado, el cliente validador que lo ejecuta o el compilador que transforma el código, una diferencia que en una aplicación convencional quizá pase inadvertida.

En una red descentralizada, esas variaciones adquieren otra dimensión porque los participantes ejecutan reglas compartidas y necesitan producir resultados compatibles. Si dos validadores obtienen valores diferentes a partir de los mismos datos, aunque la discrepancia provenga de un redondeo mínimo, el desacuerdo puede afectar la convergencia del consenso y la disponibilidad de la red.

Anza sostiene que la eliminación de estas operaciones busca estandarizar los cálculos que forman parte del protocolo central de Solana. El objetivo no consiste simplemente en cambiar una representación numérica, sino en reducir una fuente de incertidumbre que podría generar divergencias entre los equipos que mantienen y validan la cadena.

La preocupación se concentra especialmente en las rutas de código que influyen en decisiones compartidas por los validadores. Por esa razón, las modificaciones anunciadas abarcan componentes vinculados con el staking, los cambios de estado del cliente validador, las recompensas de inflación y el cálculo del alquiler, en lugar de limitarse a una función aislada.

SIMD-0391 ya opera en la red principal

La primera capa del plan corresponde a SIMD-0391, una mejora que Anza activó en mainnet-beta durante la época 1026. Su implementación sustituyó las operaciones de coma flotante presentes en el programa de staking por cálculos de punto fijo, con lo que esa parte del protocolo utiliza una representación más determinista para procesar sus valores.

La actualización también modificó la lógica de calentamiento y enfriamiento del cliente validador. Estos mecanismos forman parte de la gestión del staking y, según la información disponible, ahora ejecutan sus operaciones relevantes con punto fijo para evitar que las diferencias de redondeo dependan de las características particulares de cada entorno de ejecución.

El hecho de que SIMD-0391 ya esté activa distingue esta fase de la siguiente propuesta presentada por Anza. La red principal de Solana incorporó los cambios correspondientes a esta primera etapa, aunque el equipo aclaró que el trabajo general de eliminación de la coma flotante continuará en otras rutas del protocolo.

La activación durante la época 1026 no representa una promesa de que todo el núcleo de Solana haya abandonado esa clase de operaciones. En cambio, marca un avance concreto dentro de una migración gradual, cuyo alcance se ampliará a medida que el equipo identifique y revise otros puntos donde los cálculos puedan influir en el comportamiento común de los validadores.

SIMD-0607 permanece bajo revisión

La segunda capa del plan está contenida en SIMD-0607, una propuesta que todavía se encuentra bajo revisión. Su objetivo es modificar el propio runtime de Solana para eliminar las operaciones de coma flotante de las rutas utilizadas en el cálculo de las recompensas de inflación y del alquiler, conocido técnicamente como rent.

Las recompensas de inflación y el alquiler son áreas sensibles porque sus resultados pueden afectar los saldos o las obligaciones asociadas con cuentas y participantes de la red. Al trasladar esos cálculos a operaciones de punto fijo, la propuesta busca que los validadores obtengan resultados estandarizados, independientemente de las diferencias entre sus dispositivos, clientes o compiladores.

Que SIMD-0607 siga bajo revisión significa que su adopción no debe presentarse como una actualización ya activada en mainnet-beta. La propuesta aún debe completar el proceso correspondiente antes de convertirse en parte operativa del protocolo, por lo que el estado confirmado por Anza es distinto al de SIMD-0391.

La separación entre ambas iniciativas también muestra cómo el equipo está abordando el riesgo por etapas. Primero se aplicó el cambio a componentes específicos del staking y del cliente validador; después se planteó llevar la misma lógica al runtime y a los cálculos de inflación y alquiler, mientras quedan pendientes esfuerzos adicionales en otras rutas.

Una medida preventiva para el consenso

Anza declaró que las operaciones de coma flotante pueden producir resultados de redondeo diferentes dependiendo del hardware, los clientes validadores y los compiladores. Según el equipo, esas diferencias podrían provocar divergencias de consenso y crear riesgos para la disponibilidad de la red, incluso cuando todos los participantes sigan aparentemente las mismas reglas.

Las operaciones de punto fijo ofrecen una forma de representar valores fraccionarios mediante reglas previamente definidas, lo que facilita que los cálculos entreguen resultados uniformes. En el contexto descrito por Anza, esa estandarización busca disminuir la posibilidad de que una pequeña diferencia numérica se convierta en un desacuerdo entre validadores.

La estrategia tiene un carácter preventivo: la información publicada no afirma que una divergencia de consenso causada por estas operaciones haya detenido a Solana. Lo que señala el equipo es que la variabilidad potencial constituye un riesgo técnico que conviene retirar del protocolo central antes de que pueda afectar la coordinación o la disponibilidad de la red.

El proceso continuará con la revisión de SIMD-0607 y con esfuerzos adicionales para abordar operaciones de coma flotante en otras rutas. Por ahora, el dato más relevante es que Solana ya incorporó la primera mejora en mainnet-beta y que Anza trabaja para extender la misma disciplina determinista a más componentes de la infraestructura.

Imagen original de DiarioBitcoin, creada con inteligencia artificial, de uso libre, licenciada bajo Dominio Público.

Este artículo fue escrito por un redactor de contenido de IA y revisado por un editor humano para garantizar calidad y precisión.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados