プルーフオブステークブロックチェーンとして、Cardanoは安全性とネットワーク障害耐性が高まるよう設計されています。Ouroboros（ウロボロス）コンセンサスアルゴリズム、形式手法を使用したHaskellのビルトイン、査読を受けた学術研究によって推進されるCardanoは、分散化された非常にスケーラブルな方法で何百万ものトランザクションをグローバルに処理する、堅牢な環境を提供するために設計されています。

以前のブログ記事…

以前の記事で、Ergo、Nervos、 Topl、Komodoの各企業と協力して、UTXOベースのブロックチェーンの相互運用性、スケーラビリティ、プログラム可能性を強化する、UTXOアライアンスの結成についてお知らせしました。今日、このアライアンスに、UTXO会計モデルの強化を目指し、新たにAlephiumとDigiByteが参加したことを、喜びと共にお伝えしたいと思います。

私たちは急激な変化と技術的進歩の時代に生きており、ここではブロックチェーンが透明性、信頼性を合理化しセキュリティを強化する技術として機能します。UTXOアライアンス…

グローバルアウトリーチの一環として、ブロックチェーン技術を世界各地に普及させるために、ガーナにHaskellプログラミングコースを開講します。

この教育プログラムでは、地域産業がブロックチェーンに対応できるようにするためのプロジェクトの作成やアプリケーションの構築に必要なスキルが学習でき、80人の学生がこの恩恵を受けます。

技術的進歩の原動力となるブロックチェーン

米国の数学者、ハスケル・カリーにその名を由来するHaskellは、可能な限り「純粋」関数の使用を強調する関数型プログラミング言語です。すなわち、インプットが同じ時に常に同じ結果を返す関数です。これは、高保証性コードを必要とするシステム（ブロックチェーンなど）や、高度なフォーマル検証が必要なプログラムに特に重要です。これが、Cardanoの構築にHaskellを使用している理由です。

…

Cardanoサミット2021で、IOHKの研究員Pyrros ChaidosとRoman Oliynykovが、IOHKによる研究およびエンジニアリングの成果であるMithril（ミスリル）の設計および目的を発表しました。Mithrilは、ステークベースの閾値署名スキームを提供します。これは、ブロックチェーンアプリケーションにおけるチェーンの同期、ステータスブートストラップ、信用に関する諸問題を解消するために、プロトコルとして実装することができます。

Mithrilは、中つ国に登場する想像上の金属で、鍛えることができ、非常に軽量ながら「鋼の3倍」の強度を持ち、黒ずみ曇ることはないとされています。したがって、この名称は、安全性における強靭さとプロトコル開発における軽量アプローチを象徴しています。

署名集約のためにステークを活用

…

ブロックチェーン機能のユニークな組み合わせを示し、現実世界の要素をコレクタブルやスマートコントラクトと一緒にまとめたいと考えているとします。もちろん、意欲的でクリエイティブな参加者の大集団が、準備を整えて開発を待っています。 

そうなれば当然、ギターを弾くバイソンに登場してもらう時でしょう。 

Cardanoサミット2021で発表されたブロックチェーン対応NFTゲームCrypto Bisons（クリプトバイソン）は、Cardano創立者であると同時に長年のキャリアを持つゲーマーでありゲームデザイナーでもあるCharles Hoskinsonのオリジナルコンセプトに基づいています。Hoskinsonは500頭ほどのバイソンのオーナーでもあります。ダメな理由はないですよね。

Hoskinsonは、アイデアの可能性を探るために、フランスのアングレームにある国立デジタルゲームスクールEnjmin*の学生…