Algorand и Blockstack создают многоцепочечный язык смарт-контрактов

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

Проект под названием Clarity в конечном итоге позволит разработчикам писать смарт-контракты, которые будут выполняться на их двух блокчейнах, а также другим разработчикам, которые могут решить присоединиться к инициативе с открытым исходным кодом, без использования сторонних протоколов взаимодействия, таких какВ Polkadot, сообщили CoinDesk руководители обеих компаний.

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

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

Смарт-контракты с меньшим количеством ошибок

Генеральный директор Blockstack Муниб Али заявил, что именно схожесть его философии и философии разработки смарт-контрактов Algorand сблизила их.

«Мы уже рассматривали те же объекты недвижимости», — сказал Али.

Оба остро заинтересованы в развертывании «неполных по Тьюрингу» языков. Algorand 2.0 Язык смарт-контрактов TEALне является полным по Тьюрингу, как и одноименный Clarity от Blockstack,уже запланирован дебютна Stacks 2.0. Али подсчитал, что изначально у двух языков было «80–90%» общего.

Неполнота по Тьюрингу означает, в частности, что программы языка теоретически не могут работать вечно, а на практике это означает, что его программы несколько более ограничительны, чем программы, написанные на полном по Тьюрингу языке.

Но неполные по Тьюрингу языки также гораздо менее подвержены ошибкам, чем их вычислительно полные собратья, из-за того же самого свойства. Их смарт-контракты T нуждаются в ручном аудите, сказал Али.

Читать дальше: Кто заплатит за Тьюринг-полные смарт-контракты?

«Все может быть точным, все может быть проверено», — сказал Али, противопоставив Clarity потенциально подверженным ошибкам альтернативным языкам, которые могут поставить под угрозу «сотни миллионов долларов» средств пользователей смарт-контрактов.

Печально известныйВзлом DAOпожалуй, самый известный пример потенциальных опасностей глючных смарт-контрактов, написанных на языке Тьюринга. Та кража 2016 года стоила пользователям $50 миллионов в эфире, и все из-за ошибки.

«Главный вопрос для этих смарт-контрактов на самом деле заключается в следующем: точны ли они и безопасны ли они?» Поэтому язык должен быть сосредоточен именно на этом, что мы и сделали», — сказал Али.

Кокинос заявил, что Clarity предлагает «философски иной подход к смарт-контрактам».

Ясность также упростит работу разработчиков, сказал он. «Мы предоставляем людям инструменты, чтобы им было меньше необходимости много Словарь о том, как работает блокчейн, и о базовых частях системы, и просто даем людям возможность выполнять свою работу».