Zilliqa bouwt een kernraamwerk voor de toekomst om updates te testen
Zilliqa bouwt een kernraamwerk voor de toekomst om updates te testen
- Zilliqa werkt op de oplossing voor het probleem van blockchain -downtime, waarmee gebruikers worden geconfronteerd.
- Zilliqa plant de introductie van formele verificatietools om de "correctheid, betrouwbaarheid en betrouwbaarheid van bedrijfskritische softwaresystemen" te verifiëren.
Zilliqa, de eerste openbare blockchain die Sharding implementeerde, kondigde een dringende upgrade van haar blockchain -platform aan. Jun Hao Tan, senior vice -president van beveiliging en engineering bij Zilliqa, ontdekte dat de upgrade een poging is om het probleem van grote geheugenconsumptie op het mijnbeen voor de DS -commissie op te lossen. Dus Zilliqa heeft. In een bericht op woensdag 14 juli Tweet :
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. 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: Merk op dat dergelijke contracten voorlopig goed kunnen werken, maar vroeg of laat kan de blokgaslimiet bereiken, wat betekent dat deze contracten onbruikbaar en onhandelbaar worden. We raden ontwikkelaars aan om deze en andere vergelijkbare ontwerppatronen te overwegen. Als een contract bijvoorbeeld een lijst gebruikt en deze lijst groeit met elke individuele transactie, kan dit in de toekomst problemen veroorzaken voor het contract. Bovendien moeten contracten niet malen indien mogelijk, omdat het slijpen op een zeer grote lijst of kaart op een bepaald punt de blokgaslimiet bereiken. Introductie van formele verificatietools
Bron: crypto-news-flash.com
Kommentare (0)