Zilliqa construit un cadre central pour l'avenir pour tester les mises à jour

chère communauté Nous travaillons sur une mise à niveau urgente du réseau. Au cours de cette période de mise à niveau, aucune transaction n'est traitée et la blockchain. L'API peut ne pas être accessible. Nous vous tenons au courant de l'état de la mise à niveau. Merci pour le soutien continu!

Dans son article Reddit, Zilliqa a constaté que sa dernière mise à niveau du réseau V8.0 était pleine de fonctions. De plus, le temps de bloc a été réduit, les priorités des mineurs ajustées et plusieurs autres optimisations ont été faites. Cependant, la blockchain Zilliqa a montré une instabilité après la mise à niveau. En conséquence, l'équipe de base est intervenue plusieurs fois pour introduire des correctifs. Cependant, cela a conduit à plusieurs temps d'arrêt.

Zilliqa a souligné qu'il vise à créer une transparence et en même temps prendre des mesures qui réduisent la probabilité de tels événements à l'avenir. Il vise à apporter de nouvelles fonctions à la technologie sous-jacente, tandis qu'il suit les normes industrielles et effectue des tests de stress. L'annonce reddit commentaires

Dès que les modifications et les tests de composants sont complètement terminés, nous effectuons ces nouveaux changements dans un petit réseau privé pendant un certain temps, suivi d'une intégration à grande échelle au niveau de Minnnet, puis fournissons les changements dans un réseau de test public afin que tout le monde puisse interagir. Si une erreur est trouvée lors du test dans l'un des réseaux, l'erreur est fixe et nous commençons par la première étape en écrivant un test de composant pour enregistrer l'erreur, fournissez les corrections dans un réseau privé, etc.

Introduction des outils de vérification formels

Afin de faire avancer son processus de test, Zilliqa prévoit maintenant d'introduire des "outils de vérification formels" pour modéliser le système. Les développeurs peuvent ensuite vérifier officiellement le modèle généré et même la mise en œuvre. Cependant, les outils de vérification formels nécessitent de nombreuses heures de travail. Dans le même temps, cependant, ils sont utiles pour vérifier "l'exactitude, la fiabilité et la fiabilité des systèmes logiciels critiques".

Zilliqa vise à combiner deux fonctions supplémentaires du test unitaire et la vérification formelle. Cela aide les développeurs à reconnaître tous les problèmes de conception ou de mise en œuvre en relation avec la partie critique de la base de code.

Afin de contrer davantage ces problèmes, Zilliqa prévoit de réduire la fréquence des mises à niveau du réseau. Cela donne plus de temps pour tester les fonctions existantes sur sa blockchain et dans la nature.

Dans la dernière correction d'erreur, Zilliqa a remarqué "quelques contrats intelligents qui ont été fournis dans le Mainset et dans lequel la logique implémentée permet à l'état du contrat de croître avec de nouvelles transactions". L'équipe affinera désormais certains paramètres qui ignorent les modèles de conception sous-jacents. Il apportera également une meilleure statique et une meilleure dynamique pour avertir les développeurs à cet égard. Le post Reddit indique: