CardanoはUTXOベースのブロックチェーンであり、分散型アプリケーション（DApp）に、イーサリアムなどのアカウントベースのブロックチェーンとは異なるプログラミングパラダイムを活用します。Cardanoが使用する具体的なフレーバーは、Alonzoによって導入される拡張未使用トランザクションアウトプット（EUTXO）モデルです。EUTXOはより優れたセキュリティ、不快な驚きのないスマートコントラクトの実行コストの予測可能性、そしてその結果として、並列性への異なるアプローチを提供します。

EUTXOはUTXO（ビットコイン）モデルのブランチ（枝）設計を継承しています。ここでブランチは、定義上、一連の検証を必要とする一連のトランザクションです。異なるブランチにロジックを分割してより多くの並列処理を実行するためには、複数のUTXOを使用してDApp…

前稿では、トランザクションのオンチェーンへの適用とスクリプトの検証結果が、トランザクションを送信する前にローカルで正確に予測可能となることを保証する、Alonzo台帳におけるトランザクションおよびスクリプト検証の決定性について考察しました。

Alonzo台帳の決定性設計が提供する保証を前提に、私たちは独自の二段階検証スキームを実装しました。これは、ノードがネットワークのトランザクションを検証するために使用するリソースを最小化するとともに、ユーザーにとって予想外となるコストを排除することを意図して設計されています。本稿では、この二段階検証の仕組みについて掘り下げます。

Shelley期、Allegra期、そしてMary…

AlonzoハードフォークによりPlutusスマートコントラクトのコア機能がCardanoにもたらされるに連れ、ますます高まる分散型ソリューションデプロイのニーズに応えるために台帳も進化します。Cardano台帳の設計は、高保証性、セキュリティ、証明されたフォーマル検証に焦点を当てています。この戦略と併せて、トランザクション処理の決定性（determinism）、すなわち、トランザクションの実行前にユーザーがその影響と結果を予測できることも重要です。

トランザクションの実行コストを保証できる機能性、そして、トランザクションが台帳上でいかに動作するかを送信前に知ることの重要性は、スマートコントラクトサポートの導入とともにさらに高まっています。Cardanoのような未使用トランザクションアウトプット（UTXO）ベースのブロックチェーンは、このような機能性を提供します。イーサリアムなどのアカウントベースのブロックチェーンは非決定性…

Cardanoネットワークは、ネットワークの保守保全を担うステークプールオペレーターの努力により、急成長を続けています。

2021年を通して、IOGはSPOのブートを支援するために、社が保有するADAの一部を委任に充てています。最初の2ラウンドでは、IOGの戦略は地理的に分布したプール、使命主導型のオペレーター、コンテンツを作成したり、社会的意識を高めるようなプールに焦点を当ててきました。また、ネットワークのバランスを保つために、地理的に分散した、中の下サイズのプールを支援しました。前回のラウンドでは、委任することによって強力なパフォーマーを支援しながら、コミュニティ全体にいい影響を与えられるようなプールを特定しようとしました。

現在までに、およそ200のプールがIOGから各300万ADA…

このたび、IOHKとルクセンブルク欧州ビジネス大学（EBU）は、開発途上国で誰もが教育にアクセスできるようにすることを目指し、新たにエキサイティングなパートナーシップを締結しました。

EBUは有名な教育プロバイダーであり、高等教育および認定プログラムを専門とする非営利団体です。各国36の主要機関と提携し、現在アフリカ大陸25か国で2000人を超える学生の教育にあたっています。私たちは共同で、当社のトレーニングプログラムをより大きなスケールで展開することを意図しています。将来の学生に大きな利益を提供する奨学金プログラムを拡大させることによって、EBUがアフリカの人々の展望を広げる上で極めて重要な役割を果たすことを、私たちは確信しています。

このパートナーシップの目的は、PlutusおよびHaskell…