ブログ > 筆者 > Prof Simon Thompson

Actus smart contracts in Marlowe

Writing in the language of finance, rather than the language of blockchain

2020年 10月 13日 Prof Simon Thompson 12 分で読めます

Actus smart contracts in Marlowe

In our Developer Deep Dive series of occasional technical blogs, we invite IOHK’s researchers and engineers to discuss their latest work and insights.

Marlowe is a domain-specific language for secure financial smart contracts that is being developed by IOHK for the Goguen capabilities of the Cardano blockchain. Following my introductory post on Marlowe, in this Deep Dive post…

Actus smart contracts in Marlowe

Writing in the language of finance, rather than the language of blockchain

2020年 10月 13日 Prof Simon Thompson 12 分で読めます

Actus smart contracts in Marlowe

In our Developer Deep Dive series of occasional technical blogs, we invite IOHK’s researchers and engineers to discuss their latest work and insights.

Marlowe is a domain-specific language for secure financial smart contracts that is being developed by IOHK for the Goguen capabilities of the Cardano blockchain. Following my introductory post on Marlowe, in this Deep Dive post…

Marlowe:業界規模のブロックチェーン金融スマートコントラクト

堅実性へ向けて - Cardanoに分散型金融をもたらす専用言語

2020年 10月 6日 Prof Simon Thompson 7 分で読めます

Marlowe:業界規模のブロックチェーン金融スマートコントラクト

本ブログでは、金融コントラクト用の新言語Marlowe(マーロウ)を紹介し、これがドメイン固有言語(DLS)であることの利点を説明します。Marloweはスマートコントラクト全般ではなく、DSLとして金融コントラクトのみに使用されます。この意味で、SolidityやBitcoin Scriptなど一般的な目的で使用されるブロックチェーン言語とは一線を画しています。

Marloweは業界規模です。Marloweコントラクトは屈指の金融スマートコントラクトプロジェクトであるAlgorithmic Contract Types Unified Standards(Actus)システムのサンプルを基に構築されました。現在、これらをはじめとするサンプルはMarlowe Playground

Marlowe:ブロックチェーンの金融コントラクト

2018年 12月 11日 Prof Simon Thompson 5 分で読めます

Marlowe:ブロックチェーンの金融コントラクト

初期のコンピューターではプログラミングに「機械語」を使用していました。機械語はシステム間に互換性がなかったうえ、レベルが低く、表現も限られていました。プログラムは、ごく単純な指示を長く連ねたものであり、書いた本人以外には圧縮が不可能なものでした。今日システムのプログラミングには、C、Java、Haskellなど、機械語よりも高次の言語が使用されています。同じ言語が幅広い種類の機械に対応し、プログラムの構造はその動作を反映します。ブロックチェーンでは、SolidityやSimplicity…