18 октября Чарльз Хоскинсон сообщил, что вместе с инженером Input Output Global Лукасом Росой, одним из создателей Aiken, лично разрабатывает новый язык программирования для Cardano. Это заявление указывает на возможный новый путь для разработчиков приложений Cardano, в центре которого — намерения транзакций и криптографические доказательства, а не традиционное описание выполнения транзакций.
Хоскинсон не назвал язык, не опубликовал общедоступный код и не сообщил разработчикам, когда они смогут получить к нему доступ. Поэтому пока это лишь раннее заявление о проекте, а не инструмент, который разработчики уже могут оценить или использовать.
Хоскинсон и Роза приступают к работе
В публикации на X Хоскинсон сообщил, что работает над языком вместе с Розой. Участие Розы напрямую связывает проект с Aiken — одним из уже существующих инструментов Cardano для разработки смарт-контрактов.
Языки программирования определяют, как разработчики задают правила работы приложений, создают транзакции и взаимодействуют с базовой моделью исполнения сети, поэтому это объявление заслуживает внимания. В самой публикации не было спецификации или репозитория, а также не предлагался план интеграции языка в более широкую экосистему инструментов для разработчиков Cardano.
Пока публичное описание ограничивается элементами, названными Хоскинсоном, и последующими сообщениями об их предполагаемом применении. Отсутствие кода также оставляет открытыми практические вопросы, например о синтаксисе языка, инструментах и типах приложений, для которых он предназначен.
Намерения транзакций и доказательства
По данным CoinDesk, Хоскинсон заявил, что язык объединит намерения транзакций, данные с доказательствами и криптографические доказательства Groth16. В заявленном замысле акцент делается на том, какого результата пользователь хочет добиться транзакцией, и на доказательствах того, что необходимые условия выполнены.
В рамках предлагаемой системы пользователи будут указывать желаемый результат транзакции. Затем приложения будут выполнять транзакцию и прилагать криптографические доказательства того, что эти условия соблюдены, сообщило CoinDesk.
Это различие важно для понимания проекта. Вместо того чтобы описывать взаимодействие пользователя исключительно как последовательность шагов исполнения, предложенная Хоскинсоном модель начинает с желаемого результата, поручая приложениям его достичь. Предполагается, что доказательства будут сопровождать этот процесс и подтверждать выполнение указанных условий.
В объявлении в качестве конкретной технологии доказательств названа Groth16. Ни Хоскинсон, ни опубликованное описание проекта не раскрыли, как её собираются реализовать в языке, какие данные будут охватывать доказательства и каким образом приложения будут представлять итоговые транзакции пользователям Cardano.
Это важные вопросы реализации для языка, претендующего на то, чтобы создавать и проверять транзакции. На основании общего описания в объявлении ответить на них невозможно, особенно при отсутствии общедоступного кода и технической документации.
Наряду с Plutus и Aiken
Хоскинсон сообщил, что лично разрабатывает новый язык программирования для Cardano вместе с Лукасом Розой, инженером Input Output Global и одним из создателей Aiken.
Он заявил, что предлагаемый язык объединит намерения транзакций, данные с доказательствами и криптографические доказательства Groth16. В рамках предлагаемой системы пользователи будут указывать желаемый результат транзакции, а приложения — выполнять её и предоставлять криптографические доказательства соблюдения условий.
В случае выпуска проект станет ещё одним инструментом для разработки на Cardano наряду с Plutus и Aiken. CryptoSlate сообщило, что Aiken задумывался как более доступный для разработки смарт-контрактов на Cardano вариант по сравнению со средой Plutus на основе Haskell.
По данным CryptoSlate, на 19 октября Хоскинсон не раскрыл название языка, не опубликовал общедоступный код и не объявил дату его выхода для разработчиков.
Отказ от ответственности: Эта статья предназначена исключительно для информационных целей. Она не является юридической, налоговой, инвестиционной, финансовой или иной консультацией и не предназначена для использования в качестве таковой.