🚀 Leios 月次レビュー & デモ – 2025年1月 📢
最新のLeiosプロジェクトの進展をチェック！
2025年1月29日に配信された「Leios Monthly Review & Demo」では、Leiosの最新アップデートと技術的な進捗が発表されました。本セッションでは、各ワークストリームのリーダーがそれぞれの取り組みを紹介し、プロジェクトの最前線を明らかにしました。
Leiosの進化状況（2025年1月時点）
Leiosは、Cardanoのネットワークスケーリングを大幅に改善するプロトコルとして、開発が着実に進んでいます。2025年1月の「Leios Monthly Review & Demo」では、多くの技術的進展が報告されました。現在の進捗状況を以下にまとめます。
🚀 Leiosの最新進捗
1. シミュレーションと実装
✅ Rust & Haskellシミュレーションの統合
• Rust版は大規模ネットワークのシミュレーションを担い、Haskell版はより細かい挙動の解析を担当。
• リアルなCardanoネットワークのベンチマークと約10%の誤差まで精度向上。
✅ 可視化ツールの開発
• Rustシミュレーションのデータを視覚化し、Leiosブロックの処理フローを確認可能に。
• トランザクション処理の流れやブロック承認の仕組みを視覚的に把握できるように。
✅ シミュレーションのCPU最適化
• 並列処理の調整により、シミュレーションの精度と効率を向上。
• ノードのCPU負荷を調整しながら、現実的な性能評価が可能に。
2. 投票 & 証明書設計
✅ BLS + Ozarksが最有力候補
• ゼロ知識証明（ZKP）による証明書サイズの削減を研究中。
• 証明書のサイズ削減で、ブロックに通常の取引をより多く含められる可能性。
✅ 投票の最適化
• 「フェータ完全（Feta Complete）」方式を活用し、投票資格証明のデータ量を削減。
• 証明書サイズを1桁削減、ネットワーク負荷を50%削減する可能性あり。
3. ネットワークとフォーマルメソッド
✅ デルタQアプローチでネットワーク最適化
• 遅延の削減とブロック伝播の高速化を目的とした設計が進行中。
✅ フォーマルメソッドによる安全性検証
• 状態遷移モデルを数学的に検証し、設計ミスを防止。
• リアルなネットワーク環境での動作検証フェーズへ移行中。
📌 今後の課題と計画
🔹 さらなるスケールテスト
• メインネット規模（数千のステークプール & 数万のリレーノード）でのシミュレーション
• 現在の10倍、100倍のトランザクション負荷をかけて検証
🔹 プロトコルの最適化
• ZKPの計算時間短縮（GPUを活用した高速化）
• 投票プロセスのさらなる効率化
🔹 実装段階への移行
• 2025年内にテストネットでの導入を目指す可能性
• SPOや開発者コミュニティとの協力強化
🔮 Leiosの未来
Leiosは、Cardanoのトランザクションスループットを飛躍的に向上させるプロトコルとして開発が進んでいます。
現在、シミュレーションと設計段階の最終調整を行っており、次のフェーズではテストネット実装に向けた準備が進む可能性が高いです。
📢 まとめ
✅ シミュレーション精度向上（実ネットワークに近い挙動を実現）
✅ 証明書サイズ削減 & 投票プロセスの最適化
✅ ネットワーク設計の改良 & フォーマル検証による安全性強化
✅ 2025年内のテストネット実装の可能性
LeiosはCardanoの未来を支える重要技術として、着実に前進しています。次のアップデートに期待しましょう！ 🎉🚀
💬 Leiosは、Cardanoの未来に向けた重要なプロジェクト
🚀 Leiosの凄さとは？ Cardanoを進化させる革新的プロトコルの魅力🔥
Leiosは、Cardanoのスケーラビリティとパフォーマンスを劇的に向上させる画期的なプロトコルです。その「凄さ」は、ネットワークの効率性、トランザクション処理能力、分散性の強化という3つの重要なポイントに集約されます。
💡 1. 圧倒的なスケーラビリティ
Leiosの最大の強みは、従来のブロックチェーンの限界を超えるスケーラビリティの実現です。
🔹 現在のCardanoでは、ブロックサイズとスロット時間に制約があるため、トランザクション処理能力に限界がある
🔹 Leiosは、トランザクションを並列処理し、ブロックの承認速度を飛躍的に向上させる設計を採用
🔹 結果として、従来の仕組みよりも数倍〜数十倍のスループットを実現可能
Leiosによって、現在のCardanoよりも100倍以上の取引処理が可能になる可能性があり、メインネットのスケールアップを大幅に促進します。
🔒 2. 高度な分散性 & セキュリティ
Leiosは、ネットワークの分散性を維持しながら、効率的な承認メカニズムを採用しています。
🔹 投票 & 証明書システムの革新
• BLS署名とゼロ知識証明（ZKP）を活用し、安全性を確保しながら証明書サイズを最適化
• トランザクションの検証を高速化し、低コストでのスケールアップを実現
🔹 デルタQアプローチで遅延を最適化
• ネットワーク遅延を最小限に抑えることで、ブロック伝播速度を最大化
• CardanoのP2Pネットワークに最適化された設計を採用
🔹 フォーマルメソッドによる正当性の保証
• Leiosは数学的に正当性が証明されたプロトコルを採用し、設計ミスを未然に防止
• 形式的検証により、Cardanoの信頼性をさらに向上
これにより、高い安全性と分散性を維持しながら、取引速度を向上させることが可能になります。
⚡ 3. Cardanoエコシステムの未来を切り拓く
Leiosは、Cardanoの既存の設計とシームレスに統合されることで、開発者やステークプールオペレーター（SPO）に新たな可能性を提供します。
🔹 スマートコントラクトの処理能力向上
• PlutusやMithrilとの連携により、DAppsの処理速度が大幅に向上
• DeFiやNFT市場の拡大に貢献
🔹 メインネットレベルのシミュレーション
• 数千のステークプール & 数万のリレーノード規模のテストが進行中
• 本格導入に向けた実用レベルの最終調整が進んでいる
🔹 持続可能な成長
• エネルギー効率の向上と低コスト運用が可能
• PoS（Proof-of-Stake）をベースにした環境に優しいスケーラビリティ
🎯 まとめ | Leiosがもたらす革命
🔥 100倍以上のスループットでCardanoの取引処理能力を大幅向上
🔒 フォーマルメソッド & ZKPでセキュリティとスケーラビリティを両立
⚡ P2Pネットワーク最適化でブロック伝播を高速化
🌍 エコシステムの成長を促進し、DeFi・NFT・DAppsの発展を加速
Leiosは単なる技術的アップデートではなく、Cardanoを次世代ブロックチェーンの最前線へ押し上げる革命的プロトコルです。🚀✨
今後の進展にも大いに期待しましょう！🎉
以下はIOG動画「Leios Monthly Review & Demo – January 2025」を翻訳したものです。
Leios 月次レビュー & デモ – 2025年1月
ウィリアム・ウルフ:
では、始めましょう。皆さん、ようこそ。これは2025年最初の月次レザーアップデートです。皆さん、新年明けましておめでとうございます。
今日は1月29日で、過去のプレゼンテーションと同様に、各ワークストリームからの最新情報をお届けします。
本日のアジェンダは、まずホスピスシミュレーションの最新情報から始め、その後、ブライアンが暗号学の章を担当し、最新の投票や証明書の選択肢について解説します。
続いて、ヨルゴスが研究成果として、新しいアプローチを紹介します。このアプローチは証明書のサイズを削減し、その保存方法についても改良を加えています。
次に、イヴとアンドレがフォーマルメソッドの進捗を報告します。
最後に、シミュレーション関連の2つのワークストリームを扱います。
まずは、デルタQアプローチのシステム設計、そしてSunday Labsが最新のシミュレーション成果を発表します。
このセッションの最後には、ダンカンに引き継ぎますが、その前に、なぜ私たちがこれらのワークストリームを持っているのか、簡単に説明しておきます。
特に初めての方々にとって、このスライドは少し小さいかもしれませんが、各ワークストリームの相互関係を示しています。
これは抽象的な概念ではありますが、相互依存関係やチェックアンドバランスの仕組みを伝えるものです。
研究チームは、大きな推進力となり、シミュレーションやベンチマークから得られた知識を基に設計を改善していきます。
しかし、最も重要なのは、各ワークストリームが明確な機能を持っている点です。
私たちは、ネットワークの容量と計算リソースをバランスさせながら、最大限のトランザクションスループットを目指しています。
また、透明性を保ちつつ、SPOコミュニティや開発者の皆さんからのフィードバックを重視しています。
質問は大歓迎ですので、スライドの説明が終わった後に対応します。
では、ダンカンにバトンタッチします。
ダンカン・カッツ:
ありがとう、ウィリアム。
私は時間の関係で早めに発表させてもらいますので、質問がある方は私のセグメント中にお願いします。
今回は新しい可視化ツールの発表はありませんが、進捗状況と今後の計画について話します。
特に次の**PI（Program Increment）**の3か月間における目標に焦点を当てます。
前回のPIの目標は達成し、新たな目標を提案しました。現在、フィードバックを収集中です。
これまでに、RustおよびDelta Qシミュレーションのモデルと同期し、共通のファイルフォーマットとパラメータセットを共有する取り組みを進めてきました。
最近の進捗として、シミュレーションがランダムなトポロジーを読み込めるようになったことが挙げられます。
以前は、ランダムに生成されたトポロジーのみを使用していましたが、現在は指定したトポロジーを読み込むことが可能です。
また、CPU並列処理の制御機能も追加しました。従来は各ノードが1つのコアしか持たない設定でしたが、現在はコア数を柔軟に変更できます。
さらに、リアルなCardanoベンチマークデータとの比較を行い、シミュレーションの精度を向上させました。
現状、シミュレーションのブロック拡散時間は、実際のシステムと比較して約10%の誤差があります。
この差は、実際のCardanoがブロックヘッダーのパイプライン処理を採用しているためだと考えています。
今後、この点を考慮しながら改善を進めていきます。
次のPIの目標としては、以下の点に取り組みます：
• より大規模なシミュレーションの実施：パラメータ変更がシステム全体にどのような影響を与えるのか分析。
• フォーマルスペックとの整合性テスト：プロトコルの変更点をシミュレーションに迅速に反映。
• 投票の分散処理：一度に大量の投票が発生して遅延を引き起こす問題を緩和。
また、シミュレーションのリアリズム調整機能を強化し、簡素化したモデルとリアルなモデルの比較ができるようにします。
これにより、遅延の原因を明確にし、プロトコルの最適化に役立てます。
最後に、Cardanoのネットワークチーム向けに新しいネットワークプロトコルに関する報告書を作成する予定です。
これは、実際の実装への足がかりとなる重要なステップです。
ブライアン・ブッシュ:
こんにちは。今回は投票と証明書に関する最新情報をお伝えします。
私たちは、投票と証明書の設計について、具体的な証拠を示せる段階まで進めることを目標にしています。
また、MithrilやMidnightなど、他のプロジェクトとも連携を取りつつ、最適な解決策を検討しています。
ここで重要なのは**安全性（adversary-proof）とライブネス（障害耐性）**の両立です。
具体的には、
• 証明書の検証が速いこと
• 証明書の作成が迅速であること
• 証明書が小型であること
• キーマネジメントがシンプルであること
私たちは現在、以下の技術を評価しています：
1. ALBA（証明書の情報を圧縮する技術）
2. BLS（Mithrilが従来から利用している方式）
3. Moosen（BLSを改良し、鍵の進化と集約を組み合わせた技術）
それぞれ利点と課題がありますが、現時点ではBLSが最も実用的であると考えています。
ALBAは魅力的ですが、ライブネスの面で課題があり、MoosenはBLSに比べると優位性が少ないため、現段階では優先度が低いです。
また、暗号チームでは、ゼロ知識証明（ZKP）を活用して証明書のサイズを劇的に縮小する研究も進めています。
現在の課題は、ZKPの証明生成時間が長いことですが、最近の研究ではGPUを活用した並列化が有望な結果を示しており、将来的には現実的な選択肢となる可能性があります。
（続き）
ヨルゴス・パナギオタコス:
ブライアンが投票と証明書の現状について説明しましたが、私たちは現在も継続的に改善を進めています。
現在最も有望な候補は BLS+Ozarks ですが、証明書のサイズが大きすぎるという問題があります。
Leiosでは、証明書をブロック内に含めるため、証明書のサイズが大きいと、通常の取引データを入れる余地がなくなります。
証明書のサイズが大きくなる主な要因は、投票資格を証明するためのデータが必要だからです。
この情報を圧縮できれば、証明書のサイズを劇的に削減できます。
我々のチームは、IOG（Input Output Global）の研究チームが過去に提案した、フェータ完全（Feta Complete）手法に着目しました。
この手法をBLS方式と組み合わせることで、証明書のサイズを大幅に削減できる可能性があります。
現在の試算では、この方法により 証明書サイズを1桁削減できる可能性があり、
ネットワーク負荷も50%削減できると考えています。
ただし、これは楽観的な見積もりであり、Cardanoのステーク分布によっては影響を受ける可能性があります。
それでも、現時点での結果は非常に有望であり、Leiosの実用化に向けた大きな前進となるでしょう。
アンドレ・クリスペル（フォーマルメソッド）:
私たちのチームでは、Leiosプロトコルの状態遷移モデルを正式に記述し、その正確な実装を開発しました。
この実装では、各ステップの正しさを証明できるようになっています。
つまり、システムがどの状態からどの状態へ遷移するかを 数学的に検証できるということです。
現在のシステムには、以下のような特徴があります：
• 決定論的ステートマシン（厳密な順序で状態遷移を定義）
• 非決定論的ステートマシン（異なる順序で処理できるバージョン）
• 検証用テストスイート（モデルの妥当性を確かめるテスト）
私たちの目標は、Leiosの実装が仕様に忠実であることを保証し、
システムの安全性と正確性を自動的に検証できるようにすることです。
現在は、小規模なケースでのテストが成功しており、
今後はより大規模な検証を行い、実際の環境でも動作するように最適化を進めていきます。
デルタQアプローチ（システム設計）:
デルタQアプローチとは、確率的な言語を用いてネットワークの挙動をモデル化する手法です。
これにより、ノード間で情報がどのように伝わるのかを正確に記述できます。
このモデルでは、計算遅延や通信遅延などを考慮しながら、最適な拡散パターンを導き出します。
12月以降、モデルの精度を向上させ、より現実的なシミュレーション結果を得ることができるようになりました。
現在の成果：
• RustシミュレーションとHaskellシミュレーションの統合
• ネットワークトポロジーの最適化
• ベストケースシナリオでのモデル調整
今後の課題としては、さらなる精度向上と、実際のCardanoネットワークとの比較を進めていきます。
サイモン・ゲリス（Rustシミュレーション）:
現在、LeiosのシミュレーションにはHaskell版とRust版の2種類があります。
Rust版は、より大規模なネットワークを対象にしたシミュレーションです。
主な目的：
• 大規模ネットワークのパフォーマンス評価
• Leiosのトランザクション処理能力の確認
• メインネットレベルでのテスト
現在、Rustシミュレーションでは、CPU使用量のモデル化を強化し、
Haskellシミュレーションと比較できるようにしました。
さらに、Rustシミュレーションのデータを可視化するツールを開発しました。
このツールでは、各スロットのブロックデータや、トランザクションの流れを視覚的に確認できます。
今後は、投票プロセスの可視化やリソース使用率の表示も追加していく予定です。
質疑応答:
ウィリアム・ウルフ:
最後に、前回のミーティングで出た質問について回答します。
Q1: Leiosの導入によるネットワークへの影響は？
現在、内部で議論を進めていますが、設計が進化しているため、まだ公表できる段階ではありません。
今後の月次アップデートで改めて報告します。
Q2: ノードのリソース適応能力は？
Leiosでは、各ノードが全てのブロックを検証する必要があるため、
リソースの大きなノードと小さなノードを明確に区別する設計にはなっていません。
ただし、今後の研究次第では、ノードの役割を動的に調整する仕組みが考えられるかもしれません。
Q3: システムの自己調整機能はあるか？
現状、Leiosはプロトコルパラメータで制御される設計となっており、
ノードが個別に負荷を調整する機能はありません。
しかし、今後の設計次第では、自動調整機能を検討する余地はあります。
クロージング
ウィリアム・ウルフ:
これで本日の月次アップデートは終了です。
ご参加いただき、ありがとうございました！
今後も皆さんのフィードバックをお待ちしています。
チャールズ・ホスキンソン:
皆さん、お疲れ様でした。
