原文：《Nil如何凭借零知识电路编译器zkLLVM估值2.2亿美元？》

作者：Chloe

成立于2018年的ZK技术开发公司Nil以2.2亿美元的估值完成了2200万美元融资，由Polychain Capital领投，IOSG Ventures、Blockchain Capital、Starkware、Mina Protocol等参投。

值得关注的不止是融资金额，还有投资者名单——Starkware和Mina Protocol这两个ZK生态的技术型选手也参与了。

链茶馆此前介绍过Starkware和Mina Protocol。

Starkware团队推出了证明系统STARK，并在随后的技术外包生涯中积累了比较完整的业务逻辑的技术，并最终推出了StarkNet（《从DEX到Layer4，StarkWare的「结硬寨，打呆仗」思路值得所有公链学习》）。

仅有22 KB的轻量区块链Mina也非常值得关注（《轻量化隐私公链Mina的技术原理以及生态发展》)，它所使用的证明系统zk-SNARK可以递归地引用自身，从而创建证明并让区块保持固定大小。

他们对Nil的投资，也可以看成是一种技术背书。

尤其是Mina基金会还给予Nil Foundation120万美元的资金，开发能够让各公链上的dapp通过Mina来证明的Snapp，从而具有基于数据验证的隐私保护功能、大量计算的有效证明以及安全一键登录功能。

而Nil Foundation在ZK领域到底有什么值得关注的技术呢？

Nil Foundation是成立于2018年的协议开发商，最初只是想做资料库管理系统和应用密码学的研发，但这几年随着技术积累，想建立一套完备的技术——让L1和L2的区块链和协议都能够按需求生成零知识 (ZK) 证明。

例如1月20日宣布要推出Mina Protocol与以太坊之间桥接的zkBridge，可以让Mina给以太坊提供ZK证明。

但Nil Foundation最值得关注的新技术其实是zkLLVM，LLVM即「低级虚拟机」，能够让开发人员使用主流编程语言Rust和C++来构建，从而显著减少工作量。例如zkEVM平台Scroll创始人Mikhail Komarov表示，他们以Rust编程语言所开发的特殊软件库来手动构建电路，帮助项目省上好几个月的时间。（推荐阅读：《详解zkLLVM电路编译器：除了能构建zkRollup，还能做些什么？》）

这里的关键在于零知识电路，这是构建zkEVM的一部分（zkEVM共分为执行环境、证明电路和验证者合约三部分），用来完成证明生成过程。

编译零知识电路，往往意味着要涉及小众编程语言、特定领域的软件库以及要非常懂密码学，因此是一项复杂且得及时反应的工作。

而Nil Foundation在LLVM的基础上构建了一个主流语言编译器，试图成为开发者编译零知识电路最好的工具。

最近还宣布了要创建ZK证明市场，是为了帮助ZK团队分担他们的工作，并将某些类型的计算外包给第三方。Nil Foundation已在Github上发布了该项目，任何开发人员都可自由使用或修改zkLLVM的代码。

目前Nil Foundation 团队成员大多分布在欧洲，从瑞士开始到俄罗斯远东地区都有其员工，全采远端式办公。

创始人Mikhail Komarov还是Cryptarithm的建筑师和软件工程师，先前在cyber•Fund担任高阶软件工程师。

不过零知识电路如果编程错误，就会造成不可逆性的代价。先前zkLLVM的早期版本代码库曾在网上泄露，当时就有开发者表示他们不敢相信Nil Foundation的电路生成功能。

所以zkLLVM目前在应用范围广的层面上还是存在着局限性，这些程序或许更复杂，才无法转化为零知识形式。

但无论如何，Nil Foundation目前的方向没有错——专注在zkLLVM代码库的成熟度，让开发者不必花太多时间在ZK电路构建的细节，而是关注应用本身。