Чарльз Хоскинсон, основатель блокчейн-платформы Cardano, объявил о разработке нового языка программирования, который позволит создавать более сложные и безопасные смарт-контракты с использованием криптографических доказательств. О проекте Хоскинсон сообщил 18 октября в социальной сети X. Разработкой он занимается лично совместно с Лукасом Розой, инженером компании Input Output Global (IOG) и одним из создателей Aiken — языка программирования смарт-контрактов Cardano.
Главная особенность нового языка — объединение пользовательских намерений (intents) с криптографическими доказательствами выполнения операций. Например, пользователь сможет поручить приложению обменять одну криптовалюту на другую по определённой цене. Система самостоятельно определит способ проведения сделки, а блокчейн проверит соблюдение заданных условий. Технологической основой станут Proof-Carrying Data (данные с криптографическим подтверждением) и система доказательств Groth16. Последняя позволяет быстро подтверждать правильность вычислений без раскрытия исходной конфиденциальной информации.
Читайте также
Trump Media перевела биткоины на сумму $165 млн: что осталось в резерве
Такой подход потенциально упростит создание децентрализованных приложений, автоматизацию финансовых операций и взаимодействие между различными блокчейн-сервисами. Сегодня разработчики Cardano используют языки Plutus и Aiken. Новый инструмент может расширить их возможности, особенно при создании сложных DeFi-приложений, требующих проверки большого количества условий.
Пока проект находится на ранней стадии. Хоскинсон не раскрыл название языка, не представил программный код и не назвал сроки запуска. Поэтому оценивать его практическую эффективность преждевременно. Разработка отражает стремление Cardano развивать инфраструктуру смарт-контрактов и конкурировать с другими блокчейн-платформами за разработчиков и новые децентрализованные приложения.
Меню 
Знания 
События 
Новости 
Курсы валют