zkLLVM

LLVMツールチェーン／コンパイラを使用するあらゆる言語をサポートし、LLVM中間表現（IR）を直接回路に変換する