Zilliqa vytváří základní rámec pro budoucnost pro testování aktualizací
Zilliqa vytváří základní rámec pro budoucnost pro testování aktualizací
- Zilliqa pracuje na řešení problému blockchainových prostojů, se kterým jsou uživatelé čelí.
- Zilliqa plánuje zavedení formálních ověřovacích nástrojů k ověření „korektnosti, spolehlivosti a spolehlivosti obchodních softwarových systémů“.
Zilliqa, první veřejný blockchain, který implementoval Sharding, oznámila naléhavou upgrade své blockchainové platformy. Jun Hao Tan, senior viceprezident pro bezpečnost a inženýrství v Zilliqa, zjistil, že upgrade je pokusem vyřešit problém velké spotřeby paměti na těžebním uzlu pro výbor DS. Takže Zilliqa má. Ve zprávě ve středu 14. července tweeted :
Vážená komunita pracujeme na naléhavé upgrade sítě. V tomto období upgradu nejsou zpracovány žádné transakce a blockchain. API nemusí být přístupné. Informujeme vás o stavu upgradu. Děkujeme za pokračující podporu!
Ve svém příspěvku Reddit, Zilliqa zjistil, že jeho poslední síťová upgrade V8.0 byla plná funkcí. Kromě toho byla zkrácena doba bloku, priority pro upravené horníky a několik dalších optimalizací. Blockchain Zilliqa však po upgradu vykazoval nestabilitu. Výsledkem je, že hlavní tým několikrát zasáhl záplaty. To však vedlo k několika prostojům.
Zilliqa poukázal na to, že si klade za cíl vytvořit průhlednost a zároveň podniknout kroky, které v budoucnu snižují pravděpodobnost takových událostí. Jeho cílem je přinést nové funkce do základní technologie, zatímco to sleduje průmyslové standardy a provádí stresové testy. Oznámení Reddit komentáře
Jakmile jsou testy změn a komponent zcela dokončeny, provádíme tyto nové změny v soukromé malé síti na chvíli, následuje rozsáhlá integrace na úrovni MinnNet a poté poskytneme změny ve veřejné testovací síti, aby každý mohl interagovat. Pokud je během testu nalezena chyba v jedné z sítí, chyba je opravena a začneme prvním krokem napsáním testu komponenty pro zaznamenání chyby, poskytneme oprava v soukromé síti atd. Aby se mohl zvýšit svůj testovací proces, nyní Zilliqa plánuje zavést „formální ověřovací nástroje“ pro modelování systému. Vývojáři pak mohou formálně ověřit generovaný model a dokonce implementaci. Formální ověřovací nástroje však vyžadují rozsáhlou pracovní dobu. Současně jsou však užitečné při kontrole „správnosti, spolehlivosti a spolehlivosti softwarových systémů společnosti“. Zilliqa je kombinovat dvě další funkce testu jednotky a formální ověření. To pomáhá vývojářům rozpoznat všechny problémy s návrhem nebo implementací v souvislosti s kritickou součástí kódové základny. Aby se tyto problémy dále zabránilo, plánuje Zilliqa snížit frekvenci upgradů sítě. To dává více času na testování stávajících funkcí na jeho blockchainu a ve volné přírodě. Při poslední opravě chyb si Zilliqa všiml „několik inteligentních smluv, které byly poskytnuty v mainset a ve kterých implementovaná logika umožňuje růst stavu kontraktu s novými transakcemi“. Tým nyní zdokonalí některé parametry, které ignorují základní vzory návrhu. V tomto ohledu také přinese lepší statiku a dynamiku. The Reddit Post uvádí: Všimněte si, že takové smlouvy mohou prozatím fungovat dobře, ale dříve či později může limit bloku plynu dosáhnout, což znamená, že tyto smlouvy jsou nepoužitelné a nezařaditelné. Doporučujeme vývojářům zvážit toto a další podobné vzory designu. Pokud například smlouva používá seznam a tento seznam roste s každou jednotlivou transakcí, může to v budoucnu způsobit problémy pro smlouvu. Kromě toho by se smlouvy měly zabránit broušení, pokud je to možné, protože broušení na velmi velkém seznamu nebo kartě v určitém okamžiku dosáhne blokového plynového limitu. Úvod formálních ověřovacích nástrojů
Zdroj: Crypto-news-flash.com
Kommentare (0)