Zilliqa gradi osnovni okvir za prihodnost za preizkušanje posodobitev

• Zilliqa deluje na rešitvi problema izpadov blockchaina, s katerim se soočajo uporabniki.
• Zilliqa načrtuje uvedbo formalnih orodij za preverjanje za preverjanje "pravilnosti, zanesljivosti in zanesljivosti poslovnih -kritičnih programskih sistemov".

Zilliqa, prva javna blockchain, ki je izvajala Sharding, je napovedala nujno nadgradnjo njene platforme Blockchain. Jun Hao Tan, višji podpredsednik za varnost in inženirstvo na Zilliqi, je ugotovil, da je nadgradnja poskus reševanja problema velike porabe spomina na rudarskem vozlišču za DS Odbor. Torej Zilliqa ima. V sporočilu v sredo, 14. julija, tvitni

Draga skupnost Delamo na nujni nadgradnji omrežja. V tem obdobju nadgradnje se transakcije ne obdelujejo in blockchain. API morda ni dostopen. Na podlagi statusa nadgradnje vas spremljamo. Hvala za stalno podporo!

Zilliqa je poudaril, da želi ustvariti preglednost in hkrati sprejeti ukrepe, ki v prihodnosti zmanjšajo verjetnost takšnih dogodkov. Njegov cilj je prinesti nove funkcije v osnovno tehnologijo, medtem ko sledi industrijskim standardom in izvaja stresne teste. Napoved Reddit komentarji

Takoj, ko so testi za spremembe in komponente popolnoma končani, nekaj časa izvedemo te nove spremembe v zasebnem majhnem omrežju, ki ji sledi obsežna integracija na ravni MinNet in nato zagotovi spremembe v javnem testnem omrežju, da lahko vsi komunicirajo. Če se med testom v enem od omrežij najde napaka, je napaka odpravljena in začnemo s prvim korakom s pisanjem komponentnega testa za zapisovanje napake, zagotoviti popravke v zasebnem omrežju in tako naprej.

Za napredovanje svojega preskusnega postopka Zilliqa zdaj namerava uvesti "formalna orodja za preverjanje" za modeliranje sistema. Razvijalci lahko nato formalno preverijo ustvarjen model in celo izvedbo. Vendar formalna orodja za preverjanje zahtevajo obsežen delovni čas. Hkrati pa so koristne, da preverijo "pravilnost, zanesljivost in zanesljivost kritičnih programskih sistemov podjetja".

Zilliqa želi združiti dve dodatni funkciji testa enote in formalno preverjanje. To pomaga razvijalcem, da prepoznajo vse težave z oblikovanjem ali izvajanjem v povezavi s kritičnim delom baze kode.

Za nadaljnjo preprečevanje teh težav načrtuje Zilliqa zmanjšati pogostost nadgradenj omrežja. To daje več časa za preizkušanje obstoječih funkcij na blockchainu in v naravi.

V zadnjem popravljanju napak je Zilliqa opazila "nekaj pametnih pogodb, ki so bile zagotovljene v Mainsetu in v katerih implementirana logika omogoča, da se stanje pogodbe raste z novimi transakcijami". Ekipa bo zdaj izpopolnila nekatere parametre, ki ignorirajo osnovne vzorce oblikovanja. Prinesla bo tudi boljšo statiko in dinamiko, ki bo v zvezi s tem opozorila razvijalce. Reddit Post navaja:

Upoštevajte, da lahko takšne pogodbe zaenkrat dobro delujejo, vendar lahko prej ali slej doseže mejo bloka plina, kar pomeni, da te pogodbe postanejo neuporabne in nerazvrščene. Razvijalcem priporočamo, da upoštevajo to in druge podobne oblikovalske vzorce. Na primer, če pogodba uporablja seznam in ta seznam raste z vsako posamezno transakcijo, lahko to v prihodnosti povzroči težave pri pogodbi. Poleg tega bi se morale pogodbe, če je mogoče, izogniti brušenju, saj brušenje na zelo velikem seznamu ali kartici v nekem trenutku doseže mejo bloka.