成立于 2018 年的 ZK 技术开发公司 Nil 以 2.2 亿美元的估值完成了 2200 万美元融资,由 Polychain Capital 领投,IOSG Ventures、Blockchain Capital、Starkware、Mina Protocol 等参投。
值得关注的不止是融资金额,还有投资者名单——Starkware 和 Mina Protocol 这两个 ZK 生态的技术型选手也参与了。
Starkware 团队推出了证明系统 STARK,并在随后的技术外包生涯中积累了比较完整的业务逻辑的技术,并最终推出了 StarkNet。
仅有 22 KB 的轻量区块链 Mina 也非常值得关注,它所使用的证明系统 zk-SNARK 可以递归地引用自身,从而创建证明并让区块保持固定大小。
他们对 Nil 的投资,也可以看成是一种技术背书。
尤其是 Mina 基金会还给予 Nil Foundation 120 万美元的资金,开发能够让各公链上的 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 编程语言所开发的特殊软件库来手动构建电路,帮助项目省上好几个月的时间。
这里的关键在于零知识电路,这是构建 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 电路构建的细节,而是关注应用本身。
(声明:请读者严格遵守所在地法律法规,本文不代表任何投资建议)