Zilliqa arbeitet daran, halsdoek Problem der Blockchain-Ausfallzeiten zu lösen, mit dem diegene Nutzer konfrontiert sind.
Zilliqa plant diegene Einführung von formalen Verifikationswerkzeugen zur Verifizierung der „Korrektheit, Zuverlässigkeit und Verlässlichkeit von unternehmenskritischen Softwaresystemen“.

Zilliqa, diegene erste öffentliche Blockchain, diegene Sharding implementiert hat, kündigte ein wichtiges Upgrade für ihre Blockchain-Plattform an. Jun Hao Tan, Senior-VP für Sicherheit und Technik bei Zilliqa, sagte, halsdoek Upgrade sei der Versuch, halsdoek Problem des hohen Speicherverbrauchs auf dennenboom Mining-Knoten zu lösen. Ter der Ankündigung auf Twitter vom 14. Juli heißt es:

„Liebe Community, wir arbeiten an einem dringenden Netzwerk-Upgrade. Ter diesem Upgrade-Zeitraum werden keine Transaktionen verarbeitet und diegene Blockchain-API wird möglicherweise nicht zugänglich sein. Wir werden Sie über dennenboom Status des Upgrades auf dem Laufenden halten. Vielen Harmonie für diegene anhaltende Unterstützung!“

Ter seinem Reddit-Postbode, hat Zilliqa darauf hingewiesen, dass sein letztes Netzwerk-Upgrade v8.0 „feature-packed“ gewesen sei. Außerdem, reduziere es Block-Zeit und passe Prioritäten für Miner an, zusammen mit mehreren anderen Optimierungen. Allerdings, zeigte diegene Zilliqa-Blockchain nach dem Upgrade zeigte Instabilitäten. Infolgedessen griff halsdoek Kernteam mehrmals ein, um Patches zu implementieren. Halsdoek führte jedoch zu mehreren Ausfallzeiten.

Zilliqa merkte an, man wolle Transparenz schaffen und gleichzeitig Schritte unternehmen, diegene diegene Wahrscheinlichkeit solcher Ereignisse te Zukunft verringern. Man wolle neue Funktionen te diegene zugrunde liegende Technologie bringen, nach Industriestandards und mit laufenden Stresstests.

„Sobald diegene Änderungen und Unit-Tests vollständig fertig sind, lassen wir diese neuen Änderungen für eine gewisse Zeit te einem privaten Netzwerk im kleinen Maßstab laufen, gefolgt von einer groß angelegten Integration im Mainnet-Maßstab und stellen diegene Änderungen dann te einem öffentlichen Testnetz bereit, mit dem alle interagieren können. Wenn beim Uitproberen te einem der Netzwerke ein Fehler gefunden wird, wird dieser behoben und wir par mit dem ersten Schritt, indem wir einen Unit-Test schreiben, um dennenboom Fehler zu erfassen, diegene Korrekturen te einem privaten Netzwerk bereitstellen etc.“

Werkzeuge zur formalen Verifikation

Um dennenboom Testprozess voranzutreiben, plant Zilliqa nun diegene Einführung von „formalen Verifikationswerkzeugen“ zur Modellierung des Systems. Diegene Entwickler können dann halsdoek generierte Modell und sogar diegene Implementierung formal verifizieren. Allerdings erfordern formale Verifikationswerkzeuge sehr viele Arbeitsstunden. Gleichzeitig sind sie aber hilfreich, um „Korrektheit, Zuverlässigkeit und Verlässlichkeit von unternehmenskritischen Softwaresystemen“ zu verifizieren.

Zilliqa will zwei sich ergänzende Funktionen von Unit-Tests und formaler Verifikation kombinieren. Dies wird Entwicklern helfen, Vormgeving- und Implementierungsprobleme zu erkennen, diegene auf dem kritischen Vat der Codebasis beruhen.

Um diese Probleme weiter zu entschärfen, plant Zilliqa, diegene Häufigkeit von Netzwerk-Upgrades zu reduzieren. Dies wird mehr Zeit lassen, diegene bestehenden Funktionen auf der Blockchain zu uittesten.

Bei der jüngsten Fehlersuche bemerkte Zilliqa „ein twee Smart-Contracts, auf dem Mainnet, wo diegene implementierte Logik dennenboom Contract-Zustand mit jeder neuen Transaktion wachsen lässt“. Halsdoek Team wird nun eine Feinabstimmung einiger Parameter vornehmen, diegene diegene zugrundeliegenden Vormgeving-Muster außer Acht lassen. Außerdem wird es bessere Statik und Dynamik bringen, um Entwickler te dieser Hinsicht zu warnen.

„Beachten Sie, dass solche Contracts zwar zunächst gut funktionieren, aber früher oder später an diegene Blockgasgrenze stoßen können, wodurch sie unbrauchbar und unaufrufbar werden. Wir empfehlen Entwicklern, dieses und andere ähnliche Entwurfsmuster zu beachten. Wenn ein Contract beispielsweise eine Liste verwendet und diese Liste mit jeder einzelnen Transaktion wächst, kann dies te der Zukunft zu Problemen für dennenboom Contract führen. Außerdem sollten Contracts, wann immermeer möglich, Schleifen vermeiden, da Schleifen auf einer sehr großen Liste oder Opbergmap irgendwann halsdoek Blockgaslimit erreichen werden.“

Der Beitrag Zilliqa kündigt wichtiges Upgrade an, das den hohen Speicherverbrauch von Mining-Knoten reduziert erschien zuerst auf Crypto News Flash.