В одном из последних видео на YouTube глава Cardano Чарльз Хоскинсон представил дорожную карту проекта на 2022 год. Он уделил особое внимание расширенной модели смарт-контрактов UTXO для Cardano. Блокчейн поддерживает смарт-контракты со времен хардфорка Alonzo, однако они отличаются от смарт-контрактов биткоина и виртуальной машины Ethereum (EVM). Хоскинсон подчеркнул, что разработчики Cardano стремились найти золотую середину между этими двумя концепциями.
Расширенная модель UTXO еще в разработке
Хоскинсон подробно рассказал о системе UTXO в сети биткоина. Смарт-контракты биткоина основаны на функциональном языке Forth. В них есть функции, которые обрабатывают UTXO. Функции в свою очередь содержат термины и условия, а их экспрессивность или выразительность зависит от языка. Выразительность языка – это широта идеи, которая может быть представлена и передана на этом языке.
Наименее выразительной является виртуальная машина Java, на которой работает игра Minecraft. EVM находится где-то близко к абсолютной выразительности, но имеет ограничения из соображений безопасности.
Cardano стремится найти золотую середину между моделями UTXO биткоина и EVM и создать расширенную версию UTXO (eUTXO). При разработке команда задалась вопросом: какие функции EVM не нужны для работы DeFi-приложений, но пользователи EVM все равно за них платят? Такие лишние функции можно удалить, сохранив функциональную парадигму биткоина. Новая модель UTXO в блокчейне Cardano нацелена на это.
Большая часть кода для Cardano написана на языке программирования Haskell. Проект предпочитает функциональные языки из-за их устойчивости к двусмысленности и человеческим ошибкам по сравнению с другими языками, а также потому, что их легче проверить с математической точки зрения.
Модель eUTXO будет готова к октябрю
Хоскинсон поставил цель завершить к октябрю большую часть работ, связанных созданием модели eUTXO. В 2022 году следует ожидать трех хардфорков: в феврале, в июне и в октябре. Компания Input Output Global, разрабатывающая Cardano, наняла 100 инженеров, занимающихся созданием различных частей нового программного стека, и привлекла 15 внешних компаний для разработки кода. Хоскинсон считает, что большая часть требующей сложные вычисления работы уже проделана, и теперь все, что им осталось сделать, – это написать код.