マーロウとは何ですか？

Marlowe は金融契約用のプログラミング言語であり、プログラマー以外でもデリバティブ、ローン、その他の契約などの金融契約を簡単に作成できるように設計されています。また、プログラマがこれらの契約が正しいことを正式に検証することも容易になります。

このプロジェクトは、Cardano の背後にあるブロックチェーンの研究開発会社であるインプット・アウトプット香港 (IOHK) によって開始されました。

Marlowe はスマート コントラクト プログラミングに正式な手法を導入する IOHK の取り組みの一環ですが、金融アプリケーションでの使用に特化して設計されている点で以前のアプローチとは異なります。これを達成するために、設計者は金融理論、特に現代金融の背後にある数学的思考の多くを開拓したノーベル賞受賞経済学者ケネス・アローの研究を学びました。その結果、他のプログラミング言語に見られるリスト、関数、変数などのより一般的な概念ではなく、時間やお金などの現実世界の金融概念に基づいた一連の組み込み抽象化が実現しました。

マーロウは、イザベルの定理証明者で形式化された金融契約の理論に基づいています。これにより、他の契約言語にはないいくつかの独自の機能が得られます。

• 契約の期待値を推論する能力。

• 契約のプロパティを正式に検証する機能。

さらに、マーロウ契約はカルダノブロックチェーン上で実行できます。ユーザーは Playground でライブで試すことができ、ブロックチェーン テクノロジーやスマート コントラクトの知識がなくても契約をモデル化して実行できます。

Marlowe は、財務モデリングのためのシンプルかつ強力なツールとなるように設計されました。その構文は、プログラマと非プログラマの両方が使用できるように、可能な限り単純に保たれています。

Marlowe はさまざまな用途に使用できますが、特に次の用途に適しています。

• インタラクティブな金融契約の構築

• 意思決定プロセスのためのゲームとプロトコルの定義

• 金融や保険などのビジネス プロセスのシミュレーション

• 金融市場のモデリング

• ゲーム理論のアイデアを探る

サンドボックス環境で動作し、あらゆる種類の開発者が Cardano 上でスマート コントラクトを作成できるようにします。

現在、Marlowe は Cardano 上で実行されますが、Cardano のみに関連付けられているわけではありません。将来的には、他のブロックチェーン上でスマート コントラクトを作成するためにも使用できるようになります。