zirgen

Zirgen 回路コンパイラ Zirgenは、ドメイン固有言語（これも「zirgen」と呼ばれます）用のコンパイラであり、RISC Zero証明システム向けの算術回路を生成します。 ほとんどの場合、RISC ZeroのユーザーはzkAppsをRustで記述し、RISC-V zkVMを使用するべきであり、Zirgenで直接構築するべきではありません。しかし、場合によっては、アプリケーションの一部を算術回路として記述し、証明システムに直接統合してパフォーマンスを向上させることが必要または望ましいことがあります。実際、zkVM回路の次のバージョンはZirgenで記述されています！...