2027年第1四半期Q1
計画中
- システムの主要な性質をLeanで形式証明 (予定)
- テストネットをローンチ (予定)
ALUX
ロードマップ
最終更新：2026年10月5日
2027年
2027
2026年
2026
2026 Q4Q4
計画中
- 論理クロックと分離レベル強制メカニズムを実装（WIP）
- 「GDB」ライクな TVM デバッグ・可観測性ツール（WIP）
- コスト会計モデルを完成 （WIP）
- Ethereumツールチェーンと統合 （WIP）
- Proof-of-Stake（PoS）コントラクトを実装・テスト（計画中）
- 同期および障害復旧メカニズムを実装 (予定)
- ガベージコレクションを実装 (予定)
- スマートコントラクトとエージェントのオーケストレーションを示す Solidity サンプルを提供 （async/await、join、select）（計画中）
2026 Q3Q3
完了
- 既存の非同期関数に加え、クロージャと部分適用に対応する同期関数をサポート (完了)
- 初期システムレジストリ、アカウント抽象化、ケイパビリティの請求・委譲コントラクト (完了)
- TVMタスクスケジューラを簡素化し、並行実行をテストしやすく改善 (完了)
- ネストしたコンテキスト間で確実にロールバックできる、台帳ベースの実行コンテキスト追跡 (完了)
- コンパイラ出力を検証するためのTolang参照インタプリタ (完了)
- Tolangコードフォーマッタ、tolang! Rustマクロ、IDEの定義へ移動と名前変更 (完了)
- ノードのRPCインターフェースから生成した型付きバインディングを備えるTypeScript APIクライアント (完了)
- ネストしたコレクション、ループ、クロージャ、初期段階のガスメータリングを備えた新しいTVMインタプリタ (レビュー中)
- 新しいトラップベースの EVM サンドボックス（進行中）
2026 Q2Q2
完了
- ネイティブ Tolang パーサー（完了）
- Tolang コンパイル時定数サポート（完了）
- Tolang 言語サーバーと Tolang VS Code 拡張機能（完了）
- テストフレームワークをリファクタリング（完了）
- 合意層を含むシステム全体のエンドツーエンド統合テストを実施（完了）
- API 実装を完了（完了）
- ノード CLI を開発（完了）
- クロスブロック実行とアトミックなファイナライズ可視化のためのカスタムブロックチェーンエクスプローラー（完了）
- 新しいトラップベースの EVM サンドボックス（進行中）
- Ethereum ツールチェーンと統合（進行中）
2026 Q1Q1
完了
- クロスブロック実行のリプレイメカニズムを簡素化（完了）
- 効率と単純性を高める新しい EVM サンドボックスを導入（完了）
- TVM の合意、データベース、フレームワークをリファクタリングしてモジュール性を向上（完了）
- Lazy Validator によるクロスブロック実行とリプレイのテストを実装（完了）
- 状態と実行進捗を可視化する TupleSpace Explorer を開発（完了）
2025年
2025
2025 Q4Q4
完了
- 合意なしのクロスブロック実行をテスト（完了）
- モジュール化を改善するため TVM フレームワークをリファクタリング（進行中）
- API エンドポイントを仕様化し実装（進行中）
- 論理クロックと分離レベル強制メカニズムを設計（完了）
2025 Q3Q3
完了
- 複数のブロックとファイナライゼーション・フリンジにまたがる長期トランザクションを、実行、再開、パック、リプレイする仕組みを実装（完了）
- 性能と効率を高めるためデータベースモジュールをリファクタリング（進行中）
- モジュール化を改善するため TVM フレームワークをリファクタリング（進行中）
2025 Q2Q2
完了
- BlockGit プロトコルで Weaklink を実装・テスト（完了）
- TVM アーキテクチャを簡素化し信頼性を高めるため、単純なチャネル振る舞い型を導入（完了）
- ランダム生成 Tolang コード向けテストフレームワークを導入し、CI と統合（完了）
- リプレイロジックをリファクタリング（完了）
2025 Q1Q1
完了
- 最大限の並行性に向けて、並行トランザクション実行、ブロックリプレイ、ブロック提案を支えるイベント駆動フレームワークへ全体をリファクタリング（完了）
- RPC エンドポイントを実装し、欠落ブロックを扱えるよう BlockGit を更新（完了）
- BlockGit のメモリリークを修正し性能を改善（完了）
- BlockGit プロトコルに Weaklink を導入し、部分的に実装（完了）
2024年
2024
2024 Q4Q4
完了
- BlockGit をノードプラットフォームに統合（完了）
- Docker ネットワーク上で合意プロトコルをテスト（完了）
- ブロックマージにおける競合解決アルゴリズムを実装（完了）
- クエリと状態コミットをサポートするようストレージモジュールをリファクタリング（完了）
2024 Q3Q3
完了
- 実行の一部を巻き戻すための実行コンテキストサポート（完了）
- 新しい合意プロトコル BlockGit の設計と初期実装（完了）
- 合意プロトコル実装をテストするための離散イベントシミュレータ（完了）
- BlockGit の初期統合を含む P2P モジュール（完了）
2024 Q2Q2
完了
- タプル空間の実行ロジックとリプレイロジックをリファクタリングし、統合（完了）
- オラクル/リレイヤーなしで Web 2.0 システムと能動的に連携できることを示すため、外部 HTTPS 呼び出しの実行とリプレイを実装（完了）
- Blocklace 合意プロトコルの初期実装（完了）
- メモリ使用量を削減するために状態管理を再設計（完了）
- 分離レベルを強制するための論理クロックデータ構造とアルゴリズムを設計（完了）
2024 Q1Q1
完了
- グローバルレジストリの実装とテスト（完了）
- Tolang と TVM による関数型プログラミングサポート（完了）
- 並行 TVM 上でスレッドセーフな順次計算をサポート（完了）
- 予備的な EVM 互換性テストを実施（完了）
- Read-Committed 分離レベルをサポートする EVM 状態ストレージを実装（完了）
- TVM の正確性とリプレイ可能性を包括的にテストし、コードをリファクタリング（完了）
2023年
2023
2023 Q4Q4
完了
- エラー処理とスレッド局所性への対応を改善する、新しいタスクマネージャを実装（完了）
- 順次計算サポートの導入による性能改善（完了）
- 特殊チャネルタイプのテスト（完了）
- 特殊チャネルタイプを利用してリプレイログを簡素化（完了）
2023 Q3Q3
完了
- ストレージ層テスト（完了）
- 並行仮想マシンの実行および決定的リプレイテスト（完了）
- 特殊チャネルタイプの仕様策定と実装（完了）
2023 Q2Q2
完了
- 並行仮想マシンの実行およびリプレイ実装（完了）
- ストレージ層の仕様策定と実装（完了）
2023 Q1Q1
完了
- 並行仮想マシンのオペコードを実装・テスト（完了）
- 並行トランザクションの決定的リプレイ用データ構造（完了）