概要

• Ouroboros Phalanxは、グラインディング攻撃として知られる、ランダム性生成における微妙ながらも重要な脆弱性に対処することで、Cardanoのコンセンサスの基盤を強化 
• 検証可能遅延関数（VDF）を導入してエポックをまたいだランダム性の構築方法を拡張することで、Phalanxはそのような攻撃のコストを指数関数的に高め、実質的に不可能なものにする
• このアップグレードは、セキュリティを強化するだけでなく、パフォーマンスも改善し、トランザクションの決済時間を最大30％短縮
• Ouroboros Praosの拡張機能として構築されたPhalanxは、既存のシステムとの完全な互換性を維持しながら、Perasのような将来のスケーラビリティ向上に向けてネットワークを準備することを目指す

Ouroboros Praosは、検証可能ランダム関数（VRF）を使用してブロックを追加するためのスロットリーダーを公平に選出する。これで、セキュリティ、公平性、分散性が保証される。しかし、(CPS)0021:Ouroboros Randomness Manipulation（Ouroboros…

急速に進化するブロックチェーン技術界において、ゼロ知識証明（ZKP）はプライバシー、スケーラビリティ、セキュリティを強化するための礎石となる。Halo2-Plutus検証ツールは、Input | Output Research (IOR)が、Intersect合意の一部として技術運営委員会の優先事項に沿って主導するオープンソースプロジェクトだ。このツールは、高度な暗号化機能をもつHalo2証明システムと、CardanoのPlutusスマートコントラクトプラットフォーム（およびその高レベル言語Plinth）を橋渡しする。

本稿では、本検証ツールの持つ目的、機能性、 さらに、Cardanoの分散型アプリケーション（DApp）、特にMidnight-Cardano zk-bridgeに革命をもたらす可能性について探る。

Halo2-Plutus検証ツールとは

Halo2-Plutus検証ツールは、Halo2を使用してZKPを生成および検証し、CardanoのPlinthスマートコントラクトに統合するために設計されたオープンソースリポジトリ…