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

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

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

Jump Trading是美SEC指控在TerraUSD脱钩期间为其提供支持的“美国交易公司”:金色财经报道，据两名知情人士透露，Jump Trading是美国证券交易委员会（SEC）指控在TerraUSD与美元脱钩期间为其提供支持的交易公司。SEC周四对Terraform Labs和该公司首席执行官Do Kwon提起民事诉讼，指控他们在2021年5月利用一家“美国交易公司”支持TerraUSD的价格，误导投资者。

SEC尚未对Jump提出任何指控，也没有指控该公司存在不当行为。该公司为Luna和TerraUSD提供做市服务以获得报酬，它通常能够以低于当前市价的成本获得Luna。在该交易公司于2021年5月介入帮助支撑TerraUSD后，它通常以40美分的价格获得Luna代币，即使它们在二级市场的交易价格超过90美元。SEC称，Jump最终从这笔交易中获利约12.8亿美元。[2023/2/18 12:14:02]

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

Khala启动Secure Worker Mining以及代币抵押功能公投:9月3日消息，Web 3云计算项目 Phala 预备网络Khala上线首个链上治理提案，此提案目前处于投票阶段，将在5天后正式发起进入执行期，该提案通过后，Khala网络将正式上线Secure worker mining以及代币抵押功能。[2021/9/3 22:58:50]

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

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

Valkyrie向美SEC申请推出基于比特币期货的ETF:金色财经报道，根据一份日期为8月11日并提交给美国证券交易委员会的招股说明书草稿，Valkyrie申请推出基于比特币期货的ETF，该基金不会直接投资于比特币。该基金将通过一家根据开曼群岛法律成立的全资子公司间接投资于标准化的、以现金结算的比特币期货合约。Valkyrie此前于4月提交了现货比特币ETF的招股说明书，但与其同行的申请一样，SEC已推迟对当前这批提案做出明确批准或拒绝。据悉，自SEC主席Gary Gensler上周表现出对与比特币期货相关的ETF有特别的兴趣，几家公司已经开始就此类产品提交提案。[2021/8/12 1:49:49]

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

马斯克与特斯拉董事会因违反与SEC达成的发推协议被起诉:特斯拉的一名投资者在特拉华州起诉了首席执行官马斯克及其董事会，称马斯克持续发送“内涵”推文，且特斯拉董事会未能控制马斯克的线上行为，给特斯拉公司造成潜在数十亿美元的责任与市值损失。该诉讼于周五在特拉华州法院公开。此前，马斯克、特斯拉董事会、美国证券交易委员会已于2018年针对马斯克在社交媒体上的活动达成协议，SEC要求马斯克的行为要事前获得批准，并责令马斯克和公司董事会分别支付2000万美元罚款。近日据外媒报道，消息人士称，SEC将就关于狗狗币的推文对马斯克进行调查。（金十）[2021/3/13 18:41:12]

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

最后：

欢迎私信进交流群！

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

标签：NILUNDIONDATNIL币Crypto HoundsAscension ProtocolDatawallet

SAND热门资讯