Zilliqa bouwt een kernraamwerk voor de toekomst om updates te testen

Beste community We werken aan een dringende netwerkupgrade. In deze upgradeperiode worden geen transacties verwerkt en de blockchain. API is mogelijk niet toegankelijk. We houden u op de hoogte van de status van de upgrade. Bedankt voor de voortdurende steun!

In zijn Reddit -post ontdekte Zilliqa dat zijn laatste netwerk -upgrade V8.0 vol functies zat. Bovendien werd de bloktijd verkort, de prioriteiten voor aangepaste mijnwerkers en werden verschillende andere optimalisaties gemaakt. De Zilliqa -blockchain vertoonde echter instabiliteit na de upgrade. Als gevolg hiervan kwam het kernteam verschillende keren tussenbeide om patches te introduceren. Dit leidde echter tot verschillende downtime.

Zilliqa wees erop dat het tot doel heeft transparantie te creëren en tegelijkertijd stappen te ondernemen die de kans op dergelijke gebeurtenissen in de toekomst verminderen. Het beoogt nieuwe functies naar de onderliggende technologie te brengen, terwijl het de industriële normen volgt en stresstests uitvoert. De Reddit -aankondiging opmerkingen

Zodra de veranderingen en componententests volledig zijn voltooid, voeren we deze nieuwe veranderingen in een privé klein netwerk voor een tijdje uit, gevolgd door een grootschalige integratie op het niveau van Minnnet en bieden we vervolgens de wijzigingen in een openbaar testnetwerk zodat iedereen kan communiceren. Als een fout wordt gevonden tijdens de test in een van de netwerken, is de fout opgelost en beginnen we met de eerste stap door een componenttest te schrijven om de fout op te nemen, de correcties in een privénetwerk te verstrekken, enzovoort.

Introductie van formele verificatietools

Om zijn testproces te bevorderen, is Zilliqa nu van plan om "formele verificatietools" te introduceren om het systeem te modelleren. De ontwikkelaars kunnen vervolgens formeel het gegenereerde model en zelfs implementatie verifiëren. Formele verificatiehulpmiddelen vereisen echter uitgebreide werkuren. Tegelijkertijd zijn ze echter nuttig om "correctheid, betrouwbaarheid en betrouwbaarheid van bedrijfskritische softwaresystemen" te controleren.

Zilliqa wil twee extra functies van de eenheidstest en de formele verificatie combineren. Dit helpt ontwikkelaars om alle ontwerp- of implementatieproblemen te herkennen in verband met het kritieke deel van de codebasis.

Om deze problemen verder tegen te gaan, is Zilliqa van plan de frequentie van netwerkupgrades te verminderen. Dit geeft meer tijd om de bestaande functies op de blockchain en in het wild te testen.

In de nieuwste foutcorrectie merkte Zilliqa op "een paar slimme contracten die in de Mainset werden verstrekt en waarin de geïmplementeerde logica de contractstatus mogelijk maakt met nieuwe transacties". Het team zal nu enkele parameters verfijnen die de onderliggende ontwerppatronen negeren. Het zal in dit opzicht ook betere statica en dynamiek brengen om ontwikkelaars te waarschuwen. De Reddit Post stelt: