Основатель Cardano
ADA$0.2152-2.51% Чарльз Хоскинсон объявил о разработке нового языка программирования для сети, который объединит транзакционные запросы с криптографическими доказательствами. Об этом он написал в социальной сети X, не раскрыв название языка, его спецификации или дату релиза. Криптографические доказательства — это математические подтверждения корректности данных, позволяющие проверять информацию без её раскрытия.
Что даст объединение запросов с криптографическими доказательствами
Совмещение транзакционных запросов и доказательств должно упростить создание и проверку сложных операций в блокчейне, а также повысить безопасность и эффективность смарт-контрактов. Новый язык может стать частью экосистемы Cardano, ориентированной на формальную верификацию кода.
Новый язык может стать частью экосистемы Cardano, ориентированной на формальную верификацию кода.
Cardano известна своим научным подходом к разработке: сеть использует язык Plutus для смарт-контрактов, основанный на Haskell. Новый язык, вероятно, расширит возможности для разработчиков, но без спецификаций делать выводы рано.
Почему анонс важен на фоне конкуренции с Ethereum
ETH$2,379.56-2.22% и SolanaSOL$103.87-1.66%
Анонс появился на фоне усилий блокчейн-проектов по улучшению инструментов для разработчиков. Cardano конкурирует с Ethereum, Solana и другими платформами за привлечение создателей децентрализованных приложений. Языки программирования — ключевой элемент этой борьбы, поскольку от них зависит удобство и безопасность смарт-контрактов.
Отсутствие деталей и сроков может указывать на раннюю стадию проекта, что несет риск задержек или изменения планов.
Разработчикам из России и СНГ, работающим с Cardano, новый язык может открыть дополнительные возможности, но только после публикации документации. Пока сообщество ожидает более конкретной информации от основателя сети.
Следует ли ожидать скорого релиза или проект останется на стадии идеи — вопрос открыт. Хоскинсон известен амбициозными анонсами, и реализация может занять месяцы или годы.