Zilliqa обновление проекта #12 - Удобство управления, усовершенствования в Testnet

Быстрое заявление о ботах и спаме: Мы обратили наше внимание на то, что было много людей (или ботов), комментирующих социальные каналы, пропагандирующие Zilliqa, особенно на YouTube. Мы никогда не будем использовать это как маркетинговую тактику. Наша позиция всегда заключалась в том, чтобы строить технологию, которая говорит сама за себя, но мы также осознаем, что маркетинг важен, и мы предпринимаем шаги по развертыванию программ принятия, созданию Dapps, поощрению развития, управлению массовым образованием и многим другим. Тем не менее, спам в комментариях или сообщениях, безусловно, мы не создаем и не приветствуем. Хотя мы искренне ценим и заботимся об энтузиазме в нашем сообществе, мы просим всех уважать производителей контента, а не спамить кого-либо с информацией о Zilliqa - это становится контрпродуктивным для всех. Кроме того, у Зиллики никогда не было и не будет никаких планов делать airdrops. Любой человек, обещающий бесплатные токены ZIL через airdrop, является мошенником.

Всем привет. На прошлой неделе мы представили Testnet v2.0, что стало важной вехой на пути к запуску сети Zilliqa Mainnet в течение следующих 3 месяцев. В этом выпуске мы представили первую Integrated Development Environment (IDE) для Scilla, которая позволяет людям начинать создавать и тестировать смарт-контрактные приложения на Zilliqa. Ниже приведен мануал о том, как использовать среду Scilla.

Scilla была разработана, как более безопасная и более эффективная среда для разработчиков по созданию интеллектуальных контрактных приложений, чем существующие альтернативы. Когда мы начали процесс планирования построения масштабируемой платформы блокчейн (Zilliqa), мы понимали, что существуют серьезные уязвимости в отношении безопасности с существующими интеллектуальными языками для разработки контрактов, что является серьезной проблемой для интеграции в долгосрочной перспектив. Следовательно, мы решили создать интеллектуальный язык программирования контрактов для сопровождения нашей платформы.

Если вы заинтересованы в том, чтобы узнать больше с технической точки зрения о проблеме уязвимости интеллектуального контракта, ознакомьтесь с этой статьей, выпущенной в начале этого года Пратеком Сакшена (главный научный советник в Zilliga), Илья Сергей (советник), Аквинас Хобор (советник) , и другие: https://arxiv.org/pdf/1802.06038.pdf

Как всегда, чтобы узнать больше о Zilliqa или обсудить технические аспекты проекта, вы можете связаться с нами через любой из наших официальных каналов ниже:

Telegram: https://t.me/zilliqachat

Slack: https://invite.zilliqa.com/

Twitter: https://twitter.com/zilliqa

Reddit: https://www.reddit.com/r/zilliqa/

Github: https://github.com/Zilliqa/zilliqa

Gitter: https://gitter.im/Zilliqa/ (Темы, связанные с разработкой, включая грант экосистемы)

Обновления сообщества

Тестирование командой Etheremon - Zilliqa

На прошлой неделе EMONT Alliance, создатели Etheremon, одной из самых популярных игр на Ethereum, анонсировали, что они будут перемещать свои «битвы» с блокчейн Ethereum и начнут работать с Zilliqa для потенциального долгосрочного сотрудничества.

До сих пор Etheremon работал непосредственно на блокчейн Ethereum и был совмещен с виртуальной реальностью, чтобы создавать существа, которые полностью уникальны и принадлежат пользователям, потому что они существуют как уникальные записи на блокчейне. Однако для этого требуется, чтобы транзакции происходили на блокчейн для записи изменений в символы. EMONT Alliance также имеет новую игру EMONT Frenzy, подводную боевую игру, в которую пользователям стало сложно играть из-за высоких требований оплате газа.

Гейминг рассматривается как один из больших потенциальных приложений для блокчейн, поскольку дает разработчикам игры возможность напрямую стимулировать геймеров с помощью награды, а также предлагает истинную собственность на игровые активы, даже если игра должна быть прекращена. Мы считаем, что игры подходят для платформы Zilliqa из-за высокой пропускной способности и низких транзакционных издержек.

Мы тесно сотрудничаем с командой EMONT Alliance и с нетерпением ждем, чтобы все были опубликованы в нашем техническом прогрессе.

Прошедшие события

На самой последней сессии технической инициативы Blockchain Technical Reading Group, которую мы поддерживаем, Амрит рассказал о прослеживаемости в Monero - блокирующем сохранение конфиденциальности. Это была статья, опубликованная Amrit и другими исследователями, которая показала, что в 88% случаев, происхождение средств может быть легко определено даже в блокирующих сохранение конфиденциальности,

Мы также принимали участие в нашем инфографическом конкурсе #zilliqacontest CyberiusDigital в нашем офисе. Вы можете просмотреть победившую инфографику здесь.

Xinshu рассказал о блокчейн и о том, как предприятия могут использовать эту технологию на сессии, организованной Surbana Jurong, сингапурской государственной консалтинговой компанией, занимающейся вопросами инфраструктуры и развития городов.

Предстоящие События

В ближайшие недели мы проведем серию мероприятий в Китае и Корее.

11 июля

Шанхай Zilliqa Meetup

Время: 6.00-9.30

Место проведения: Ocean Tower L29, 550 Yanan East Road, Хуанпу, Шанхай

http://www.huodongxing.com/event/4446320289600?td=9342936681918

19 июля

Сеул Zilliqa Meetup (с Kyber Network, Quantstamp и др.)

Время: 7.00-10.00

Место проведения: 346 Gangnam-daero, Сеул

https://onoffmix.com/event/144194

Техническое обновление

В течение последних двух недель мы работали круглосуточно, чтобы дать окончательные штрихи нашему тестовому выпуску v2.0. Мы добавили новые возможности в интерпретатор Scilla, улучшили стабильность системы, уменьшили накладные расходы на связь в сети, используя переадресацию состояния и улучшили защиту системы testnet.

Scilla интерпретатор

За последние две недели мы добавили несколько интерпретаторов к новым функциям. Важным добавлением является то, что вывод интерпретатора теперь отражает успешное выполнение accept statement. Вы можете больше узнать о операторах Scilla в language documentation. Напомним, что любые входящие средства в контракт должны быть явно приняты в рамках перехода. Без явного принятия входящие средства возвращаются вызывающему. Выход интерпретатора теперь имеет обязательное логическое поле принятое, чтобы отражать принятие или отклонение входящих средств. В текущей реализации принимается либо вся входящая сумма, либо нет. Благодаря этой информации на выходе становится намного проще обрабатывать остатки на счете после вызова контракта.

Наша встроенная библиотека Scilla растет, поскольку мы добавляем к ней дополнительные функции. Например, теперь у нас есть map_to_list встроенный, чтобы преобразовать Карты в список (ключ, значение) Пара, функция для преобразования Uint32 в значение типа Nat и множество других интегральных утилит преобразования.

Мы также добавили проверки в парсер JSON, чтобы гарантировать, что переданные переменные входного состояния, переменные цепочки и параметры сообщений соответствуют их соответствующим определениям в контракте. Ранее было возможно передать неизменяемый параметр во время инициализации, который не был определен в контракте. У интерпретатора не было надлежащих проверок проверки, чтобы сообщать о таких ошибках.

Благодаря нашим членам сообщества на Gitter мы определили, что алгебраические типы данных (ADT), такие как Pair и Map, были неправильно сериализованы в выходном JSON, сгенерированном интерпретатором. Мы устранили эти проблемы и улучшили поддержку типов для **ADT ** s и Map в разборе и печати JSON. JSON для Карты и ADT теперь содержат полную информацию о их содержимом.

В нашей Blockchain IDE кошелек может автоматически определять имена переходов и их типы в данном контракте. Это было реализовано в Javascript с помощью простого регулярного выражения. Мы чувствовали, что было бы лучше, если бы оно было реализовано на стороне переводчика. В результате мы внедрили scilla-checker, который предоставляет информацию о контрактах для использования на любом клиенте. scilla-checker возвращает JSON, который содержит изменяемые и неизменные переменные контракта, переходы в них и их параметры.

Отладка контрактов Scilla в настоящее время не является легкой задачей. Чтобы улучшить это, мы начали реализацию трассировщика для переводчика. После того, как будет реализован трассировщик, будет легче идентифицировать ошибки в контракте.

Последнее, но не менее важное: мы также работаем над документацией Scilla, которая теперь доступна в https://scilla.readthedocs.io. Прочтите его и помогите нам улучшить его, внеся вклад в публичный репозиторий Github: https://github.com/Zilliqa/scilla-docs.

Тестнет

Для стабильности мы внедрили и уточнили логику в нескольких местах для поддержки объединения новых узлов и восстановления старого узла в тестовой сети. Мы заменили busy-wait с переменными состояния, например, в коде, который выполняет синхронизацию состояний учетной записи и согласованного протокола. Мы также уточнили логику правильной обработки множества угловых случаев для воссоединения узлов. Чтобы повысить эффективность переадресации транзакций другим узлам, мы оптимизировали протокол для обмена транзакциями путем объединения нескольких транзакций в одно сообщение. Для поддержки воссоединения функции восстановления мы добавили контрольные точки, чтобы позволить узлам возвращаться из последнего состояния отказа. Чтобы работать с изменением вида, мы внедрили дополнительную логику, позволяющую узлу DS воссоединиться после изменения вида в новую эпоху DS.

Чтобы уменьшить накладные расходы на связь между шардингом, мы позволяем узлам в шардинге перенаправлять изменения состояний счета (дельту) на узлы в других шардингах. В то же время предлагаемый микроблок и окончательный блок содержат хэш изменений, поэтому узлы в других шардингах могут легко подтвердить правильность дельты принятого состояния. При правильной дельте узлы могут обновлять свои локальные состояния учетной записи. По сравнению с предыдущим способом пересылки транзакций непосредственно другим шардингом текущий метод экономит значительную стоимость связи, передавая сообщения меньшего размера. Это также уменьшает издержки на вычисление, так как получатели не требуют повторного выполнения транзакций для обновления состояния своих учетных записей, но проверяют дельта и обновляют состояния.

На стороне безопасности testnet мы внедрили библиотеку SafeMath, чтобы избежать целочисленного переполнения математических операций. Мы делаем запрос на всех узлов, отправляющих решения PoW, отправлять подпись, а узлы DS будут проверять подпись и mixhash для предотвращения DoS-атак. Мы добавили список имен IP-адресов, а узлы DS не будут принимать заявки от PoW, если соответствующие IP-адреса не принадлежат этому списку. Аналогично Bitcoin и Ethereum, узлы будут периодически и автоматически обновлять этот список, чтобы исключить потенциально вредоносные узлы, такие как DoS-атаки.

Сводка других улучшений приведена ниже.

Обновлены функции сериализации и десериализации транзакций и состояний относительно последнего обновления Scilla.
Применяемая условная переменная при транзакции и дельта-пересылка состояний.
преобразован весь тип данных blocknum из uint256_t в uint64_t, чтобы уменьшить использование памяти.
Заменена push_back с помощью emplace_back для повышения эффективности.
Добавлена поддержка https и сертификат для тестовой сети Kubernetes в производстве.
Добавлен Vagrantfile в инструментарий для тестирования, чтобы обеспечить стандартную рабочую среду.
добавлено состояние ERROR в соответствии с функциями обработки исключений.
Очистка переполненных журналов.
Основные исправления для смарт-контрактов в пользовательском интерфейсе кошелька.
Добавлены неизменяемые переменные для ограничения пользовательского интерфейса.
Обновлены js-lib API-документы и примеры.

Новые участники команды Zilliqa

Пожалуйста, познакомьтесь с двумя новыми членами команды, Эдисон Лим и Шэн Гуан.

Edison Lim, Разработчик приложений Blockchain

Магистр информационной безопасности, Университет Карнеги-Меллона, США
Эдисон - инженер-программист со специализацией в разработке приложений для блокчейнов, веб-разработке и кибер-криминалистике. До прихода в Zilliga он написал дипломную работу под названием «Анализ безопасности разрешенных ,блокчейн систем». Эдисон также обучался кибер-криминалистике и реагированию на инциденты со стороны US-CERT, в аспирантуре в США. Он является стипендиатом National Infocomm из Сингапура. До окончания аспирантуры, Эдисон окончил с B.Sc (Summa Cum Laude) в Сингапурском университете управления. Ранее он работал в области управленческого консалтинга и в области науки и техники.

Shengguang Xiao, Основной разработчик

Мастер мехатронной инженерии, Университет Чон Цин, Китай

Shengguang имеет более чем 9-летний опыт разработки программного обеспечения, уделяя особое внимание парсеру языка, обработке сигналов, обработке изображений и многопоточным программным системам. Во время своей прошлой работе в технологиях Keysight он разработал парсер языка для ICL и PDL и автоматический тестовый генератор для стандарта IEEE 1687. До прихода в Keysight Шэн Гуан работал в ASM Technology Pacific в течение 6 лет. Он разработал новый продукт AOI (Automatic Optics Inspection), используя высокоскоростную камеру и усовершенствованный алгоритм обзора, чтобы найти дефектные блоки в производстве ИС. Продукт используется более чем 20 заводами по всему миру.

Присоединяйтесь к Zilliqa!

Мы активно проводим собеседование и стремимся привлечь высококвалифицированных специалистов, чтобы помочь Zilliqa достичь максимального потенциала. Мы ищем программистов с глубоким опытом на C ++, инженеров-компиляторов, а также партнеров и руководителей в области развития бизнеса. Пожалуйста, протяните руку, если вы чувствуете, что можете принести пользу растущей экосистеме Zilliqa!

Zilliqa новости

EMONT Alliance партнерство: https://ambcrypto.com/zilliqa-zil-working-emont-alliance-set-advance-gaming-world/

Zilliqa упомянутый в TechCrunch, так как наш советник Эван Чэн становится директором по инженерии, Blockchain на Facebook:https://techcrunch.com/2018/07/05/bookchain/

Тестнет v2.0 покрытие: