Jump to content

Recommended Posts

Posted

Blockstream

 

Сегодня, 30 октября 2017 года, доктор Рассел О'Коннор из компании Blockstream, в ходе семинара PLAS 2017 в Далласе, США, обнародовал свой труд “Simplicity: A New Language for Blockchains”, в котором описал новый язык программирования под названием Simplicity.

 

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

 

Одним из основных отличий Simplicity от Bitcoin Script - простого скриптового языка, на котором можно исполнять простые сценарии (прообраз смарт-контрактов) в блокчейне Биткоина , является отсутствие проблемы с нехваткой некоторых опкодов. Например, в Bitcoin Script можно лишь складывать числа, но нельзя перемножать. В данном случае Simplicity предоставляет большую гибкость за счёт расширения возможностей языка.

 

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

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

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

 

Читать полностью

 

  • Tomcat_MkII changed the title to Blockstream представляет язык программирования Simplicity для смарт-контрактов

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Recently Browsing   0 members

    • No registered users viewing this page.
  • Similar Topics

    • Гендиректор Blockstream Адам Бэк: Бычий тренд биткоина только начался

      Британский криптограф, гендиректор Blockstream Адам Бэк (Adam Back) верит, что биткоин все еще находится на ранних стадиях бычьего тренда — несмотря на неспособность первой криптовалюты окончательно преодолеть барьер в $100 000. Адам Бэк в интервью телеканалу CNBC на мероприятии Consensus Hong Kong назвал несколько факторов в пользу роста первой криптовалюты. Биткоин-максималист полагает, что «зеленая зона» BTC еще долго продлится после халвинга (сокращения награды майнерам вдвое). Это собы

      in Новости криптовалют

    • Bitget представляет платформу для запуска токенов LaunchX

      LaunchX от Bitget объединяет передовые блокчейн-проекты с глобальным сообществом Web3, способствуя эффективному раннему распределению токенов. Первым проектом на платформе станет Fuel Network (FUEL). LaunchX сочетает в себе безопасность и справедливые методы распределения, создавая удобную для пользователей среду для запуска и распространения токенов. Платформа поддерживает блокчейн-проекты, предоставляя доступ к широкой экосистеме Bitget с более чем 45 миллионами пользователей, профессиона

      in Новости криптовалют

    • Агустин Карстенс: «Токенизация активов представляет проблему для центробанков»

      Генеральный директор Банка международных расчетов (BIS) заявил, что преимущества токенизации традиционных банковских инструментов сопряжены с рисками и проблемами. Агустин Карстенс (Agustín Carstens) сказал, что центральные банки и крупные кредитно-финансовые учреждения сейчас активно тестируют токенизированные депозиты для повышения эффективности расчетов и программируемости операционной деятельности. Гендиректор BIS согласен, что токенизация финансовых инструментов может помочь банкам до

      in Новости криптовалют

    • FCA Великобритании: Криптокомпания Digital Assets Nest представляет опасность

      Управление по финансовому надзору Великобритании (FCA) призвало местных инвесторов не вкладывать деньги в криптокомпанию Digital Assets Nest, поскольку та работает без лицензии ведомства. Digital Assets Nest предлагает британским корпорациям и частным лицам услуги по инвестициям в цифровые активы. Инвестиции в эту компанию представляют значительные финансовые риски, а сама фирма может оказаться мошеннической, пугают чиновники FCA.   И юрлица, и физлица, предлагающие клиентам из Велико

      in Новости криптовалют

    • Язык программирования для блокчейн-проектов: как криптоиндустрия применяет Vyper

      Почему отсутствие единого языка написания смарт-контрактов для EVM — это хорошо и полезно для экосистемы Эфириума? Что такое Vyper и почему он стал вторым по популярности языком EVM и в чем его преимущества над Solidity? Когда речь идет о программировании смарт-контрактов для EVM, обычно вспоминают о языке Solidity. Однако на самом деле это не единственное решение. Существует вполне серьезная альтернатива в виде языка Vyper, который успел приобрести какую-никакую поддержку со стороны сообще

      in Новости криптовалют

×
×
  • Create New...