ZK IR(zkir) — ゼロ知識向け中間バイトコード
2025/11/27
ZK IR(zkir)は、LLVM IR をターゲットにしたプラットフォーム非依存のバイトコード形式とランタイム実装を目指すプロジェクトです。ゼロ知識証明(ZK)に適した実行モデルを念頭に置き、最小限の命令制約で効率的な証明生成を実現することを目的としています。Rustで実装されており、LLVM IR → ZK IR → zkVM ランタイム → Proof というパイプラインを通じて、既存のコンパイラ基盤との連携を想定しています(開発初期段階)。