成立于2018年的ZK技术开发公司Nil以2.2亿美元的估值完成了2200万美元融资，由PolychainCapital领投，IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等参投。
值得关注的不止是融资金额，还有投资者名单——Starkware和MinaProtocol这两个ZK生态的技术型选手也参与了。
Lido将通过Lido Grant资助ZK技术开发商Nil建立zkOracle:8月16日消息，流动性质押提供商Lido Finance宣布将通过Lido Grant资助ZK技术开发商Nil Foundation建立zkOracle，为Lido的会计报告提供信任最小化的健全性检查，保障Lido Finance的流动性。
Lido的zkOracle计算的证明将通过以太坊上的Proof Market直接从EVM签订，Proof Market是最近发布的网关接口，可为所有EVM应用程序提供可证明的计算可组合性。[2023/8/16 21:26:33]
链茶馆此前介绍过Starkware和MinaProtocol。
BitNile在密歇根数据中心部署并激活19000名矿机:金色财经报道，?Ault Alliance宣布全资子公司BitNile已在其密歇根数据中心部署并激活了大约 9,000 台比特币矿机。公司还宣布，BNI 已通过与 Core Scientific的战略合作完成了对10,000台比特币矿机的全面部署和激活。[2023/5/25 10:37:58]
Starkware团队推出了证明系统STARK，并在随后的技术外包生涯中积累了比较完整的业务逻辑的技术，并最终推出了StarkNet。
仅有22KB的轻量区块链Mina也非常值得关注（《轻量化隐私公链Mina的技术原理以及生态发展》)，它所使用的证明系统zk-SNARK可以递归地引用自身，从而创建证明并让区块保持固定大小。
矿企BitNile再次向比特大陆订购1325台蚂蚁矿机S19j Pro:9月7日消息，比特币矿企BitNile Holdings宣布其子公司BitNile已与比特大陆签订合同，额外购买1325台蚂蚁矿机S19j Pro，根据这份新合同，BNI总计购买21925个比特币矿机。
该公司创始人兼执行主席Milton“Todd”Ault III表示，我相信比特币的长期前景是积极的，很高兴能够投资更多的比特币挖矿设备以扩大我们的加密货币挖矿业务。 （businesswire）[2022/9/7 13:14:20]
他们对Nil的投资，也可以看成是一种技术背书。
矿企BitNile 6月产出46.4枚比特币，目前共持有140.8枚比特币:7月6日消息，比特币矿企BitNile Holdings, Inc.（简称BitNile）今天发布了一份未经审计的关于比特币生产和矿机交付的最新消息。根据目前的市场状况，BitNile的比特币挖矿产量目前估计为每年698枚比特币。
BitNile拥有9645台S19j Pro蚂蚁矿机，一旦完成部署，将产生大约每秒965.5 PH/s的算力。在2022年6月，BitNile自挖了46.4枚比特币。到目前为止，BitNile已经挖出256.5枚比特币。截至2022年6月30日，BitNile持有140.8枚比特币，目前没有出售计划。（Business Wire）[2022/7/6 1:55:15]
尤其是Mina基金会还给予NilFoundation120万美元的资金，开发能够让各公链上的dapp通过Mina来证明的Snapp，从而具有基于数据验证的隐私保护功能、大量计算的有效证明以及安全一键登录功能。
而NilFoundation在ZK领域到底有什么值得关注的技术呢？
NilFoundation是成立于2018年的协议开发商，最初只是想做资料库管理系统和应用密码学的研发，但这几年随着技术积累，想建立一套完备的技术——让L1和L2的区块链和协议都能够按需求生成零知识(ZK)证明。
例如1月20日宣布要推出MinaProtocol与以太坊之间桥接的zkBridge，可以让Mina给以太坊提供ZK证明。
但NilFoundation最值得关注的新技术其实是zkLLVM，LLVM即「低级虚拟机」，能够让开发人员使用主流编程语言Rust和C++来构建，从而显著减少工作量。例如zkEVM平台Scroll创始人MikhailKomarov表示，他们以Rust编程语言所开发的特殊软件库来手动构建电路，帮助项目省上好几个月的时间。
这里的关键在于零知识电路，这是构建zkEVM的一部分，用来完成证明生成过程。
编译零知识电路，往往意味着要涉及小众编程语言、特定领域的软件库以及要非常懂密码学，因此是一项复杂且得及时反应的工作。
而NilFoundation在LLVM的基础上构建了一个主流语言编译器，试图成为开发者编译零知识电路最好的工具。
最近还宣布了要创建ZK证明市场，是为了帮助ZK团队分担他们的工作，并将某些类型的计算外包给第三方。NilFoundation已在Github上发布了该项目，任何开发人员都可自由使用或修改zkLLVM的代码。
目前NilFoundation团队成员大多分布在欧洲，从瑞士开始到俄罗斯远东地区都有其员工，全采远端式办公。
创始人MikhailKomarov还是Cryptarithm的建筑师和软件工程师，先前在cyber?Fund担任高阶软件工程师。
不过零知识电路如果编程错误，就会造成不可逆性的代价。先前zkLLVM的早期版本代码库曾在网上泄露，当时就有开发者表示他们不敢相信NilFoundation的电路生成功能。
所以zkLLVM目前在应用范围广的层面上还是存在着局限性，这些程序或许更复杂，才无法转化为零知识形式。
但无论如何，NilFoundation目前的方向没有错——专注在zkLLVM代码库的成熟度，让开发者不必花太多时间在ZK电路构建的细节，而是关注应用本身。
最后：
欢迎私信进交流群！
感谢阅读，喜欢的朋友可以点个赞关注哦，我们下期再见！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。