以太坊:Nil如何凭借零知识电路编译器zkLLVM估值2.2亿美元？

成立于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已收到1885台S19j Pro矿机，第四季度挖出53.7枚比特币:1月3日消息，多元化控股公司BitNile Holdings, Inc.发布一份未经审计的比特币生产和矿机安装更新报告。BitNile计划将挖矿工作重点放在密歇根州数据中心，并打算在印第安纳州出售1600台S9 Antminer（蚂蚁矿机）。

BitNile已经收到1885台S19j Pro Antminer，其中1705台矿机算力为大约170.5 PH/s。去年第四季度，BitNile总共挖出53.7枚比特币。

BitNile已与比特大陆签订总计20600台比特币矿机的购买协议，包括4600台S19 XP Antminer（处理能力为140 TH/s）和16000台S19j Pro Antminer（100 TH/s）。根据协议，从2021年11月开始，BitNile每月将收到300台S19j Pro Antminer。从2022年3月开始，将增加到预计每月2300台矿机。一旦所有20600台矿机全部部署完毕并投入运营，BitNile预计将实现大约2.24 EH/s的挖矿产能。（Businesswire）[2022/1/3 8:22:12]

Starkware团队推出了证明系统STARK，并在随后的技术外包生涯中积累了比较完整的业务逻辑的技术，并最终推出了StarkNet。

UniLend闪电贷将70%的费用作为质押奖励分配，并提供空投功能:3月11日，去中心化现货交易和借贷协议UniLend发文介绍其无需许可的闪电贷技术，要点如下：

1. UniLend的闪电贷将支持所有代币，不像其他热门产品只支持20-30种资产。

2. 从UniLend闪电贷中收取的费用的70%将作为质押奖励进行分配。

3. UniLend闪电贷将支持新的创新代币技术，如弹性代币和合成资产。

4. UniLend的自动质押奖励池将在多个区块链中保持更统一的奖励分配。

5. “空投”功能将允许任何人立即向所有池参与者空投代币。[2021/3/12 18:40:15]

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

动态 | 韩国已逮捕Shinil集团加密货案的数位关键嫌疑人:据decenter消息，韩国日前宣布已于近期逮捕了Shinil集团加密货案的数位关键嫌疑人，并称将继续追捕其余的海外在逃案犯。据此前消息，韩国Shinil公司宣布发现1905年俄罗斯满载黄金的Dmitrii Donskoi号沉船，并计划发行虚拟货币“Shinil Gold Coin”，后被证实是一场局。参与此起投资欺诈的受害人约2600人，损失金额达到90亿韩元（约合798.5万美元）。[2018/11/20]

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

尤其是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电路构建的细节，而是关注应用本身。

最后：

欢迎私信进交流群！

感谢阅读，喜欢的朋友可以点个赞关注哦，我们下期再见！

标签：FoundationLVM以太坊Foundation币是什么币LVM价格LVM币以太坊币是什么币

比特币行情热门资讯