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

成立于2018年的ZK技术开发公司Nil以2.2亿美元的估值完成了2200万美元融资，由PolychainCapital领投，IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等参投。

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

墨西哥亿万富翁称其银行将很快增加对比特币的支持:金色财经报道，墨西哥商人Ricardo Salinas Pliego在周四的推特上确认，他的Banco Azteca银行将很快接受比特币。Grupo Salinas的创始人兼董事长其净资产估计为 156 亿美元，还在他的 Twitter 个人资料图片中添加了比特币激光眼，以展示他对最大的加密货币的支持。（u.today）[2021/8/13 1:52:01]

链茶馆此前介绍过Starkware和MinaProtocol。

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

比特币矿企BitNile迄今为止已开采500个比特币:金色财经报道，比特币矿企BitNile Holdings, Inc.宣布，迄今为止在其密歇根数据中心开采了500个比特币。通过全资和多数持股的子公司和战略投资，BitNile拥有并运营一个数据中心，在那里它挖掘比特币，并提供关键任务产品。（businesswire）[2022/10/26 16:38:41]

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

以太坊基金会和 Mina 基金会将捐助 =nil Foundation 120万美元:10月1日消息，以太坊基金会和 Mina 基金会决定向 =nil; Foundation 的 Crypto3 团队授予 120 万美元的合同，以在以太坊虚拟机上验证 Mina 的 Pickles SNARK。这将使得 Mina 能够在以太坊和其他基于 EVM 的链（如 Polygon）上进行验证，允许其他链上的 dapp 访问 Mina 上由 zk-SNARK 驱动的去中心化应用程序（Snapp），使数字可验证性和隐私成为常态的方式。今年二月份， Mina Protocol 基金会与以太坊基金会宣布了一项联合提案请求（RFP），寻求第三方团队在以太坊区块链上实现可递归的 SNARK 应用。

Mina 由可验证计算领域领导团队 O(1) Labs 构建，使用密码学和递归零知识证明 zk-SNARKs 来设计一个完整的区块链，使其大小能够保持约 22KB。[2021/10/1 17:19:15]

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

动态 | 韩国表示Shinil集团投资取90亿韩元:据韩联社消息，首尔地方警察厅26日表示，经调查，目前参与Shinil集团（现为Shinil Marine Technology）投资欺诈的受害人约2600人，损失金额达到90亿韩元。此前，韩国Shinil公司宣布发现1905年俄罗斯满载黄金的Dmitrii Donskoi号沉船，并计划发行虚拟货币“Shinil Gold Coin”。[2018/8/27]

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

最后：

欢迎私信进交流群！

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

标签：NILUNDFoundationLVMNIL价格FundamentaKi FoundationLVM价格

SHIB热门资讯