Cardano Peras traslada la gestión de certificados al código del protocolo

Ouroboros Peras está yendo más allá de las especificaciones del protocolo hacia las rutas de código que determinan cómo los nodos de Cardano almacenan certificados, los sincronizan con pares y reservan espacio de bloque para datos de consenso. Tweag informó del trabajo junto con actualizaciones de la testnet y una revisión del análisis de votación criptográfica. Peras sigue previsto para una fase Dijkstra posterior, sin fecha de activación en mainnet anunciada.

El almacenamiento de certificados de Peras pasa al código de consenso

Se ha enviado una implementación inicial de ImmutablePerasCertDB mediante la pull request 2293 en el repositorio Ouroboros Consensus. La base de datos está diseñada para proporcionar almacenamiento persistente para certificados de Peras y actualmente se encuentra en revisión interna.

Peras amplía Ouroboros Praos con votación basada en stake y certificación de bloques. Sus certificados agregan evidencia de que el stake participante ha respaldado un bloque, lo que aporta a los nodos información adicional al evaluar la confianza en la liquidación.

Si se activa, Peras podría permitir que exchanges, puentes y monederos alcancen una mayor confianza en la liquidación para transacciones de ADA tras menos bloques. Estos servicios se basarían en las garantías de liquidación expuestas por los nodos de Cardano en lugar de tratar los certificados de Peras como una función independiente para el usuario.

La implementación de ObjectDiffusion también ha incorporado una finalización de cliente ordenada y un método para detectar cuándo la sincronización de certificados se ha puesto al día. Ese estado puede ser utilizado por la máquina de estados del governor de Cardano al coordinar conexiones entre pares y la sincronización de la red.

El equipo de diseño de red demostró por separado que los certificados relevantes para la selección de cadena deberían llegar a un nodo en orden ascendente de rondas de Peras cuando el nodo está conectado al menos a un par honesto y se mantienen las suposiciones estándar de calidad de cadena y de red. El resultado sobre el ordenamiento simplifica la distribución planificada de certificados históricos y recientes mediante ObjectDiffusion.

Cardano Ledger prueba parámetros gobernables de Peras

El equipo de Ledger Integration está trabajando en los componentes de Peras restantes necesarios antes de que la próxima bifurcación dura alcance la congelación de código. El trabajo incluye definir qué parámetros del protocolo Peras podrían modificarse más adelante mediante la gobernanza de Cardano.

Se ha enviado un prototipo mediante la pull request 6067 en el repositorio Cardano Ledger. Finalizar la lista de parámetros también requerirá una actualización de la Cardano Constitution para que el marco de gobernanza especifique qué valores pueden cambiarse y los límites que se les aplican.

El trabajo de ledger prepara a Cardano para un futuro despliegue de Peras. La activación sigue asignada a una fase Dijkstra posterior y requerirá pruebas independientes, aprobación de gobernanza y un cambio de versión del protocolo.

Los desarrolladores también han completado un método inicial para estimar el tamaño del certificado antes de la producción del bloque. Un certificado de Peras compite con las transacciones de ADA y de activos nativos por capacidad dentro del cuerpo del bloque, por lo que el nodo forjador debe reservar suficiente espacio antes de seleccionar transacciones.

Una pull request relacionada reduce el número de transacciones seleccionadas cuando un bloque incluye un certificado de Peras. El ajuste evita que el nodo llene el bloque antes de que se puedan añadir los datos de consenso requeridos.

La testnet de Peras se prepara para pruebas integradas de nodos

El equipo de desarrollo ha fusionado los cambios registrados como Peras 67 y Peras 68 tras abordar los comentarios de la revisión. Dos pull requests adicionales, Peras 69 y Peras 70, añaden anotaciones de strictness y corrigen un error de consulta que estaba bloqueando las ejecuciones nocturnas y de testnet.

La preparación de la testnet incluye un script de inicialización mejorado, recopilación centralizada de registros y métricas y una actualización de la rama base al código más reciente de Peras. Estos cambios están destinados a facilitar el rastreo de fallos cuando los componentes de consenso, red y ledger operan juntos.

Tweag también ha revisado la versión 1.1 del análisis de votación de Peras producido por investigadores del equipo de Applied Cryptography de Input Output. Las preguntas planteadas durante la revisión se están utilizando para definir el plan de entrega de los componentes criptográficos que requiere una futura implementación en mainnet.

La actualización de testnet planificada combinará cuatro capacidades previamente separadas: almacenamiento persistente de certificados, detección de sincronización de certificados completada, forja de bloques con conocimiento de certificados y acceso desde el ledger a los parámetros de Peras. Alcanzar ese estado operativo depende de completar las revisiones internas abiertas y de mover la rama de testnet a la última implementación.