前稿では、トランザクションのオンチェーンへの適用とスクリプトの検証結果が、トランザクションを送信する前にローカルで正確に予測可能となることを保証する、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…

Cardanoエコシステムは開発者コミュニティの支援、育成に努めています。活気に満ちた、情報豊富なコミュニティは、多様なユーザーベースを持つ分散型金融エコシステムの発展に欠かせません。Cardanoを共に進化させていきながら、オープンソースアプローチに則り、誰もが最高レベルのブロックチェーン技術を配信する一方で、その分散型金融ソリューションから利益を得ることができます。

共通の目的を達成するためには、全員が開発プロセスに参加し、常に必要な情報やガイダンス、支援を得られることが重要です。

私たちはこの使命をサポートするために、世界各地の有能な開発者や専門家が一か所に集うことを奨励しています。これがCardano Stack Exchangeです。この開発者ハブは経験を共有し、Cardano…