Хоскинсон пишет новый язык для Cardano: что он будет делать

Основатель Cardano Чарльз Хоскинсон говорит, что сам пишет новый язык программирования для сети. «Я на самом деле лично разрабатываю язык программирования для Cardano», — написал он в X в воскресенье, сообщает CoinDesk. Его партнёр по проекту — Лукас Роза, инженер-программист Input Output Global (IOG) и соавтор Aiken. Основатели сетей такого масштаба редко сами пишут ключевые инструменты для разработчиков, поэтому пост привлёк внимание.

Три строительных блока

По словам Хоскинсона, язык будет поддерживать три инструмента. Вот что каждый значит простыми словами.

Намерения транзакций (intents)

Намерение позволяет пользователю описать желаемый результат, а шаги оставить приложению. Трейдер может сказать: «обменяй токен A на токен B, но только если получу не хуже такой цены», — не прописывая маршрут. Намерения распространяются в крипте: например, разработчики Zcash работают над тем, чтобы обмены на основе намерений оставались приватными.

Данные с доказательствами (proof-carrying data)

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

Доказательства Groth16

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

Что это может дать

Вместе эти инструменты позволят строить приложения, которые координируют сделки, проверяют сложные условия и обмениваются проверенными данными, а сам Cardano в конце будет проверять лишь небольшое доказательство. На такой «сантехнике» держатся более сложные DeFi-приложения.

Как это связано с существующими языками Cardano

• Plutus: исходная платформа смарт-контрактов Cardano, построенная на языке Haskell.
• Aiken: более новый язык, созданный специально для Cardano; его соавтор — Роза, и им пользуются многие разработчики.
• Compact: язык Midnight, ориентированного на приватность блокчейна IOG, для приложений с конфиденциальными данными.

Чего мы пока не знаем

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