Zilliqa builds a core framework for the future to test updates
Zilliqa builds a core framework for the future to test updates
- Zilliqa works on the solution to the problem of blockchain downtime, with which users are faced.
- Zilliqa plans the introduction of formal verification tools to verify the "correctness, reliability and reliability of business -critical software systems".
Zilliqa, the first public blockchain that implemented Sharding, announced an urgent upgrade of her blockchain platform. Jun Hao Tan, Senior Vice President of Security and Engineering at Zilliqa, found that the upgrade is an attempt to solve the problem of large memory consumption on the mining node for the DS committee. So Zilliqa has. In a message on Wednesday, July 14th, tweeted :
Dear community We are working on an urgent network upgrade. In this upgrade period, no transactions are processed and the blockchain. API may not be accessible. We keep you up to date on the status of the upgrade. Thank you for the ongoing support!
In his Reddit post, Zilliqa found that his last network upgrade V8.0 was full of functions. In addition, the block time was reduced, the priorities for miners adjusted and several other optimizations were made. However, the Zilliqa blockchain showed instability after the upgrade. As a result, the core team intervened several times to introduce patches. However, this led to several downtime.
Zilliqa pointed out that it aims to create transparency and at the same time take steps that reduce the likelihood of such events in the future. It aims to bring new functions to the underlying technology, while it follows the industrial standards and conducts stress tests. The reddit announcement comments
As soon as the changes and component tests are completely finished, we carry out these new changes in a private small network for a while, followed by a large-scale integration at the Minnnet level and then provide the changes in a public test network so that everyone can interact. If an error is found during the test in one of the networks, the error is fixed and we start with the first step by writing a component test to record the error, provide the corrections in a private network and so on. In order to advance his test process, Zilliqa is now planning to introduce "formal verification tools" to model the system. The developers can then formally verify the generated model and even implementation. However, formal verification tools require extensive working hours. At the same time, however, they are helpful to check "correctness, reliability and reliability of company -critical software systems". Zilliqa aims to combine two additional functions of the unit test and the formal verification. This helps developers to recognize all design or implementation problems in connection with the critical part of the code base. In order to further counteract these problems, Zilliqa plans to reduce the frequency of network upgrades. This gives more time to test the existing functions on its blockchain and in the wild. In the latest error correction, Zilliqa noticed "a few smart contracts that were provided in the Mainset and in which the implemented logic allows contract status to grow with new transactions". The team will now refine some parameters that ignore the underlying design patterns. It will also bring better statics and dynamics to warn developers in this regard. The Reddit Post states: Note that such contracts can work well for the time being, but sooner or later the block gas limit can achieve, which means that these contracts become unusable and unclassable. We recommend developers to consider this and other similar design patterns. For example, if a contract uses a list and this list grows with each individual transaction, this can cause problems for the contract in the future. In addition, contracts should avoid grinding if possible, as grinding on a very large list or card at some point reach the block gas limit. introduction of formal verification tools
Source: Crypto-news-flash.com
Kommentare (0)