Zilliqa buduje podstawowe ramy na przyszłość, aby przetestować aktualizacje
Zilliqa buduje podstawowe ramy na przyszłość, aby przetestować aktualizacje
- Zilliqa działa na rozwiązanie problemu przestoju blockchain, z którym stawali się użytkownicy.
- Zilliqa planuje wprowadzenie formalnych narzędzi weryfikacyjnych w celu weryfikacji „poprawności, niezawodności i niezawodności systemów oprogramowania biznesowego”.
Zilliqa, pierwszy publiczny blockchain, który wdrożył Sharding, ogłosiła pilną aktualizację platformy blockchain. Jun Hao Tan, starszy wiceprezes ds. Bezpieczeństwa i inżynierii w Zilliqa, stwierdził, że aktualizacja jest próbą rozwiązania problemu zużycia dużej pamięci w węźle wydobywczym dla komitetu DS. Więc Zilliqa ma. W wiadomości w środę, 14 lipca, tweeted :
: :Szanowna społeczność pracujemy nad pilną aktualizacją sieci. W tym okresie aktualizacji żadne transakcje nie są przetwarzane i blockchain. API może nie być dostępny. Jesteśmy na bieżąco z statusem aktualizacji. Dziękuję za ciągłe wsparcie!
W swoim poście Reddit Zilliqa odkrył, że jego ostatnia aktualizacja sieci V8.0 była pełna funkcji. Ponadto skrócony czas bloku, priorytety dla górników skorygowano i dokonano kilku innych optymalizacji. Jednak blockchain Zilliqa wykazał niestabilność po aktualizacji. W rezultacie zespół podstawowy interweniował kilkakrotnie, aby wprowadzić łatki. Doprowadziło to jednak do kilku przestojów.
Zilliqa wskazał, że ma na celu stworzenie przejrzystości, a jednocześnie podejmuje kroki, które zmniejszają prawdopodobieństwo takich wydarzeń w przyszłości. Ma na celu wprowadzenie nowych funkcji do technologii podstawowej, podczas gdy przestrzega standardów przemysłowych i przeprowadza testy warunków skrajnych. Ogłoszenie Reddit komentarze
Gdy tylko zmiany i testy komponentów są całkowicie zakończone, przez chwilę przeprowadzamy te nowe zmiany w prywatnej małej sieci, a następnie na dużą integrację na poziomie Minnnet, a następnie zapewniamy zmiany w publicznej sieci testowej, aby każdy mógł interakcja. Jeśli błąd zostanie znaleziony podczas testu w jednej z sieci, błąd jest ustalony i zaczynamy od pierwszego kroku, pisząc test komponentu w celu zarejestrowania błędu, podaj poprawki w sieci prywatnej i tak dalej.
Wprowadzenie formalnych narzędzi weryfikacyjnych
Aby rozwinąć swój proces testowy, Zilliqa planuje teraz wprowadzić „formalne narzędzia weryfikacyjne” w celu modelowania systemu. Deweloperzy mogą następnie formalnie zweryfikować wygenerowany model, a nawet implementację. Jednak formalne narzędzia weryfikacyjne wymagają intensywnych godzin pracy. Jednocześnie są one jednak pomocne w sprawdzeniu „poprawności, niezawodności i niezawodności firm -krytycznych systemów oprogramowania”.
Zilliqa ma na celu połączenie dwóch dodatkowych funkcji testu jednostkowego i formalnej weryfikacji. Pomaga to programistom rozpoznać wszystkie problemy z projektowaniem lub wdrażaniem w związku z krytyczną częścią bazy kodu.
W celu dalszego przeciwdziałania tym problemom Zilliqa planuje zmniejszyć częstotliwość aktualizacji sieci. Daje to więcej czasu na przetestowanie istniejących funkcji na jego blockchain i na wolności.
W najnowszej korekcie błędów Zilliqa zauważyła „kilka inteligentnych umów, które zostały zawarte w głównym zakresie i w których zaimplementowana logika pozwala na wzrost statusu umowy wraz z nowymi transakcjami”. Zespół udostępni teraz niektóre parametry, które ignorują podstawowe wzorce projektowe. Przyniesie także lepszą statykę i dynamikę, aby ostrzec programistów w tym zakresie. Post Reddit stwierdza:
Należy pamiętać, że takie umowy mogą na razie działać dobrze, ale prędzej czy później może osiągnąć limit gazu blokowego, co oznacza, że umowy te stają się bezużyteczne i nie do użycia. Zalecamy programistom rozważenie tego i innych podobnych wzorów projektowych. Na przykład, jeśli umowa korzysta z listy, a ta lista rośnie z każdą indywidualną transakcją, może to powodować problemy dla umowy w przyszłości. Ponadto kontrakty powinny unikać szlifowania, jeśli to możliwe, ponieważ szlifowanie na bardzo dużej liście lub karcie w pewnym momencie osiągną limit gazu blokowego.
Źródło: Crypto-News-flash.com
Kommentare (0)