Kadena выпускает обновленный язык смарт-контрактов для «гибридных блокчейнов»

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

Это Стюарт Попджой, бывший руководитель группы блокчейнов в инвестиционно-банковском гиганте JP Morgan и основатель многомиллионного корпоративного блокчейн-стартапа под названием Kadena.

Сегодня Popejoy и команда Kadena выпустили новую версию своего родного языка программирования под названием Pact, предназначенную для обеспечения безопасной и простой разработки смарт-контрактов на блокчейне. В третьем крупном выпуске кода Popejoy утверждает, что расширенный набор функций Pact 3.0 наконец-то поддерживает выполнение смарт-контрактов между частными и публичными сетями.

В настоящее время Kadena уже создала частную блокчейн-платформу под названием МасштабируемыйBFTи будет запущенв октябреэтого года публичная блокчейн-платформа под названием Chainweb.

«Программист [теперь] может написать очень простой смарт-контракт, который способен FORTH данными между публичной и частной частями гибридного блокчейн-приложения, не покидая при этом удобного смарт-контракта Pact», — рассказал Поупджой CoinDesk.

В частности, сегодняшний релиз Pact 3.0 включает три ключевых набора функций.

Во-первых, Pact 3.0 предлагает поддержку простой проверки платежей (SPV). Это означает, что разработчики могут развертывать среды смарт-контрактов на блокчейне Kadena , который независимо проверяет транзакции, происходящие вне блокчейна в других сетях блокчейнов.

Некоторые из непосредственных последствий использования этого инструментария, описанные Поупджоем, включают «доказательство того, что что-то произошло в публичном блокчейне в частном блокчейне, доказательство того, что что-то произошло в частном блокчейне в публичном блокчейне, [и] доказательство того, что что-то произошло в каком-то другом [доказательстве работы] блокчейне (например, Bitcoin, Ethereum)».

Во-вторых, Pact 3.0 вводит функционал, называемый «возможностями», который помогает обеспечить безопасные вычисления на основе прав человека в блокчейне.

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

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

Неизменяемость против обновлений

Наконец, Pact 3.0 также вводит модульное управление, диверсифицируя то, как разработчики могут достоверно изменять или обновлять код смарт-контракта. В отличие от большинства других языков смарт-контрактов, таких какПрочность Pact на блокчейне Ethereum не является полным по Тьюрингу языком и не может похвастаться неизменяемыми децентрализованными приложениями (dapps).

С момента своего создания любое dapp, созданное с использованием Pact, может быть изменено и обновлено после запуска с одобрения ONE или нескольких назначенных заинтересованных лиц.

«У нас были обновляемые смарт-контракты с самого начала, но это T было полным управлением, потому что модель с одной или несколькими подписями по сути является централизованной моделью», — подчеркнул Поупджой. «Теперь вы можете контролировать управление с помощью любой логики, которую только можете себе представить, и очевидным примером может быть некое управление на основе [держателя токенов], как мы видим в любой системе ставок».

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

«Очень легко смешать эти два понятия, [неизменяемость и смарт-контракты]». Тем не менее, Поупджой утверждает, что смарт-контракты на самом деле T касаются неизменяемых, самоисполняющихся приложений. Они касаются обеспечения безопасной работы бизнес-моделей на платформе блокчейна.

Поупджой подчеркнул:

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

Стюарт Поупджой, изображение предоставлено Kadena