Zilliqa bygger en kärnram för framtiden för att testa uppdateringar

Kära samhälle Vi arbetar med en brådskande nätverksuppgradering. Under denna uppgraderingsperiod behandlas inga transaktioner och blockchain. API kanske inte är tillgängligt. Vi håller dig uppdaterad om uppgraderingens status. Tack för det pågående stödet!

I sitt Reddit -inlägg fann Zilliqa att hans sista nätverksuppgradering V8.0 var fullt av funktioner. Dessutom minskades blocketiden, prioriteringarna för gruvarbetare justerades och flera andra optimeringar gjordes. Zilliqa blockchain visade emellertid instabilitet efter uppgraderingen. Som ett resultat grep kärngruppen flera gånger för att introducera fläckar. Detta ledde dock till flera stillestånd.

Zilliqa påpekade att den syftar till att skapa transparens och samtidigt vidta åtgärder som minskar sannolikheten för sådana händelser i framtiden. Det syftar till att föra nya funktioner till den underliggande tekniken, medan den följer industriella standarder och genomför stresstester. Reddit -tillkännagivandet Kommentarer

Så snart förändringarna och komponenttesterna är helt färdiga genomför vi dessa nya förändringar i ett privat litet nätverk ett tag, följt av en storskalig integration på MinnNet-nivån och ger sedan förändringarna i ett offentligt testnät så att alla kan interagera. Om ett fel hittas under testet i ett av nätverken är felet fixat och vi börjar med det första steget genom att skriva ett komponenttest för att spela in felet, ge korrigeringarna i ett privat nätverk och så vidare.

Introduktion av formella verifieringsverktyg

För att främja sin testprocess planerar Zilliqa nu att introducera "formella verifieringsverktyg" för att modellera systemet. Utvecklarna kan sedan formellt verifiera den genererade modellen och till och med implementering. Formella verifieringsverktyg kräver emellertid omfattande arbetstid. Samtidigt är de emellertid användbara att kontrollera "korrekthet, tillförlitlighet och tillförlitlighet för företag -kritiska programvarusystem".

zilliqa syftar till att kombinera ytterligare två funktioner i enhetstestet och den formella verifieringen. Detta hjälper utvecklare att känna igen alla design- eller implementeringsproblem i samband med den kritiska delen av kodbasen.

För att ytterligare motverka dessa problem planerar Zilliqa att minska frekvensen för uppgraderingar av nätverk. Detta ger mer tid att testa de befintliga funktionerna på sin blockchain och i naturen.

I den senaste felkorrigeringen märkte Zilliqa "några smarta kontrakt som tillhandahölls i mainet och där den genomförda logiken tillåter kontraktsstatus att växa med nya transaktioner". Teamet kommer nu att förfina några parametrar som ignorerar de underliggande designmönstren. Det kommer också att ge bättre statistik och dynamik för att varna utvecklare i detta avseende. Reddit Post säger: