Zilliqa, la première blockchain publique à implémenter le sharding, a annoncé une mise à jour urgente de sa plateforme blockchain.
Jun Hao Tan, vice-président senior de la sécurité et de l’ingénierie chez Zilliqa, a noté que la mise à jour est une tentative pour résoudre le problème de la consommation élevée de mémoire sur les nœuds de minage pour le comité DS.
Dans un article sur Reddit, Zilliqa a noté que sa dernière mise à jour réseau, v8.0, était riche en fonctionnalités. De plus, il a réduit les temps de blocage, ajusté les priorités pour les mineurs et plusieurs autres optimisations. Cependant, après la mise à jour, la blockchain Zilliqa a montré une instabilité. En conséquence, l’équipe principale est intervenue à plusieurs reprises pour mettre en œuvre des correctifs. Mais cela a conduit à plusieurs temps d’arrêt.
Zilliqa a noté qu’il visait à assurer la transparence en prenant des mesures pour réduire la probabilité d’événements similaires à l’avenir. Il vise à ajouter de nouvelles fonctionnalités à sa technologie de base en suivant les normes de l’industrie et en effectuant des tests de résistance.
Une fois que les modifications et les tests unitaires sont entièrement prêts, nous exécutons ces nouvelles modifications sur un petit réseau privé pendant un certain temps, suivies d’une intégration à grande échelle du réseau principal, puis déployons les modifications sur un réseau de test public ouvert. pour que tout le monde interagisse avec. Si un bogue est trouvé lors du test sur l’un des réseaux, le bogue est corrigé et nous commençons par la première étape en écrivant un test unitaire pour corriger le bogue, en déployant le correctif sur le réseau privé, etc.
L’annonce sur Reddit
Désormais, pour faire avancer le processus de test, Zilliqa prévoit de mettre en œuvre des « outils de validation formels » pour modéliser le système. Les développeurs peuvent alors vérifier formellement le modèle généré et même l’implémentation. Cependant, les outils de vérification formelle nécessitent d’importantes heures de travail. Mais en même temps, ils sont utiles pour vérifier « l’exactitude, la fiabilité et la faisabilité des systèmes logiciels critiques ».
Zilliqa vise à combiner les deux fonctions complémentaires des tests unitaires et de la validation formelle. Cela aidera les développeurs à détecter tout problème de conception ou de mise en œuvre lié à une partie critique de la base de code. Pour résoudre ces problèmes, Zilliqa prévoit de réduire la fréquence des mises à jour du réseau. Cela lui donnera plus de temps pour tester les fonctionnalités existantes sur sa blockchain et dans la nature.
Dans son dernier dépannage, Zilliqa a remarqué « quelques contrats intelligents déployés sur le réseau principal où la logique implémentée faisait croître l’état du contrat avec les nouvelles transactions ». L’équipe va maintenant modifier certains paramètres qui feront que les modèles de conception de base passeront inaperçus. De plus, cela améliorera la statique et la dynamique pour alerter les développeurs à ce sujet.
Commentaires