Cardano: Especificaciones formales de Shelley han sido publicadas

La meta de Shelley es traer descentralización completa a Cardano, migrar mas allá de la época de bloques creados por una federación de nodos Core y entregar el control del libro mayor a la comunidad por medio de Stake Pools (Piscinas de participación)

Al crear especificaciones independientes de su implementación en código, se pueden construir componentes del sistema utilizando diferentes lenguajes de programación, y se puede estar confiado de que estos componentes funcionarán juntos.

Hoy IOHK anuncia el logro de un hito importante en el viaje a la migración a Shelley, al completar las especificaciones más importantes de esta fase del sistema.

Las especificaciones terminadas son las siguientes:

• Especificación de Diseño de Ingeniería para la Delegación e Incentivos en Cardano-Shelley: Describe los requerimientos y diseño para la delegación y mecanismos de incentivos a ser utilizados en el lanzamiento de Shelley.
• Una Especificación Formal del Libro Mayor de Cardano: Especifica las reglas del libro mayor para Shelley, incluyendo delegación e incentivos.
• Una Especificación de los Cálculos No-Integrales en el Libro Mayor: Este documento define una forma de calcular exactamente los cálculos no integrales en el  libro mayor para la era Shelley la cual utiliza funciones matemáticas elementales. El objetivo principal es proveer una especificación sin ambigüedades que da los mismos resultados, independientes de la arquitectura de CPU o lenguajes de programación utilizados para prevenir bifurcaciones en las cadenas causadas por pequeñas diferencias en los resultados calculados.

Para proveer una transición suave de la era Byron a la era Shelley, el código de Shelley tendrá que ser compatible con las reglas de Byron. Para lograr esto IOHK también ha creado especificaciones formales para la era Byron también:

• Una Especificación Formal del Libro Mayor de Cardano para la era Byron: Este documento define las reglas para extender un libro mayor con transacciones, como fué implementado en el lanzamiento de Byron.
• Especificación de la capa Blockchain (Byron): Este documento define reglas de inferencia para operaciones en un blockchain como una especificación de la capa de blockchain de Cardano en el lanzamiento Byron y en una transición al lanzamiento de Shelley.

El proceso de implementar estas especificaciones en código de calidad de producción ya está bien encaminado, y las especificaciones continuarán mejorando dado el feedback de las comunidades de desarrolladores, matemáticos e investigadores.

Fuente: Blog de IOHK
Traducido por Angel León / DiarioBitcoin
Arte licenciado bajo Creative-Commons BY-4.0 por Mike Beeple

ADVERTENCIA: Este es un artículo de carácter informativo. DiarioBitcoin es un medio de comunicación, no promociona, respalda ni recomienda ninguna inversión en particular. Vale señalar que las inversiones en criptoactivos no están reguladas en algunos países. Pueden no ser apropiadas para inversores minoristas, pues se podría perder el monto total invertido. Consulte las leyes de su país antes de invertir.