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

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