成立于2018年的ZK技术开发公司Nil以2.2亿美元的估值完成了2200万美元融资，由PolychainCapital领投，IOSGVentures、BlockchainCapital、Starkware、MinaProtocol等参投。
值得关注的不止是融资金额，还有投资者名单——Starkware和MinaProtocol这两个ZK生态的技术型选手也参与了。
Algorand 基金会任命 Anil Kakani 为印度地区负责人:金色财经报道，Algorand 基金会任命 Anil Kakani 为印度地区负责人，Kakani 将领导 AlgoBharat 团队和 Algorand 在印度的所有编程和项目，包括大学教育项目、社区项目以及私人和公共合作伙伴关系。
据悉，Kakani 此前在华盛顿特区的公共和私营部门担任过多个职务，包括担任美国财政部的印度高级顾问，在那里他建立了美国财政部和印度财政部之间的第一个双边伙伴关系。他还曾担任康宁公司印度商业发展总监，并在印度的 Anand Rathi Investment Banking 和美国的 Vikasa Holdings 担任高级领导职务。[2022/11/29 21:10:27]
链茶馆此前介绍过Starkware和MinaProtocol。
以太坊基金会和 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]
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可以递归地引用自身，从而创建证明并让区块保持固定大小。
波场Nile测试网已进行了GreatVoyage-v4.0.0 Beta版本升级:据最新消息显示，波场Nile测试网于6月10日进行了GreatVoyage-v4.0.0 Beta版本升级，升级内容主要是基于匿名TRC20协议(TIP-135) ，通过在波场虚拟机（TVM）中实现zk-SNARK零知识证明功能的指令，从而实现了对匿名TRC20合约的支持。匿名TRC20合约能够支持TRC20资产进行匿名化转账，实现用户交易的隐私保护。这是TRON4.0版本的匿名特性首次在Nile测试网上进行公测，Nile测试网新增相关接口支持匿名合约交易的构建。[2020/6/12]
他们对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电路构建的细节，而是关注应用本身。
最后：
欢迎私信进交流群！
感谢阅读，喜欢的朋友可以点个赞关注哦，我们下期再见！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。