zkLLVM：nil Foundation开发的电路编译器

1. 引言

zkLLVM：nil Foundation开发的电路编译器，不是zkVM。

开源代码见：

• zkLLVM Circuit Compiler（C++）

zkLLVM可：

• 将 高级编程语言编写的电路 编译为 LLVM IR（Intermediate Representation） bytecode 表示；
  • 当前支持C/C++（Clang15），即将支持Rust语言编写电路。
• 创建circuit execution trace（又名assignment table）并 生成数据 供Prover生成proof使用；
• zkLLVM的输出 作为 任意ZKP系统的输入，所生成的proof是in-EVM verifiable的。
  • 当前支持Placeholder证明系统，未来将支持其它证明系统。

详细示例可参看examples目录下各文件：

• *.inp：为电路的输入
• *.cpp：为电路的具体实现

附录：nil Foundation系列博客

[1] nil Foundation的基于Solana light client实现的zk-bridge方案
[2] nil Foundation的Solana-Ethereum Bridge Based on Light-Client State Proof Verification
[3] nil Foundation的Mina-＞以太坊 bridge原型已完成
[4] nil Foundation的Placeholder证明系统
[5] nil Foundation的Mina-Ethereum State Proof Verification Applications
[6] nil Foundation的in-EVM Full Mina State Verification