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

Posted mutourend

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了zkLLVM：nil Foundation开发的电路编译器相关的知识，希望对你有一定的参考价值。

1. 引言

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

开源代码见：

zkLLVM可：

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

详细示例可参看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

以上是关于zkLLVM：nil Foundation开发的电路编译器的主要内容，如果未能解决你的问题，请参考以下文章

nil Foundation blueprint模块代码解析

nil Foundation的Placeholder证明系统

nil Foundation的Placeholder证明系统

nil Foundation的Mina-＞以太坊 bridge原型已完成

nil Foundation的Mina-Ethereum State Proof Verification Applications

nil Foundation的in-EVM Full Mina State Verification