Project Catalyst is, at its heart, a series of experiments in innovation and governance. Once it was decided to set up a funded system to encourage innovation for Cardano, the IOHK team decided to collaborate with our global community from the start. So, that’s what we did. Now, with two funds already incubating hundreds of proposals and fostering thousands of conversations, we…

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

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

Creating a decentralized financial and social operating system for the world is the core mission of Cardano. But it’s not one that we can accomplish alone. That’s why we are always on the lookout for relationships which help us build a global foundation for growth. So, we’re thrilled to announce our hackathon challenge to support the UN’s sustainable development goals (SDGs…

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

Haskell is a lazy language. The importance of laziness has been widely discussed elsewhere: Why Functional Programming Matters is one of the classic papers on the topic, and A History of Haskell: Being Lazy with Class discusses it at length as…