Zilliqa cria uma estrutura principal para o futuro testar atualizações

Querida comunidade, estamos trabalhando em uma atualização urgente da rede. Neste período de atualização, nenhuma transação é processada e a blockchain. API pode não estar acessível. Nós o mantivemos atualizado sobre o status da atualização. Obrigado pelo apoio contínuo!

Em seu post do Reddit, Zilliqa descobriu que sua última atualização da rede v8.0 estava cheia de funções. Além disso, o tempo de bloco foi reduzido, as prioridades para os mineradores ajustados e várias outras otimizações foram feitas. No entanto, o blockchain Zilliqa mostrou instabilidade após a atualização. Como resultado, a equipe principal interveio várias vezes para introduzir patches. No entanto, isso levou a vários tempos de inatividade.

Zilliqa apontou que pretende criar transparência e, ao mesmo tempo, tomar medidas que reduzem a probabilidade de tais eventos no futuro. O objetivo é trazer novas funções para a tecnologia subjacente, enquanto segue os padrões industriais e realiza testes de estresse. O anúncio do Reddit comentários

Assim que as alterações e os testes de componentes forem completamente concluídos, realizamos essas novas alterações em uma pequena rede privada por um tempo, seguidas de uma integração em larga escala no nível da Minnnet e, em seguida, fornecemos as alterações em uma rede de testes públicos para que todos possam interagir. Se um erro for encontrado durante o teste em uma das redes, o erro será corrigido e começamos com a primeira etapa escrevendo um teste de componente para gravar o erro, fornecer as correções em uma rede privada e assim por diante.

Introdução de ferramentas formais de verificação

Para avançar em seu processo de teste, o Zilliqa agora planeja introduzir "ferramentas formais de verificação" para modelar o sistema. Os desenvolvedores podem então verificar formalmente o modelo gerado e até a implementação. No entanto, as ferramentas formais de verificação requerem horários de trabalho extensos. Ao mesmo tempo, no entanto, eles são úteis para verificar "a correção, a confiabilidade e a confiabilidade dos sistemas de software crítico da empresa".

Zilliqa visa combinar duas funções adicionais do teste de unidade e a verificação formal. Isso ajuda os desenvolvedores a reconhecer todos os problemas de design ou implementação relacionados à parte crítica da base de código.

Para neutralizar ainda mais esses problemas, a Zilliqa planeja reduzir a frequência das atualizações de rede. Isso dá mais tempo para testar as funções existentes em sua blockchain e na natureza.

Na correção mais recente de erros, Zilliqa notou "alguns contratos inteligentes fornecidos no mainset e nos quais a lógica implementada permite que o status do contrato cresça com novas transações". A equipe agora refinará alguns parâmetros que ignoram os padrões de design subjacentes. Também trará uma melhor estatística e dinâmica para alertar os desenvolvedores nesse sentido. O Post Reddit afirma: