Zilliqa, la primera cadena de bloques pública en implementar la fragmentación, anunció una actualización urgente de su plataforma de cadena de bloques. Jun Hao Tan, vicepresidente senior de seguridad e ingeniería de Zilliqa, señaló que la actualización es un intento de resolver el problema del gran consumo de memoria en los nodos de minería para el comité de DS. Así, en un anuncio el miércoles 14 de julio, Zilliqa tuiteó:
“Estimada comunidad Estamos trabajando en una actualización urgente de la red. En este período de actualización, no se procesarán transacciones y la cadena de bloques. Es posible que no se pueda acceder a la API. Lo mantendremos informado sobre el estado de la actualización. Gracias por su apoyo constante!”.
En su publicación de Reddit, Zilliqa señaló que su última actualización de red v8.0 estaba repleta de funciones. Además, redujo el tiempo de bloqueo, ajustó las prioridades para los mineros, junto con varias otras optimizaciones. Sin embargo, la cadena de bloques Zilliqa mostró inestabilidad después de la actualización. Como resultado, el equipo central intervino en varias ocasiones para introducir parches. Pero esto resultó en múltiples tiempos de inactividad.
Zilliqa señaló que su objetivo es brindar transparencia al tiempo que toma medidas que reducen las posibilidades de tales eventos en el futuro. Su objetivo es traer nuevas características a su tecnología subyacente mientras sigue los estándares de la industria y realiza pruebas de estrés. El anuncio de Reddit señala:
“Una vez que los cambios y las pruebas unitarias están completamente listos, ejecutamos estos nuevos cambios en una red privada a pequeña escala durante un período de tiempo, seguido de una integración a gran escala en la escala de la red principal y luego implementamos los cambios en una red de prueba pública abierta. para que todos interactúen. Si se encuentra un error durante la prueba en cualquiera de las redes, el error se corrige y comenzamos desde el primer paso, escribiendo una prueba unitaria para capturar el error, implementando las correcciones en una red privada, etc”.
Introducción de herramientas de verificación formales
Ahora, para avanzar en su proceso de prueba, Zilliqa planea introducir “herramientas de verificación formales” para modelar el sistema. Luego, los desarrolladores pueden verificar formalmente el modelo generado e incluso la implementación. Sin embargo, las herramientas de verificación formales requieren muchas horas de trabajo. Pero al mismo tiempo, son útiles para verificar “la corrección, confiabilidad y confiabilidad de los sistemas de software de misión crítica”.
Zilliqa tiene como objetivo combinar dos funciones complementarias de prueba unitaria y verificación formal. Esto ayudará a los desarrolladores a detectar cualquier problema de diseño o implementación asociado con la parte crítica del código base.
Para mitigar aún más estos problemas, Zilliqa planea reducir la frecuencia de las actualizaciones de la red. Esto le dará más tiempo para probar las funciones existentes en su blockchain y en la naturaleza.
En la última solución de problemas, Zilliqa notó “un par de contratos inteligentes implementados en la red principal donde la lógica implementada hace que el estado del contrato crezca con nuevas transacciones”. El equipo ahora ajustará algunos parámetros que harán que los patrones de diseño subyacentes pasen desapercibidos. Además, traerá mejor estática y dinámica para advertir a los desarrolladores al respecto. Las notas de la publicación de Reddit:
“Tenga en cuenta que dichos contratos pueden funcionar bien por ahora, pero tarde o temprano pueden alcanzar el límite de gas del bloque, haciendo que estos contratos sean inutilizables e incalculables. Alentamos a los desarrolladores a tener en cuenta este y otros patrones de diseño similares. Por ejemplo, si un contrato usa una lista y si esa lista crece con cada transacción, esto puede crear problemas en el futuro para el contrato. Además, los contratos deben evitar los bucles siempre que sea posible, ya que los bucles en una lista o mapa muy grande alcanzarán el límite de gas del bloque en algún momento”.