Zilliqa (ZIL) - zilliqa.com - Форум о заработке, инвестициях и криптовалюте

CryptoBum · 17.04.2019, 23:09

Обновление проекта Zilliqa № 32 - #BuildonZIL, Техническое содержание

Здравствуйте все,
После завершения фазы начальной загрузки и запуска сети Zilliqa мы наблюдаем рост нашей сети. Как вы все знаете, мы являемся проектом с открытым исходным кодом, ориентированным на сообщество и нацеленным на создание более масштабируемой, безопасной и децентрализованной инфраструктуры блокчейна. Большая часть этого вдохновляет и вознаграждает наше сообщество #BuildonZIL. Мы рады сообщить, что в настоящее время они работают над целым рядом интересных проектов!

Некоторые последние события сообщества

Moonlet Wallet выпущен официально! Moonlet - это кошелек криптовалюты, не зависящий от блокчейна, который позволяет пользователям безопасно хранить активы Ethereum и Zilliqa, используя только один набор мнемонических начальных слов. Проверьте это в магазине расширений Chrome
В проводнике просмотра реализован тёмный режим
ZHIP iOS кошелек also также официально выпущен! С помощью этого интуитивно понятного приложения-кошелька вы можете легко совершать микроплатежи через ZIL.
@ micovi создал простой в использовании кошелек командной строки Zil-cli node-js. Просто установите его через. npm install-g zilcli Узнайте больше в подробной документации ( zilcli.app)
@ as1ndu создал VSCode-редактор для расширения языка Scilla . Проверьте это и установите его через VS marketplace
@ Овраг «s PyZil SDK теперь готов к производству. Теперь вы можете выполнять пакетную передачу и развертывать / вызывать контракты Scilla с этим Python SDK. Документация PyZil скоро будет добавлена на портал apidocs

Техническое содержание и принятие Scilla
Вождение для принятия языка программирования требует много образования (и документации). Поскольку сейчас мы начинаем концентрировать свои усилия на внедрении платформы Zilliqa, привлечение разработчиков с помощью Scilla - языка интеллектуальных контрактов, дружественных к формальной проверке, который был создан командой Zilliqa, - является нашим приоритетом .
Мы начнем с создания документации и технического контента о функциональности Scilla и о том, как создавать мощные и безопасные приложения с интеллектуальными контрактами. Оставайтесь в курсе!

Zollo Phishing Scam
6 апреля Zilliqa узнал о мошенничестве от мошеннической организации, называющей себя «Zollo».
«Zollo» утверждает, что сотрудничает с Zilliqa и Maker DAO, чтобы обеспечить бесплатную «раздачу токенов» ZLO (токен Zollo). Пользователям было предложено предоставить конфиденциальную информацию в процессе регистрации для распространения этого жульничества. В ответ на это Zilliqa поделился техническим отчетом со всеми известными фактами, касающимися этого инцидента 7 апреля, еще раз подтвердив всем членам сообщества, что между Zilliqa и Zollo нет какого-либо партнерства и что в Zilliqa имеются надежные протоколы безопасности. Основная команда поделилась рекомендациями о том, как люди могут использовать базовые, но эффективные меры безопасности, чтобы не стать жертвой таких мошенников.

Технические обновления
Наша основная техническая команда занята подготовкой к выпуску v4.5.0, который планируется интегрировать в основную сеть, когда мы вступаем в критический период обмена токенами.
В этом новом выпуске майнеры теперь смогут выполнять дополнительные запросы на своих узлах, наиболее значимым из которых является возможность проверки существования ожидающей транзакции. Другие запросы предназначены для обеспечения гибкости настройки параметров узла на лету, и мы планируем ввести больше запросов такого рода в ближайшем будущем.

Большинство оставшихся изменений в этой новой версии включают важные исправления наших существующих функций, и вот краткое изложение этих:

Микроблоки с нулевыми транзакциями неправильно удерживаются узлами сегмента поисковыми узлами, что не позволяет другим узлам успешно присоединиться. В новой версии было внесено три отдельных изменения кода для решения этой проблемы
Руководитель службы каталогов может предложить список подтверждений работы, которые отличаются от собственного ожидаемого списка резервного узла из-за различий в ранжировании приоритетов. В настоящее время резервная копия не будет смотреть на свой большой, полный список представлений, прежде чем пытаться проверить эти отличающиеся записи от лидера. Это может привести к ненужной повторной проверке, если эти же записи являются частью большого списка резервной копии. В следующем выпуске добавлена перекрестная проверка по большому списку перед попыткой проверки разных записей
Обнаружено, что в нашем коде маршрутизации пакетов транзакций отсутствует разрешение DNS. Когда один из наших поисков изменил свой IP-адрес, это привело к тому, что сеть на некоторое время прекратила обработку транзакций. Эта проблема больше не будет возникать с кодом разрешения DNS, установленным в следующей версии.

Scilla Interpreter
Со стороны Scilla мы работали над добавлением пространств имен в язык, улучшением анализа денежных потоков для обработки несобственных токенов и тестированием контрактов Scilla, написанных сообществом, на наличие ошибок и неэффективности.

Поддержка внешних библиотек. Недавно мы добавили поддержку внешних библиотек, которая позволяет разработчикам интеллектуальных контрактов развертывать автономные библиотеки, которые содержат только чистые функции. Однако реализация имела ограничение. Напомним, что библиотекам разрешено импортировать другие библиотеки. В результате в библиотеках могут быть конфликтующие имена функций. В предыдущей реализации средство проверки выдало ошибку при обнаружении конфликта имен.
В качестве продолжения мы теперь поддерживаем пространства имен в Scilla, чтобы избежать конфликтов имен между импортом. Теперь каждая импортированная библиотека может быть связана с пространством имен в контексте импортера. Это можно указать как import Lib1>>Foo . Доступ к Lib1именам в импортере будет осуществляться через префикс Foo.name.

Анализ денежных потоков : наш анализатор денежных потоков проверяет, правильно ли обрабатываются деньги в контракте - деньги являются родственными токенами ZIL. Однако анализатор не дает каких-либо полезных результатов для ненативных токенов, которые имеют значение, например, заменимый токен.
Для этого мы добавили в анализатор новую функцию, которая позволяет пользователям подсказывать, какие части кода могут быть помечены как «деньги». Затем анализатор денежных потоков принимает подсказку как основную истину в своем анализе. Эта функция позволяет анализировать контракт с функциональными токенами, который не обрабатывает собственные ZIL, но вместо этого ведет учет функциональных токенов.

Тестирование контрактов Scilla в естественных условиях: мы решили провести тестирование наших статических анализаторов, а именно анализатора денежных потоков и газоанализатора, протестировав его на шестнадцати контрактах, составленных сообществом, и выявили следующие неэффективные шаблоны / ошибки: (1) копирование карты с поля чтобы прочитать одну запись, (2) копирование вложенной карты, чтобы проверить, существует ли соответствующий ей ключ, (3) создание копии контейнера и отсутствие ссылки на нее позже, (4) переходы получения денег, не принимаемые явно средства или прием средств более одного раза. Ошибки из категорий 1–3 были обнаружены с помощью анализатора ресурсов, в то время как (4) была обнаружена с помощью анализа денежных потоков.
Это показывает, как анализаторы можно использовать для устранения ошибок в контрактах Scilla или для того, чтобы контракты потребляли меньше газа.

17.04.2019, 23:09	#1
CryptoBum Любитель Регистрация: 10.07.2013 Сообщений: 630 Вы сказали Спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях	Обновление проекта Zilliqa № 32 - #BuildonZIL, Техническое содержание Здравствуйте все, После завершения фазы начальной загрузки и запуска сети Zilliqa мы наблюдаем рост нашей сети. Как вы все знаете, мы являемся проектом с открытым исходным кодом, ориентированным на сообщество и нацеленным на создание более масштабируемой, безопасной и децентрализованной инфраструктуры блокчейна. Большая часть этого вдохновляет и вознаграждает наше сообщество #BuildonZIL. Мы рады сообщить, что в настоящее время они работают над целым рядом интересных проектов! Некоторые последние события сообщества Moonlet Wallet выпущен официально! Moonlet - это кошелек криптовалюты, не зависящий от блокчейна, который позволяет пользователям безопасно хранить активы Ethereum и Zilliqa, используя только один набор мнемонических начальных слов. Проверьте это в магазине расширений Chrome В проводнике просмотра реализован тёмный режим ZHIP iOS кошелек also также официально выпущен! С помощью этого интуитивно понятного приложения-кошелька вы можете легко совершать микроплатежи через ZIL. @ micovi создал простой в использовании кошелек командной строки Zil-cli node-js. Просто установите его через. npm install-g zilcli Узнайте больше в подробной документации ( zilcli.app) @ as1ndu создал VSCode-редактор для расширения языка Scilla . Проверьте это и установите его через VS marketplace @ Овраг «s PyZil SDK теперь готов к производству. Теперь вы можете выполнять пакетную передачу и развертывать / вызывать контракты Scilla с этим Python SDK. Документация PyZil скоро будет добавлена на портал apidocs Техническое содержание и принятие Scilla Вождение для принятия языка программирования требует много образования (и документации). Поскольку сейчас мы начинаем концентрировать свои усилия на внедрении платформы Zilliqa, привлечение разработчиков с помощью Scilla - языка интеллектуальных контрактов, дружественных к формальной проверке, который был создан командой Zilliqa, - является нашим приоритетом . Мы начнем с создания документации и технического контента о функциональности Scilla и о том, как создавать мощные и безопасные приложения с интеллектуальными контрактами. Оставайтесь в курсе! Zollo Phishing Scam 6 апреля Zilliqa узнал о мошенничестве от мошеннической организации, называющей себя «Zollo». «Zollo» утверждает, что сотрудничает с Zilliqa и Maker DAO, чтобы обеспечить бесплатную «раздачу токенов» ZLO (токен Zollo). Пользователям было предложено предоставить конфиденциальную информацию в процессе регистрации для распространения этого жульничества. В ответ на это Zilliqa поделился техническим отчетом со всеми известными фактами, касающимися этого инцидента 7 апреля, еще раз подтвердив всем членам сообщества, что между Zilliqa и Zollo нет какого-либо партнерства и что в Zilliqa имеются надежные протоколы безопасности. Основная команда поделилась рекомендациями о том, как люди могут использовать базовые, но эффективные меры безопасности, чтобы не стать жертвой таких мошенников. Технические обновления Наша основная техническая команда занята подготовкой к выпуску v4.5.0, который планируется интегрировать в основную сеть, когда мы вступаем в критический период обмена токенами. В этом новом выпуске майнеры теперь смогут выполнять дополнительные запросы на своих узлах, наиболее значимым из которых является возможность проверки существования ожидающей транзакции. Другие запросы предназначены для обеспечения гибкости настройки параметров узла на лету, и мы планируем ввести больше запросов такого рода в ближайшем будущем. Большинство оставшихся изменений в этой новой версии включают важные исправления наших существующих функций, и вот краткое изложение этих: Микроблоки с нулевыми транзакциями неправильно удерживаются узлами сегмента поисковыми узлами, что не позволяет другим узлам успешно присоединиться. В новой версии было внесено три отдельных изменения кода для решения этой проблемы Руководитель службы каталогов может предложить список подтверждений работы, которые отличаются от собственного ожидаемого списка резервного узла из-за различий в ранжировании приоритетов. В настоящее время резервная копия не будет смотреть на свой большой, полный список представлений, прежде чем пытаться проверить эти отличающиеся записи от лидера. Это может привести к ненужной повторной проверке, если эти же записи являются частью большого списка резервной копии. В следующем выпуске добавлена перекрестная проверка по большому списку перед попыткой проверки разных записей Обнаружено, что в нашем коде маршрутизации пакетов транзакций отсутствует разрешение DNS. Когда один из наших поисков изменил свой IP-адрес, это привело к тому, что сеть на некоторое время прекратила обработку транзакций. Эта проблема больше не будет возникать с кодом разрешения DNS, установленным в следующей версии. Scilla Interpreter Со стороны Scilla мы работали над добавлением пространств имен в язык, улучшением анализа денежных потоков для обработки несобственных токенов и тестированием контрактов Scilla, написанных сообществом, на наличие ошибок и неэффективности. Поддержка внешних библиотек. Недавно мы добавили поддержку внешних библиотек, которая позволяет разработчикам интеллектуальных контрактов развертывать автономные библиотеки, которые содержат только чистые функции. Однако реализация имела ограничение. Напомним, что библиотекам разрешено импортировать другие библиотеки. В результате в библиотеках могут быть конфликтующие имена функций. В предыдущей реализации средство проверки выдало ошибку при обнаружении конфликта имен. В качестве продолжения мы теперь поддерживаем пространства имен в Scilla, чтобы избежать конфликтов имен между импортом. Теперь каждая импортированная библиотека может быть связана с пространством имен в контексте импортера. Это можно указать как import Lib1>>Foo . Доступ к Lib1именам в импортере будет осуществляться через префикс Foo.name. Анализ денежных потоков : наш анализатор денежных потоков проверяет, правильно ли обрабатываются деньги в контракте - деньги являются родственными токенами ZIL. Однако анализатор не дает каких-либо полезных результатов для ненативных токенов, которые имеют значение, например, заменимый токен. Для этого мы добавили в анализатор новую функцию, которая позволяет пользователям подсказывать, какие части кода могут быть помечены как «деньги». Затем анализатор денежных потоков принимает подсказку как основную истину в своем анализе. Эта функция позволяет анализировать контракт с функциональными токенами, который не обрабатывает собственные ZIL, но вместо этого ведет учет функциональных токенов. Тестирование контрактов Scilla в естественных условиях: мы решили провести тестирование наших статических анализаторов, а именно анализатора денежных потоков и газоанализатора, протестировав его на шестнадцати контрактах, составленных сообществом, и выявили следующие неэффективные шаблоны / ошибки: (1) копирование карты с поля чтобы прочитать одну запись, (2) копирование вложенной карты, чтобы проверить, существует ли соответствующий ей ключ, (3) создание копии контейнера и отсутствие ссылки на нее позже, (4) переходы получения денег, не принимаемые явно средства или прием средств более одного раза. Ошибки из категорий 1–3 были обнаружены с помощью анализатора ресурсов, в то время как (4) была обнаружена с помощью анализа денежных потоков. Это показывает, как анализаторы можно использовать для устранения ошибок в контрактах Scilla или для того, чтобы контракты потребляли меньше газа.