Хоскинсон с Росой пишут для Cardano язык с intents и доказательствами Groth16

Чарльз Хоскинсон, основатель Cardano, 18 октября сообщил, что работает над языком программирования для своего блокчейна вместе с Лукасом Росой, одним из разработчиков языка Aiken. По словам Хоскинсона, разработка должна соединить транзакционные намерения (intents), данные с доказательством (PCD) и доказательства Groth16.

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

«Я лично разрабатываю язык программирования для Cardano. Это первый в своём роде язык, позволяющий использовать intents и PCD через доказательства Groth16», — написал Хоскинсон 18 октября.

Факт работы и участие Росы подтверждены. Характеристика «первый в своём роде» — это оценка самого Хоскинсона: документации, по которой проект можно было бы сравнить с другими решениями, не опубликовано.

Что обещает технология

Намерение (intent) — это схема, при которой пользователь задаёт желаемый результат операции, а не всю цепочку действий. Вместо точного маршрута обмена можно указать, например, что нужен определённый актив по приемлемой цене, а выбор способа исполнения останется за приложением.

Данные с доказательством дают возможность передавать сведения вместе с криптографическим подтверждением, что заданные условия выполнены. Groth16 служит для сборки компактных доказательств: их можно проверить, не повторяя все вычисления заново. Оба механизма известны и применяются вне Cardano; как именно их свяжут в сети, из сообщения Хоскинсона не следует.

Aiken писал не только Хоскинсон

Cardano не замыкается на Haskell. Для смарт-контрактов в сети уже есть Aiken: согласно официальной документации, это функциональный язык с синтаксисом в духе Rust, который компилируется в Untyped Plutus Core. Роса — один из его разработчиков.

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

Разрыв между капитализацией и DeFi

Технические работы идут на фоне скромной экономической активности сети. По данным DeFiLlama на 25 октября, капитализация ADA составляла около $7,7 млрд ≈ 22,7 млрд BYN, а в DeFi-протоколах Cardano было заблокировано порядка $58 млн ≈ 171 млн BYN. Капитализация стейблкоинов в сети держалась примерно на $69 млн ≈ 204 млн BYN, суточный оборот DEX — около $1,06 млн ≈ 3,13 млн BYN. За тот же период в сети было около 12 400 активных адресов и 27 000 транзакций.

Эти цифры не доказывают технологической слабости Cardano. Они показывают другое: высокая капитализация ADA пока не подкреплена сопоставимым объёмом DeFi-экономики. Сам токен 25 октября стоил примерно $0,20–0,21 и за год подешевел примерно на 68%. Прямой связи этого падения с языками программирования или технической стратегией сети из имеющихся данных не следует.

Тестнет Dijkstra и масштабирование

21 октября сеть перезапустила публичный тестнет Dijkstra. В обновлении Intersect от 24 октября сказано, что он открыт для операторов пулов и разработчиков. После выхода предварительной версии нод 11.2 тестнет планируют перевести на версию протокола 12 Dijkstra.

Параллельно идёт работа над крупным обновлением масштабирования Linear Leios. Intersect ожидает, что на первом этапе оно даст рост пропускной способности примерно в три–пять раз к текущему пределу Praos. Это прогноз разработчиков, а не подтверждённый результат основной сети. Кроме того, в октябре в Cardano заработал стандарт CIP-113 для программируемых токенов.