Zirgen 回路コンパイラ

Zirgenは、ドメイン固有言語（これも「zirgen」と呼ばれます）用のコンパイラであり、RISC Zero証明システム向けの算術回路を生成します。

ほとんどの場合、RISC ZeroのユーザーはzkAppsをRustで記述し、RISC-V zkVMを使用するべきであり、Zirgenで直接構築するべきではありません。しかし、場合によっては、アプリケーションの一部を算術回路として記述し、証明システムに直接統合してパフォーマンスを向上させることが必要または望ましいことがあります。実際、zkVM回路の次のバージョンはZirgenで記述されています！ Zirgenを使用すると、アプリケーションの重要な部分のアクセラレータを構築したり、証明合成を通じてRISC Zeroエコシステムに統合する完全な別のVMを構築することも可能になります。とはいえ、まだ開発途中であり、いくつかの荒削りな部分があります。

はじめに

言語概要

含まれる回路

• 再帰回路
• RISC-V zkVM

Circom統合

Circomとの統合も進行中です。これにより、任意のCircom回路のwitnessを検証する再帰回路プログラムを生成できるようになります。これはこちらにあります。

graph TD;
    A[Zirgen] --> B[Zirgen Compiler]
    C[Circom] --> B
    B --> D[Rust code]
    B --> E[C++ code]
    B --> F[Recursion VM predicates]