Lita

Litaは、カスタム命令セットアーキテクチャ（ISA）を備えたゼロ知識仮想マシン（zkVM）「Valida」を構築しています。RISC-Vのような既存のISAを採用するほとんどのzkVMとは異なり、Validaは証明効率を最大化するために独自のISAをゼロから設計しています。その中核事業には、Valida zkVM自体、Rust、C、WASMをサポートするコンパイラツールチェーン、そしてPlonky3証明システムが含まれます。Litaはまた、Lita Studiosを通じて、証明可能なゲーム（Cat Runner）、トラストレス決済（Lita Pay）、AI/MLユースケースなどの実世界のアプリケーションを紹介しています。 中核となる競争力は、パフォーマンスとモジュール性にあります。ValidaのカスタムISAは不要な演算を削減し、モジュール式のチップベース設計により、ユーザーは特定のワークロード向けにカスタムチップを追加できます。Brakedownエンコーディングを備えたPlonky3の使用により、証明速度は大幅に向上し、既存のソリューションと比較して約3桁高速です。これにより、高スループットでレイテンシに敏感なアプリケーションに適しています。 Litaが解決する市場の課題は、既存のゼロ知識証明生成における高い計算コストとスケーラビリティの低さです。現在の多くのzkVMは、実用的で大規模な使用には遅すぎるか柔軟性に欠けています。Validaはこの障壁を低くし、より効率的で手頃な検証可能な計算を実現することを目指しています。 過去6か月間（2026年3月～2026年9月）、LitaはValidaの実装を成熟させることに注力してきました。これには、継続的な内部監査、外部監査の計画、既知の制約への対応が含まれます。また、Lita Studiosを通じてアプリケーションエコシステムを拡大し、ゲーム、決済、AIにおけるユースケースを実証してきました。特にBrakedownエンコーディングに関するパフォーマンス最適化は、重要な進展分野です。 ただし、Validaはまだ実験段階です。一部の算術演算（SDIV32、MULHS32、特定のシフト演算など）には現在完全な制約が欠けており、プローバーは1回の実行で処理できる命令数に制限があります。これらの制限は対処中ですが、Validaがすべてのユースケースで本番環境に対応できる状態にはまだありません。