Zilliqa bygger et kjerneramme for fremtiden for å teste oppdateringer
Zilliqa bygger et kjerneramme for fremtiden for å teste oppdateringer
- Zilliqa jobber med løsningen på problemet med nedetid for blockchain, som brukere blir møtt med.
- Zilliqa planlegger innføring av formelle verifiseringsverktøy for å verifisere "korrekthet, pålitelighet og pålitelighet av forretnings -kritiske programvaresystemer".
Zilliqa, den første offentlige blockchain som implementerte sharding, kunngjorde en presserende oppgradering av blockchain -plattformen hennes. Jun Hao Tan, senior visepresident for sikkerhet og ingeniørvitenskap i Zilliqa, fant at oppgraderingen er et forsøk på å løse problemet med stort minneforbruk på gruveknuten for DS -komiteen. Så Zilliqa har. I en melding onsdag 14. juli,
Kjære samfunn vi jobber med en presserende nettverksoppgradering. I denne oppgraderingsperioden behandles ingen transaksjoner og blockchain. API er kanskje ikke tilgjengelig. Vi holder deg oppdatert om oppgraderingsstatusen. Takk for den pågående støtten! I sitt Reddit -innlegg fant Zilliqa at hans siste nettverksoppgradering v8.0 var full av funksjoner. I tillegg ble blokkeringstiden redusert, prioriteringene for gruvearbeidere justert og flere andre optimaliseringer ble gjort. Zilliqa blockchain viste imidlertid ustabilitet etter oppgraderingen. Som et resultat grep kjerneteamet flere ganger for å introdusere lapper. Dette førte imidlertid til flere driftsstans. Zilliqa påpekte at den tar sikte på å skape åpenhet og samtidig ta skritt som reduserer sannsynligheten for slike hendelser i fremtiden. Den tar sikte på å bringe nye funksjoner til den underliggende teknologien, mens den følger de industrielle standardene og utfører stresstester. Reddit -kunngjøringen Commentarer commentarer
Så snart endringene og komponentprøvene er helt ferdige, utfører vi disse nye endringene i et privat lite nettverk en stund, etterfulgt av en storskala integrasjon på MinnNET-nivå og deretter gir endringene i et offentlig testnettverk slik at alle kan samhandle. Hvis en feil blir funnet under testen i et av nettverkene, er feilen løst, og vi starter med det første trinnet ved å skrive en komponenttest for å registrere feilen, gi korreksjonene i et privat nettverk og så videre. For å fremme sin testprosess, planlegger Zilliqa nå å introdusere "formelle verifiseringsverktøy" for å modellere systemet. Utviklerne kan da formelt verifisere den genererte modellen og til og med implementeringen. Imidlertid krever formelle verifiseringsverktøy omfattende arbeidstid. Samtidig er de imidlertid nyttige for å sjekke "korrekthet, pålitelighet og pålitelighet av selskap -kritiske programvaresystemer". Zilliqa tar sikte på å kombinere to ekstra funksjoner av enhetstesten og den formelle verifiseringen. Dette hjelper utviklere til å gjenkjenne alle design- eller implementeringsproblemer i forbindelse med den kritiske delen av kodebasen. For å kunne motvirke disse problemene ytterligere, planlegger Zilliqa å redusere hyppigheten av nettverksoppgraderinger. Dette gir mer tid til å teste de eksisterende funksjonene på blockchain og i naturen. I den siste feilrettingene la Zilliqa merke til "noen få smarte kontrakter som ble gitt i hovedsetten og hvor den implementerte logikken lar kontraktstatus vokse med nye transaksjoner". Teamet vil nå avgrense noen parametere som ignorerer de underliggende designmønstrene. Det vil også gi bedre statistikk og dynamikk for å advare utviklere i denne forbindelse. Reddit Post heter det: Merk at slike kontrakter kan fungere bra for tiden, men før eller senere kan blokkgassgrensen oppnå, noe som betyr at disse kontraktene blir ubrukelige og uklarbare. Vi anbefaler utviklere å vurdere dette og andre lignende designmønstre. For eksempel, hvis en kontrakt bruker en liste og denne listen vokser med hver enkelt transaksjon, kan dette føre til problemer for kontrakten i fremtiden. I tillegg bør kontrakter unngå å slipe hvis mulig, da sliping på en veldig stor liste eller kort på et tidspunkt når blokkgassgrensen. Introduksjon av formelle verifiseringsverktøy
Kommentare (0)