Zilliqa construye un marco central para el futuro para probar las actualizaciones

Estimada comunidad estamos trabajando en una actualización de red urgente. En este período de actualización, no se procesan transacciones y la cadena de bloques. La API puede no ser accesible. Te mantenemos actualizado sobre el estado de la actualización. ¡Gracias por el apoyo continuo!

En su publicación Reddit, Zilliqa descubrió que su última actualización de red V8.0 estaba llena de funciones. Además, el tiempo de bloque se redujo, se ajustaron las prioridades para los mineros y se realizaron varias otras optimizaciones. Sin embargo, el Zilliqa Blockchain mostró inestabilidad después de la actualización. Como resultado, el equipo central intervino varias veces para introducir parches. Sin embargo, esto condujo a varios tiempos de inactividad.

Zilliqa señaló que su objetivo es crear transparencia y, al mismo tiempo, tomar medidas que reducen la probabilidad de tales eventos en el futuro. Su objetivo es traer nuevas funciones a la tecnología subyacente, mientras sigue los estándares industriales y realiza pruebas de estrés. El anuncio de Reddit Comentarios

Tan pronto como los cambios y las pruebas de componentes estén completamente terminadas, llevamos a cabo estos nuevos cambios en una pequeña red privada durante un tiempo, seguido de una integración a gran escala a nivel de Minnnet y luego proporcionamos los cambios en una red de pruebas públicas para que todos puedan interactuar. Si se encuentra un error durante la prueba en una de las redes, el error se corrige y comenzamos con el primer paso escribiendo una prueba de componente para registrar el error, proporcionar las correcciones en una red privada, etc.

Introducción de herramientas de verificación formales

Para avanzar en su proceso de prueba, Zilliqa ahora planea introducir "herramientas de verificación formales" para modelar el sistema. Los desarrolladores pueden verificar formalmente el modelo generado e incluso la implementación. Sin embargo, las herramientas de verificación formales requieren amplias horas de trabajo. Al mismo tiempo, sin embargo, son útiles para verificar "corrección, confiabilidad y confiabilidad de los sistemas de software crítico de la empresa".

Zilliqa tiene como objetivo combinar dos funciones adicionales de la prueba unitaria y la verificación formal. Esto ayuda a los desarrolladores a reconocer todos los problemas de diseño o implementación en relación con la parte crítica de la base de código.

Para contrarrestar aún más estos problemas, Zilliqa planea reducir la frecuencia de las actualizaciones de la red. Esto da más tiempo para probar las funciones existentes en su blockchain y en la naturaleza.

En la última corrección de errores, Zilliqa notó "algunos contratos inteligentes que se proporcionaron en el conjunto principal y en el que la lógica implementada permite que el estado del contrato crezca con nuevas transacciones". El equipo ahora refinará algunos parámetros que ignoran los patrones de diseño subyacentes. También traerá mejores estadísticas y dinámicas para advertir a los desarrolladores a este respecto. La publicación de Reddit dice: