Algorand и Blockstack напишут новый язык программирования для совместимых смарт-контрактов

Блокчейн-стартапы Algorand и Blockstack приступили к разработке языка программирования Clarity с открытым исходным кодом. Он позволит создавать смарт-контракты, совместимые в различных блокчейнах без привлечения протоколов взаимодействия.

ICYMI: Today, Algorand & @blockstack jointly announced an open-source project to support the design & development of the Clarity Smart Contract Language! This collaboration marks a major step toward #blockchain #interoperability. Read more: https://t.co/EdXE6ddLl2 pic.twitter.com/GCxTuJGqic

— Algorand (@Algorand) June 10, 2020

К инициативе могут присоединиться любые другие разработчики, преследующие аналогичные цели. Ожидается, что такой подход позволит запускать смарт-контракты на контрастирующих друг с другом блокчейнах. Так, Algorand на базе механизма консенсуса Proof-of-Stake позиционируется как платформа для финансовых приложений, тогда как предстоящий Stacks 2.0 от Blockstack использует Proof-of-Transfer и ориентирован на децентрализованные вычисления.

В комментарии CoinDesk CEO Algorand Стив Кокинос представил свою видение будущего, заявив, что мир будет мультичейновый.

«Пользователи будут использовать разные блокчейны для различных целей, и взаимодействие будет иметь решающее значение», — сказал он.

Основой сотрудничества стало сходство философии дизайна смарт-контрактов. Оба проекта заинтересованы в использовании тьюринг-неполных языков, которые имеют ограниченную функциональность. Такому определению отвечают TEAL
от Algorand 2.0 и Clarity, который будет использоваться в Stacks 2.0 от Blockstack. По оценкам CEO Blockstack Муниба Али, языки двух проектов изначально совместимы на 80-90%.

«Все может быть точным, все поддается верификации. Благодаря этому не подвергаются риски активы пользователей на «сотни миллионов долларов», — объяснил глава Blockstack.

В памяти сообщества еще живы последствия краха The DAO, который привел к потерям в $50 млн как раз из-за уязвимости в смарт-контракте на тьюринг-полном языке.

«У разработчиков будет набор инструментов, который позволит не разбирать в деталях в принципы функционирования блокчейна и базовые элементы системы, чтобы реализовать свой замысел через код смарт-контракта», — пояснил Стив Кокинос.

Напомним, ранее разработчики Chainlink завершили работу над оракулами доказуемой случайности (VRF), используемых для создания поддающихся проверке произвольных чисел на блокчейне Ethereum.

Источник — ForkLog