Zilliqa crea un framework principale per il futuro per testare gli aggiornamenti

Caro comunità stiamo lavorando a un upgrade di rete urgente. In questo periodo di aggiornamento, nessuna transazione viene elaborata e la blockchain. L'API potrebbe non essere accessibile. Ti manteniamo aggiornati sullo stato dell'aggiornamento. Grazie per il supporto continuo!

Nel suo post di Reddit, Zilliqa ha scoperto che il suo ultimo aggiornamento della rete V8.0 era pieno di funzioni. Inoltre, il tempo di blocco è stato ridotto, le priorità per i minatori sono stati adeguati e sono state fatte diverse altre ottimizzazioni. Tuttavia, la blockchain Zilliqa ha mostrato instabilità dopo l'aggiornamento. Di conseguenza, il core team è intervenuto più volte per introdurre patch. Tuttavia, ciò ha portato a diversi tempi di inattività.

Zilliqa ha sottolineato che mira a creare trasparenza e allo stesso tempo adottare misure che riducono la probabilità di tali eventi in futuro. Mira a portare nuove funzioni alla tecnologia sottostante, mentre segue gli standard industriali e conduce test di stress. L'annuncio di Reddit commenti

Non appena le modifiche e i test dei componenti sono completamente finiti, eseguiamo per un po 'queste nuove modifiche in una piccola rete privata, seguite da un'integrazione su larga scala a livello di Minnnet e quindi forniamo le modifiche in una rete di test pubblica in modo che tutti possano interagire. Se viene riscontrato un errore durante il test in una delle reti, l'errore viene risolto e iniziamo con il primo passo scrivendo un test dei componenti per registrare l'errore, fornire le correzioni in una rete privata e così via.

Introduzione di strumenti di verifica formale

Per far avanzare il suo processo di test, Zilliqa sta ora pianificando di introdurre "strumenti di verifica formale" per modellare il sistema. Gli sviluppatori possono quindi verificare formalmente il modello generato e persino l'implementazione. Tuttavia, gli strumenti di verifica formale richiedono un ampio orario di lavoro. Allo stesso tempo, tuttavia, sono utili per verificare "correttezza, affidabilità e affidabilità dei sistemi software critici dell'azienda".

Zilliqa mira a combinare due funzioni aggiuntive del test unitario e della verifica formale. Questo aiuta gli sviluppatori a riconoscere tutti i problemi di progettazione o implementazione in relazione alla parte critica della base di codice.

Al fine di contrastare ulteriormente questi problemi, Zilliqa prevede di ridurre la frequenza degli aggiornamenti della rete. Questo dà più tempo a testare le funzioni esistenti sulla sua blockchain e in natura.

Nell'ultima correzione degli errori, Zilliqa ha notato "alcuni contratti intelligenti che sono stati forniti nella mainset e in cui la logica implementata consente allo stato del contratto di crescere con nuove transazioni". Il team ora perfezionerà alcuni parametri che ignorano i modelli di progettazione sottostanti. Porterà anche statica e dinamiche migliori per avvertire gli sviluppatori in questo senso. The Reddit Post afferma: