REKT:Nil如何凭借零知识电路编译器zkLLVM估值2.2亿美元?_BTC

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

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

比特币日交易量回升至6月22日以来最高水平:金色财经报道,本周一,比特币的价格自6月中旬以来首次达到40,000美元,使交易者重返市场。根据Arcane Research的一份报告,比特币的每日交易量达到92亿美元,为6月22日以来的最高水平。最近交易量的飙升可能表明,当市场出现波动时,兴趣和活动会迅速恢复。[2021/7/28 1:19:27]

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

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

声音 | Rekt Capital:减半之后的12至18个月内,BTC或将达到历史新高:加密货币分析师Rekt Capital近期参加加密播客节目时就减半事件发表评论称:“我们确实倾向于在减半之前看到一个比特币迎来新的年度高点,在减半之后我们将看到一个新的历史高点。这是比特币价格历史上反复出现的情况,这种新的历史高点可能会在2021年底左右出现,因此,比特币可能需要一年或一年半的时间才能见顶,彼时亦将达到牛市顶峰。所以我认为,大概减半之后的12到18个月内可能会看到比特币达到历史新高。”[2020/2/5]

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

动态 | BitMEX聘请资深金融律师Derek Gobel加入其法律团队:BitMEX宣布,资深金融律师Derek Gobel已加入其法律团队。Gobel曾在法国巴黎银行(BNP Paribas)等主要金融机构工作,曾担任该银行亚太区市场总法律顾问。据此前消息,BitMEX目前仍在接受美国CFTC的调查,该律师的加入或许恰逢其时。(Bitcoinist)[2019/9/11]

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

尤其是Mina基金会还给予NilFoundation120万美元的资金,开发能够让各公链上的dapp通过Mina来证明的Snapp,从而具有基于数据验证的隐私保护功能、大量计算的有效证明以及安全一键登录功能。

声音 | DataTrek创始人:比特币就像纳斯达克泡沫一样 一定会复苏但需要时间:据 pymnts消息, DataTrek Research的联合创始人 Nick Colas认为目前的市场低迷并不是结束,他表示:这就像在纳斯达克泡沫中发生的事情,一定会复苏但需要很多年。许多矿工肯定在赔钱,但仍有矿工可以赚钱。[2018/12/17]

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

最后:

欢迎私信进交流群!

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

[0:0ms0-3:61ms