Zilliqa bygger en kerne ramme for fremtiden for at teste opdateringer

Kære samfund Vi arbejder på en presserende netværksopgradering. I denne opgraderingsperiode behandles ingen transaktioner og blockchain. API er muligvis ikke tilgængelig. Vi holder dig opdateret om opgraderingen af status. Tak for den igangværende støtte!

I sit Reddit -indlæg fandt Zilliqa, at hans sidste netværksopgradering V8.0 var fuld af funktioner. Derudover blev bloktiden reduceret, prioriteterne for minearbejdere justeret og flere andre optimeringer blev foretaget. Zilliqa blockchain viste imidlertid ustabilitet efter opgraderingen. Som et resultat greb kerneteamet flere gange ind for at introducere patches. Dette førte dog til flere nedetid.

Zilliqa påpegede, at det sigter mod at skabe gennemsigtighed og samtidig tage skridt, der reducerer sandsynligheden for sådanne begivenheder i fremtiden. Det sigter mod at bringe nye funktioner til den underliggende teknologi, mens den følger de industrielle standarder og udfører stresstest. Reddit -meddelelsen kommentarer

Så snart ændringerne og komponenttestene er helt færdige, udfører vi disse nye ændringer i et privat lille netværk i et stykke tid, efterfulgt af en storstilet integration på MinNNET-niveau og giver derefter ændringerne i et offentligt testnetværk, så alle kan interagere. Hvis der findes en fejl under testen i et af netværkene, er fejlen fast, og vi starter med det første trin ved at skrive en komponenttest for at registrere fejlen, give korrektionerne i et privat netværk og så videre.

Introduktion af formelle verifikationsværktøjer

For at fremme sin testproces planlægger Zilliqa nu at introducere "formelle verifikationsværktøjer" til at modellere systemet. Udviklerne kan derefter formelt verificere den genererede model og endda implementering. Formelle verifikationsværktøjer kræver imidlertid omfattende arbejdstid. På samme tid er de imidlertid nyttige til at kontrollere "korrekthed, pålidelighed og pålidelighed af virksomhedens -kritiske softwaresystemer".

Zilliqa sigter mod at kombinere to yderligere funktioner i enhedstesten og den formelle verifikation. Dette hjælper udviklere med at genkende alle design- eller implementeringsproblemer i forbindelse med den kritiske del af kodebasen.

For yderligere at modvirke disse problemer planlægger Zilliqa at reducere hyppigheden af netværksopgraderinger. Dette giver mere tid til at teste de eksisterende funktioner på dens blockchain og i naturen.

I den seneste fejlkorrektion bemærkede Zilliqa "et par smarte kontrakter, der blev leveret i Mainset, og hvor den implementerede logik tillader kontraktstatus at vokse med nye transaktioner". Holdet vil nu forfine nogle parametre, der ignorerer de underliggende designmønstre. Det vil også bringe bedre statik og dynamik til at advare udviklere i denne henseende. Reddit Post siger: