Zilliqa construiește un cadru de bază pentru viitor pentru a testa actualizări

Dragă comunitate Lucrăm la o actualizare urgentă a rețelei. În această perioadă de actualizare, nu sunt procesate tranzacții și blockchain. Este posibil ca API -ul să nu fie accesibil. Vă ținem la curent cu starea actualizării. Vă mulțumim pentru sprijinul continuu!

În postarea sa Reddit, Zilliqa a constatat că ultima sa actualizare a rețelei V8.0 a fost plină de funcții. În plus, timpul bloc a fost redus, prioritățile pentru mineri ajustați și au fost făcute alte câteva optimizări. Cu toate acestea, blockchain -ul Zilliqa a arătat instabilitate după actualizare. Drept urmare, echipa de bază a intervenit de mai multe ori pentru a introduce patch -uri. Cu toate acestea, acest lucru a dus la mai multe perioade de oprire.

Zilliqa a subliniat că își propune să creeze transparență și, în același timp, să facă pași care reduc probabilitatea unor astfel de evenimente în viitor. Acesta își propune să aducă noi funcții tehnologiei de bază, în timp ce respectă standardele industriale și efectuează teste de stres. Anunțul Reddit Comentarii

De îndată ce modificările și testele componente sunt complet terminate, realizăm aceste noi schimbări într-o rețea mică privată pentru o perioadă, urmate de o integrare pe scară largă la nivelul Minnnet și apoi să oferim modificările într-o rețea de testare publică, astfel încât toată lumea să poată interacționa. Dacă se găsește o eroare în timpul testului într -una dintre rețele, eroarea este remediată și începem cu primul pas prin scrierea unui test de componente pentru a înregistra eroarea, furnizăm corecțiile într -o rețea privată și așa mai departe.

Introducerea instrumentelor de verificare formală

Pentru a -și avansa procesul de testare, Zilliqa intenționează acum să introducă „instrumente de verificare formală” pentru modelarea sistemului. Dezvoltatorii pot verifica apoi formal modelul generat și chiar implementarea. Cu toate acestea, instrumentele formale de verificare necesită ore de lucru extinse. În același timp, însă, sunt utile să verifice „corectitudinea, fiabilitatea și fiabilitatea sistemelor software critice ale companiei”.

Zilliqa își propune să combine două funcții suplimentare ale testului unității și verificarea formală. Acest lucru îi ajută pe dezvoltatori să recunoască toate problemele de proiectare sau implementare în legătură cu partea critică a bazei de cod.

Pentru a contracara în continuare aceste probleme, Zilliqa intenționează să reducă frecvența actualizărilor de rețea. Acest lucru oferă mai mult timp pentru a testa funcțiile existente pe blockchain -ul său și în sălbăticie.

În cea mai recentă corecție a erorilor, Zilliqa a observat „câteva contracte inteligente care au fost furnizate în mainset și în care logica implementată permite statutul contractului să crească cu noi tranzacții”. Echipa va perfecționa acum unii parametri care ignoră modelele de proiectare de bază. De asemenea, va aduce statici și dinamici mai bune pentru a avertiza dezvoltatorii în această privință. Reddit Post afirmă: