Что Такое Marlowe?

Marlowe является простым для использования языком программирования, разработанным Input-Output Hong Kong (IOHK), компанией по разработке и исследованию блокчейна, стоящей за проектом Cardano. Marlowe используется для финансовых контрактов, вроде производных, займов и других соглашений.

Marlowe является инструментом финансового моделирования, который можно назвать как простым, так и мощным. Его синтаксис разрабатывался с максимальной простотой, чтобы язык могли использовать как программисты, так и люди не владеющими навыками программирования. Он работает в качестве среды песочницы, позволяя любому разработчику создавать смарт контракты.

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

Это привело к появлению набора встроенных транзакций, основанных на реальных финансовых абстракциях, вроде времени и денег, а не более общих концептов, присутствующих с другими языками программирования, вроде списков, функций и переменных.

Marlowe построен на теории финансового контраста, который был определён в доказательстве теоремы Изабель. Из-за этого, Marlowe имеет несколько особенностей, которые отличают его от других языков контракта. Эти особенности включают в себя:

• Возможность формально подтверждать свойства контрактов.
• Возможность рассуждать об ожиданиях стоимости контракта.

На данный момент контракты Marlowe могут проводиться только в блокчейне Cardano. Пользователи могут проводить тестирование на специальной площадке Playground, что позволяет проводить моделирование и выполнять контракты без необходимости иметь предварительные знания о блокчейне или смарт контрактах.

Однако стоит понимать, что даже если Marlowe на данный момент работает только на Cardano, он не эксклюзивен для него. В будущем будет возможно использовать Marlowe для создания смарт контрактов на различных блокчейнах.

Существуют различные процессы, для которых может использоваться Marlowe. Процессы следующие:

• Симуляция бизнес процессов, которые включают в себя финансы или страхование
• Определение игр и протоколов для процессов принятия решений
• Моделирование финансовых рынков
• Создание интерактивных финансовых контрактов
• Изучение идей в игровой теории