Актуальные подходы к созданию экосистем смарт-контрактов

Статья подготовлена каналом Дикий Блокчейн

Смарт-контракты являются неотъемлемой частью современных систем распределенных реестров.

Некоторые разработчики блокчейн платформы внедряют функциональность смарт-контрактов встраивая изобретенную Бутериным EVM в свои платформы ( Hedera Hashgraph), недетерминированность результата выполнения инструкций в таких архитектурах может приводить и приводит к уязвимости систем и различного рода атаки хищения цифровых активов становятся возможными.

ЭРГО

Другие команды исследователей ищут способы сделать среду исполнения смарт-контрактов своих блокчейн систем более защищенныой. Командв Ergo недавно опубликовала статью "Самовоспроизводящиеся монеты как универсальная Тьюринг-машина" . Подход, предложенный Нейманом в его "Теории самовоспроизводящихся автоматов" применен теперь для смарт-контрактов. Авторы статьи доказывают возможность построения Тьюринг-полной системы , основанной на атомарных неполных по-Тьюрингу элементах на примере реализации Правила 110 в блокчейне с использованием языка смарт-контрактов "σ - state language.

"Тьюринг-полнота языков смарт-контрактов в блокчейн-системах часто ассоциируется с различными языковыми особенностями (например, циклами). Мы, напротив, показываем, что Тьюринг -полнота блокчейн-системы может быть достигнута путем запуска рекурсивных вызовов между несколькими транзакциями и блоками вместо использования одного. Мы докажем это, построив простую универсальную машина Тьюринга с использованием небольшого набора языковых особенностей и неизменного вида модели вводов-выводов транзакций (UTXO) с явно заданными отношениями между входными данными и выходными состояниями транзакций."

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

Corda

Сообщество Corda в то же время идет путем придания самой среде исполнения смарт-контрактов детерминированного характера. Мотивация создания детерминированной JVM:

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

DJVM Behind the Scenes

Простейшие клеточные автоматы и их практическое применение

Ethereum не является Тьюринг полным , и Это Не Имеет Значения