Хоскінсон пише нову мову для 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, для застосунків із конфіденційними даними.

Чого ми поки не знаємо

Хоскінсон не назвав мову, не показав публічного коду й не повідомив, коли розробники зможуть нею користуватися. Поки коду немає, це заявлений план, а не продукт.