- Автор темы
- #1
luxury2019
Мастер криптанов
Zilliqa, первый публичный блокчейн, внедривший шардинг, объявил о срочном обновлении своей платформы. Цзюнь Хао Тан (Jun Hao Tan), старший вице-президент по безопасности и проектированию Zilliqa, отметил, что обновление является попыткой решить проблему большого потребления памяти на узлах майнинга для комитета DS.
В своем сообщении на Reddit компания отметила, что его последнее обновление сети v8.0 было многофункциональным. Кроме того, он сократил время блока, скорректировал приоритеты для майнеров, а также несколько других оптимизаций. Однако после обновления блокчейн Zilliqa показал нестабильность.
В результате основная команда несколько раз вмешивалась для внедрения исправлений. Но это привело к множественным простоям. Zilliqa отметила, что она направлена на обеспечение прозрачности при принятии мер, снижающих вероятность подобных событий в будущем.
В объявлении Reddit отмечается: "Как только изменения и модульные тесты будут полностью готовы, мы запускаем эти новые изменения в частной небольшой сети в течение определенного периода времени, после чего следует крупномасштабная интеграция в масштабе основной сети, а затем развертываем изменения в открытой общедоступной тестовой сети для всех, с кем можно взаимодействовать".
Теперь, чтобы продвинуть процесс тестирования, Zilliqa планирует внедрить «формальные инструменты проверки» для моделирования системы. Затем разработчики могут формально проверить сгенерированную модель и даже реализацию. Однако формальные инструменты проверки требуют значительных человеко-часов. Но в то же время они полезны для проверки «правильности и надежности критически важных программных систем».
Zilliqa стремится объединить две взаимодополняющие функции модульного тестирования и формальной проверки. Это поможет разработчикам обнаружить любые проблемы проектирования или реализации, связанные с критически важной частью кодовой базы.
При последнем устранении неполадок Zilliqa заметила «пару смарт-контрактов, развернутых в основной сети, где реализованная логика заставляет состояние контракта расти вместе с новыми транзакциями». Теперь команда настроит некоторые параметры, которые сделают основные шаблоны проектирования незамеченными. Кроме того, это улучшит статику и динамику, чтобы предупредить разработчиков об этом.
В своем сообщении на Reddit компания отметила, что его последнее обновление сети v8.0 было многофункциональным. Кроме того, он сократил время блока, скорректировал приоритеты для майнеров, а также несколько других оптимизаций. Однако после обновления блокчейн Zilliqa показал нестабильность.
В результате основная команда несколько раз вмешивалась для внедрения исправлений. Но это привело к множественным простоям. Zilliqa отметила, что она направлена на обеспечение прозрачности при принятии мер, снижающих вероятность подобных событий в будущем.
В объявлении Reddit отмечается: "Как только изменения и модульные тесты будут полностью готовы, мы запускаем эти новые изменения в частной небольшой сети в течение определенного периода времени, после чего следует крупномасштабная интеграция в масштабе основной сети, а затем развертываем изменения в открытой общедоступной тестовой сети для всех, с кем можно взаимодействовать".
Теперь, чтобы продвинуть процесс тестирования, Zilliqa планирует внедрить «формальные инструменты проверки» для моделирования системы. Затем разработчики могут формально проверить сгенерированную модель и даже реализацию. Однако формальные инструменты проверки требуют значительных человеко-часов. Но в то же время они полезны для проверки «правильности и надежности критически важных программных систем».
Zilliqa стремится объединить две взаимодополняющие функции модульного тестирования и формальной проверки. Это поможет разработчикам обнаружить любые проблемы проектирования или реализации, связанные с критически важной частью кодовой базы.
При последнем устранении неполадок Zilliqa заметила «пару смарт-контрактов, развернутых в основной сети, где реализованная логика заставляет состояние контракта расти вместе с новыми транзакциями». Теперь команда настроит некоторые параметры, которые сделают основные шаблоны проектирования незамеченными. Кроме того, это улучшит статику и динамику, чтобы предупредить разработчиков об этом.