成立于2018年的ZK技术开发公司Nil以2.2亿美元的估值完成了2200万美元融资，由PolychainCapital领投，IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等参投。值得关注的不止是融资金额，还有投资者名单——Starkware和MinaProtocol这两个ZK生态的技术型选手也参与了。链茶馆此前介绍过Starkware和MinaProtocol。Starkware团队推出了证明系统STARK，并在随后的技术外包生涯中积累了比较完整的业务逻辑的技术，并最终推出了StarkNet。仅有22KB的轻量区块链Mina也非常值得关注，用来完成证明生成过程。编译零知识电路，往往意味着要涉及小众编程语言、特定领域的软件库以及要非常懂密码学，因此是一项复杂且得及时反应的工作。而NilFoundation在LLVM的基础上构建了一个主流语言编译器，试图成为开发者编译零知识电路最好的工具。最近还宣布了要创建ZK证明市场，是为了帮助ZK团队分担他们的工作，并将某些类型的计算外包给第三方。NilFoundation已在Github上发布了该项目，任何开发人员都可自由使用或修改zkLLVM的代码。目前NilFoundation团队成员大多分布在欧洲，从瑞士开始到俄罗斯远东地区都有其员工，全采远端式办公。创始人MikhailKomarov还是Cryptarithm的建筑师和软件工程师，先前在cyber?Fund担任高阶软件工程师。不过零知识电路如果编程错误，就会造成不可逆性的代价。先前zkLLVM的早期版本代码库曾在网上泄露，当时就有开发者表示他们不敢相信NilFoundation的电路生成功能。所以zkLLVM目前在应用范围广的层面上还是存在着局限性，这些程序或许更复杂，才无法转化为零知识形式。但无论如何，NilFoundation目前的方向没有错——专注在zkLLVM代码库的成熟度，让开发者不必花太多时间在ZK电路构建的细节，而是关注应用本身。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。