Основатель Cardano разрабатывает новый язык программирования, объединяющий намерения транзакций и доказательства Groth16

Согласно отчету CoinDesk, основатель Cardano Чарльз Хоскинсон заявил, что он лично разрабатывает новый язык программирования для сети Cardano и сотрудничает с инженером Input Output Global Лукасом Розой. Лукас Роза является соучредителем одного из основных языков смарт-контрактов Cardano — Aiken. Хоскинсон написал в платформе X, что это будет первый язык программирования, который объединяет действия, которые пользователи хотят выполнить в сделках, с криптографическими доказательствами.

Как сообщается, язык будет поддерживать три инструмента: намерение сделки, данные с доказательствами и доказательство Groth16. Намерение сделки позволяет пользователям указывать желаемую цель, в то время как конкретные шаги обрабатываются приложением, например, трейдер может запросить обмен одного токена на другой только тогда, когда конечная цена удовлетворяет установленным условиям, не указывая конкретный путь.

Данные с доказательствами могут добавлять криптографические доказательства к информации, подтверждая ее соответствие определенным правилам, что позволяет другим приложениям проверять без повторных вычислений. Groth16 — это широко используемая система доказательств, которая может генерировать компактные доказательства с быстрой проверкой, подтверждая выполнение условий без раскрытия личных данных.

После объединения трех компонентов разработчики смогут создавать приложения, которые координируют сделки, проверяют сложные условия и передают проверенную информацию между сервисами, в конечном итоге Cardano проверяет небольшое доказательство. В настоящее время разработчики Cardano в основном используют основанный на Haskell Plutus и Aiken для написания смарт-контрактов, в то время как приватная блокчейн-платформа Midnight, созданная Input Output Global под руководством Хоскинсона, имеет свой собственный язык Compact. Название нового языка, открытый код и дата выпуска на данный момент не были объявлены.