Здравствуйте!

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

Зарегистрироваться сейчас!!

Blockstream разработала новый язык программирования смарт контрактов

  • Автор темы Alex077
  • Дата начала
A

Alex077

Модератор
Регистрация
11 Ноя 2018
Сообщения
8,605
Компания Blockstream, специализирующаяся на блокчейн- и биткойн-разработках, опубликовала исходный код Simplicity — нового языка программирования для создания смарт-контрактов. Цель разработки заключается в создании эффективной альтернативы существующим языкам для работы с блокчейном. Simplicity предлагает более продвинутые комплексные решения, по сравнению с Bitcoin Script и большую гибкость, чем Solidity Эфириума.

Одними из основных преимуществ Simplicity, по заявлению создателей, является его простота и возможность создавать безопасный, эффективный и функциональный код «умных контрактов».

Simplicity значительно превосходит по функционалу скриптовый язык Биткойна и по возможностям больше напоминает Java или Python. Simplicity также предоставляет возможность изменять код смарт-контракта, после его активации. Это серьезный прорыв, так как основная проблема существующих смарт-контрактов на Solidity заключается в их неизменяемости, даже в случае обнаружения ошибки. С новой архитектурой у разработчиков появится возможность изменять контракты при условии достижения консенсуса.

Среди других важных особенностей Simplicity можно отметить:

  • Simplicity является Тьюринг-неполным языком;
  • Возможность реализации конечных автоматов;
  • Органичение рекурсии, защита от бесконечных циклов;
  • Возможность статического анализа кода;
  • Поддержка формальной семантики, формальной верификации;
  • Интеграция мерклизованных абстрактных синтаксических деревьев (MAST), Simplicity имеет встроенную поддержку MAST;
Напомним, в начале ноября компания Blockstream запустил обозреватель блоков Биткойна, совместимый с сайдчейном Liquid, смысл которого заключается в оптимизации и ускорении процесса передачи большего количества BTC между биржами и крупными трейдерами.
 
Сверху