BTC $ 3266.54637742 (1.1 %)
XRP $ 0.289009142 (0.55 %)
ETH $ 86.3308713759 (2.5 %)
USDT $ 1.0055308682 (0.36 %)
XLM $ 0.0973696706 (0.92 %)
EOS $ 1.9269858293 (5.12 %)
LTC $ 25.9080835877 (9.69 %)
BCH $ 80.8607891607 (1.63 %)
BSV $ 74.3704659605 (5.5 %)
TRX $ 0.0130818765 (2.92 %)

Виртуальные машины Cardano на тестовых сетях KVM и IELE

20:00 17/11/2018

Введение

 

Cardano предлагает гибкую платформу с усиленным балансом внутри ее экосистемы. Она позволяет интегрировать другие системы и оправдывает ожидания пользователей. В отличие от других подобных проектов, у Cardano нет единого whitepaper. Вместо этого он представляет набор статей на конкретные темы. С таких подходом Cardano раскрывает различные ключевые вопросы.

 

Эти вопросы включают отдельные слои для расчетов и учета информации, модульную структуру, академический междисциплинарный подход, малую задержку между предложением и внедрением, удобную модель модернизации, вовлечение участников, множество аккаунтов на один кошелек, расширенная совместимость версий и т.п. Один из значительных результатов такого подхода — это среда с двумя виртуальными машинами. На данный момент (ноябрь 2018 г.) ее можно опробовать в тестовой сети.

 

Средство тестирования

 

Любой проект, стремящийся избежать ошибок из-за программного обеспечения, требует соответствующей проверки и тестирования. Как правило, тестовые сети существуют у глобальных проектов типа Биткоин, Эфириум, EOS и других. У Cardano тоже есть свой тестовый портал. Впервые он был запущен в мае 2018 года. Любой разработчик, желающий опробовать Cardano, может присоединиться к тесту. На портале можно найти много полезной информации и инструкции для участников. Поскольку Cardano предлагает две виртуальных машины, тестовая сеть состоит из двух соответствующих частей.

 

Первая тестовая сеть предназначена для использования KEVM. Это реализация K-шаблона для Виртуальной машины Эфириума (EVM). Как и оригинальная EVM, она позволяет использовать смарт контракты. Вторая тестовая сеть разработана под IELE. Это платформа подобна LLVM — универсальной системе анализа, преобразования и оптимизации программ. Она использует формальную семантику, усиляет быстродействие и безопасность. Разработчики Cardano обещают запускать больше тестовых сетей в случае необходимости. Для улучшения предложенных решений и их составляющих, команда проекта открыта для отзывов от участников сообщества.

Обе тестовые сети полностью работоспособны для предоставления максимума возможностей при проверке желаемой функциональности смарт-контрактов. Участникам следует знать концепцию создания смарт-контрактов на Solidity. Ожидается, что соответствующему тестированию подлежат ранее разработанные смарт-контракты. Также присутствуют технические требования. Обе тестовые сети требуют Java Virtual Machine на клиенте. Кроме того существуют некоторые ограничения по памяти и производительности.

 

Виртуальная машина Эфириума на K-шаблоне

 

Как уже упоминалось, KEVM  использует решение «K» применительно к EVM. Шаблон «K» предназначен для создания выполняемой семантики, определяющей языки программирования, системы типов и инструментов формального анализа. Это помогает улучшать читаемость программного кода и добавляет формальную верификацию программ. Он использует нотацию, подобную Backus-Naur form, или Backus normal form (BNF). В целом такой подход дает определить язык на формальной основе со всеми положительными последствиями.

 

По определению реализация любого языка на шаблоне «K» корректна в соответствии с описанием. Поэтому все программы, спроектированные для EVM, могут быть проверены на самые частые ошибки до выполнения. Во всех других аспектах KEVM подобна EVM, включая структуру и функциональность смарт-контрактов, а также использование распределенных приложений. Выполнение инструкций основано на стеке, а не на регистрах. Все необходимые ресурсы для работы тестовой сети можно получить по соответствующему запросу к раздатчику.

Стандартный клиент Mantis для Ethereum Classic используется для взаимодействия с KEVM.

 

Виртуальная машина IELE

 

IELE — это виртуальная машина, разработанная Cardano для их блокчейн протокола. Она способна на выполнение смарт-контрактов. В своей основе она использует подход формальной верификации, что улучшает безопасность и автоматически проверяет правильность. Смарт-контракты также пишутся на языке Solidity.

 

IELE, в отличие от KEVM, использует подход, основанный на регистрах. Это позволяет применять больше инструментов для оптимизации и повышает точность предсказания затрат в газе. Подобие LLVM улучшает понимание контрактов и простоту их применения. Вследствие такого подхода необходимо писать, проверять и внедрять формальную спецификацию контрактов. Это же справедливо и для процессов отладки.

 

Послесловие

 

Команда Cardano проделала огромную работу по разработке представленных шаблонов со всеми их свойствами. Две виртуальные машины с некоторыми общими характеристиками и отличиями позволяют создавать смарт-контракты различной функциональности. Конечно, это не значит, что разработчики не должны принимать во внимание обычные методы программирования. Поскольку Solidity все еще находится в процессе разработки, его работа может претерпеть значительные изменения.

Нашли ошибку? Выделите её и нажмите Ctrl + Enter чтобы сообщить администратору.

Самые актуальные новости о криптовалютах и блокчейне. Прочтите первым!

Зачем мне это?

Загрузка...