Хоскинсон разрабатывает новый язык программирования для Cardano

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

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

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

При этом DeFi-активность сети остаётся скромной. По данным DeFiLlama, на 25 октября капитализация ADA составляла около $7,7 млрд, а в DeFi-протоколах Cardano было заблокировано лишь около $58 млн. Капитализация стейблкоинов держалась на уровне $69 млн, суточный объём торгов на DEX — около $1,06 млн, сеть насчитывала порядка 12 400 активных адресов и 27 000 транзакций. Сам токен ADA торговался по $0,20–0,21, потеряв за год около 68%.

Параллельно 21 октября в сети перезапустили публичный тестнет Dijkstra, открытый для операторов пулов и разработчиков. Развивается и обновление масштабирования Linear Leios, которое по прогнозам может увеличить пропускную способность в три-пять раз по сравнению с текущим пределом Praos. В октябре также заработал стандарт CIP-113 для программируемых токенов.