本ブログでは、金融コントラクト用の新言語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…

最先端のプルーフオブステークブロックチェーン設計には、システムの自立性を確保することが極めて重要である。これにより、真に分散型の、有機的な成長と熟成が促進される。この機能性を確立するIOHKの手法がVoltaire（ボルテール）だ。コミュニティはCardanoブロックチェーンを維持しつつ、提案やシステム改良の実装によりその開発を継続することができる。これは意思決定権をADA保有者の手に委ねるものだ。

堅固なブロックチェーン構築の中心に位置するのは厳密な研究だ。7月に開催されたShelleyサミットでは、Cardanoの成長に欠かせない資金調達の重要性に関するプレゼンテーションが含まれていた。これは、ランカスター大学とIOHKの共同研究によるトレジャリーシステム、および、長期的なCardano開発の資金調達への効果的かつ民主的なアプローチ…