本日これから、HFC（ハードフォークコンビネーター）プロトコルアップグレードイベントにより、CardanoメインネットにPlutusスマートコントラクト機能が配信されます。

Alonzoアップグレードは、ブロックチェーンにPlutusスクリプトを統合することを通じて、Cardanoに待ち望まれた機能をもたらします。これで、Cardanoにスマートコントラクトが実装され、分散型アプリケーション（DApp）の新たなユースケースをホストすることが初めて可能となります。

これは始まりに過ぎません。それでも、今はお祝いの時です。コミュニティとして、私たちはともに驚くような旅を続けてきました。ここまで多くの人々によりなされてきた数えきれない努力を讃えるべき時でしょう。これはまた、私たちが一丸となって克服してきた課題を振り返るときでもあります。

…

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…