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