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. Te der Ankündigung auf Twitter vom 14. Juli heißt es:
„Liebe Community, wir arbeiten an einem dringenden Netzwerk-Upgrade. Te 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!“
Te 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. Stropdas führte jedoch zu mehreren Ausfallzeiten.
Zilliqa merkte an, man wolle Transparenz schaffen und gleichzeitig Schritte unternehmen, diegene diegene Wahrscheinlichkeit solcher Ereignisse ter Zukunft verringern. Man wolle neue Funktionen ter 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 ter einem privaten Netzwerk im kleinen Maßstab laufen, gefolgt von einer groß angelegten Integration im Mainnet-Maßstab und stellen diegene Änderungen dann ter einem öffentlichen Testnetz bereit, mit dem alle interagieren können. Wenn beim Toetsen ter einem der Netzwerke ein Fehler gefunden wird, wird dieser behoben und wir opstarten mit dem ersten Schritt, indem wir einen Unit-Test schreiben, um dennenboom Fehler zu erfassen, diegene Korrekturen ter 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“. Stropdas 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 ter 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 ter 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 Schrijfmap 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.
Neueste Kommentare