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…

本日、Project Catalyst（プロジェクトカタリスト）初のパブリックファンドが発表されます。これはCardanoのオンチェーンガバナンス、トレジャリー、コミュニティイノベーションに向けての最初のステップです。

この初のパブリックファンドに先立ち、5か月にわたる2つの試験的基金に関する熱心な活動が実施されました。「Fund0」はIOGチームメンバーからなるフォーカスグループを使用した初回実験であり、「Fund1」はこのアイデアを始めてCardanoコミュニティに紹介したものです。この時はプラットフォームの開発とプロセスを手助けしてもらう50人余りのボランティアを募りました。この投票サイクルはリアルな基金こそ提供しなかったものの、我々チームやCardano…