Хоскинсон создаёт новый язык для Cardano на фоне слабой DeFi-активности сети

• Чарльз Хоскинсон вернулся к разработке блокчейна Cardano.
• Вместе с создателем криптопроекта Aiken он создаёт новый язык программирования.

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

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

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

Сам факт разработки и участие Лукаса Росы подтверждены. Определение «первый в своём роде» остаётся оценкой Хоскинсона, так как публичной документации, позволяющей независимо сравнить проект с другими решениями, пока нет.

Что известно о технологии

Судя по описанию создателя Cardano, язык должен поддерживать концепцию intent, когда пользователь задаёт желаемый результат операции, а не всю последовательность действий.

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

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

Это известные свойства технологий. Как именно они будут объединены в Cardano, пока неизвестно.

Cardano уже не ограничивается Haskell

Экосистема Cardano давно использует не только Haskell, для разработки смарт-контрактов существует Aiken. Согласно официальной документации, это функциональный язык с синтаксисом, вдохновлённым Rust, который компилируется в Untyped Plutus Core.

Лукас Роса, теперь работающий с Хоскинсоном, является одним из разработчиков Aiken.

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

Экономическая активность Cardano остаётся невысокой

На фоне технологических разработок у Cardano сохраняется заметный разрыв между капитализацией ADA и масштабом DeFi. По данным DeFiLlama, на 25 октября капитализация ADA составляла около $7,7 млрд, тогда как в DeFi-протоколах Cardano было заблокировано около $58 млн.

Капитализация стейблкоинов находилась примерно на уровне $69 млн, а суточный объём торгов на DEX — около $1,06 млн. За тот же период сеть насчитывала порядка 12,400 активных адресов и 27,000 транзакций.

Эти показатели не доказывают технологическую слабость Cardano, но отражают, что высокая капитализация ADA пока не сопровождается сопоставимым масштабом DeFi-экономики.

Сам токен на 25 октября торговался примерно по $0,20–0,21 и потерял около 68% за год, следует из рыночных данных. Связывать это падение непосредственно с языками программирования или технической стратегией сети оснований нет.

Разработка Cardano продолжается

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

После появления предварительной версии нод 11.2 планируется переход тестнета на версию протокола 12 Dijkstra.

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

Кроме того, в октябре в Cardano заработал стандарт CIP-113 для программируемых токенов.