2023 Q1 ZK报告

news2024/11/18 10:23:04

1. ZK数据

2023年4月4日,ZK社区举办了zkSummit 9。
ZK技术应用场景主要分布情况为:
在这里插入图片描述
其中:

  • 1)ZK用于隐私场景案例最多,占比12.9%,说明人们对 将ZK技术用于隐私保护 兴趣浓厚。
  • 2)ZK用于扩容场景,占比9.46%。
  • 3)ZK用于身份 以及 new ZK use-cases分列第三第四,占比分别为8.86%和8.76%,说明人们有兴趣将ZK用于身份管理 以及 其它novel use-cases。
    具体的novel new uses-cases有:
    • zkML:在新型案例中最受关注。
    • zk-Light clients:借助ZKP,使得light clients可验证full consensus protocols,从而提升bridge互操作性。
    • Proof-carrying data
    • zk Proof of Reserve
    • 可验证计算 以及 商业隐私网络 等等
      在这里插入图片描述

2. ZK创新研究

ZK创新研究有:

  • 1)Geometry团队的Semacaulk:一种新的ZK set membership协议,可大幅节约 构建depth为20的Merkle-tree 所需的gas,同时可确保proof的快速生成,以及以几乎相同的gas来验证其proof。
    • 借助Semacaulk,Merkle-tree插入操作需要常量值——6.8万gas,应用可提前预计算proof,提供更丝滑的用户体验。
    • 此外,Semacaulk无需application-specific trusted setup,仅需要phase-1 trusted setup的output,适得其更灵活。
  • 2)Multi-scalar Multiplication (MSM) on an Android mobile device:ZPrize 2022中所提交的prizes,基本在baseline基础上改进超过了5倍,为ZK密码学产出颇丰。最显著的为,所实现的MSM运算,将在Android移动设备上的proof生成时间由2.4秒 降低为 约0.5秒。
    椭圆曲线上的MSM运算是许多ZKP证明系统的瓶颈。对MSM加速可加快proof生成速度,使得基于ZK的应用更实用。ZPrize 2022的所有submissions(包括非获胜的),都将以MIT/Apache 2.0 license开源,以助力ZKP技术开放生态。
  • 3)GZKP: A GPU Accelerated Zero-Knowledge Proof System:该论文提出了GZKP——GPU加速的ZKP系统,借助GPU的硬件并行性 来降低 ZKP的证明生成时间。GZKP加速显著,使其可用于一系列隐私保护应用。
    该系统中包含具有:
    • 改进的cache efficiency NTT模块
    • 具有新的并行策略的MSM模块
    • 对大数做arithmetic运算的GPU有限域库

3. zkEVM之季

2023年为ZK技术爆发年,在于以太坊扩容方案Polygon zkEVM和zkSync zkEVM的上线。
这2个zkEVM项目上线一年来的活跃度以及表现对比为:
在这里插入图片描述
zkSync Era数据更好的原因在于其可能会有airdrop。

4. 上线ZK项目

除Polygon zkEVM和zkSync zkEVM之外,2023年Q1还上线了以下ZK项目:
在这里插入图片描述

5. ZK摩擦点

2023年Q1,ZK领域2个摩擦点主要为:

  • 1)Nomada最新testnet的交易拒绝问题:受白名单哈希值小字母影响。修复版本v0.13.1又引起了2个不同的state roots并导致网络分叉问题,又在v0.13.2版本中修复。未来该团队将改进devnet配置,并构建release版本以避免未来再发生类似问题。Nomada为Anoma的首个fractal instance。
  • 2)Aztec Network关停Aztec Connect。

6. ZK生态投资情况

2023年Q1,ZK生态投资情况有:

  • 1)=nil; foundation:融资2200万美金,估值2.2亿美金,由Polychain Capital领投。该资金将用于进一步开发Proof Marketplace——该协议支持将ZKP证明外包。
    Proof Marketplace,无需依赖中心化中介,促进无信任的数据访问和无缝数据共享,致力于激活Layer 1和Layer 2链,可按需生成ZK证明。

  • 2)Proven:融资1580万美金。为偿付能力证明。由专注于密码学风险投资的Framework Ventures公司领投。使得交易所、稳定币发行方、资产管理方、托管人能够在不公开披露敏感数据的情况下向潜在客户、合作伙伴或监管机构展示其资产和负债,并通过其可以每天运行的“偿付能力证明”协议提高了透明度。Proven的种子轮成功之际,加密货币行业出现了与破产问题相关的显著崩溃,这使得该创新解决方案更加相关和及时。

  • 3)Polyhedra Network:融资1000万美金,由Binance Labs和Polychain Capital联合领投。为密码学基础设施提供商。该初创公司的使命是开发一套全面的系统,优先考虑区块链的互操作性、可扩展性和隐私。在其协议和产品中,有:

    • zkBridge:实现了跨链资产和数据传输,这是一种用零知识证书验证的去中心化身份解决方案
    • paraPlonk:扩容方案,它提高了zk-rollups(一种交易bundling机制)的速度和成本效率。

参考资料

[1] ZKValidator团队报告 The State of ZK Quarterly Report

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/570012.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

超长溢出头部省略打点,坑这么大,技巧这么多?

目录 需求 利用 direction 实现头部超长溢出打点 简单介绍一下 direction: 另外两个与排版相关的属性还有: direction: rtl 会导致使用下划线 _ 连接的数字内容排版错误 多方案解决 方案一:两次 direction 反转 当然,这里…

【高级语言程序设计(一)】第 8 章:结构体类型和自定义类型

目录 前言 一、结构体类型定义 (1)结构体类型定义的一般形式 (2)结构体类型定义的说明 二、结构体类型变量 (1)结构体类型变量的定义和初始化 ① 先定义结构体类型、后定义结构体类型的变量&#xf…

今天用AI创作助手写的文章--Docker提问系列介绍 Docker 的基本概念和优势

目录 介绍 Docker 的基本概念和优势,以及在应用程序开发中的实际应用。基本概念:优势: 哪些应用可以部署到docker里面Docker在服务器里面的安装步骤Docker里面的报错如何很仔细的排查解决?总结一下docker 未来发展趋势 介绍 Docke…

安装Arch Linux后要做的十件事

Arch Linux 是一款轻量级、灵活且高度可定制的Linux发行版,被广泛用于个人电脑和服务器。一旦您成功安装了Arch Linux,接下来有一些重要的任务需要完成,以确保系统的稳定性和安全性,并为您的需求做好准备。 本文将详细介绍安装Ar…

C++11 -- 可变参数模板

文章目录 可变参数模板的概念可变模板参数的定义获取可变模板参数包的值递归函数方式展开参数包获取逗号表达式展开参数包获取 STL容器中的emplace相关接口参数emplace_back与STL容器中的push_back的主要区别emplace_back与push_back的差异原理emplate_back与push_back的区别验…

图像算法工程师岗位的主要职责(合集)

图像算法工程师岗位的主要职责 一、确定岗位的职责 1.根据工作任务的需要确立工作岗位名称及其数量; 2.根据岗位工种确定岗位职务范围; 3.根据工种性质确定岗位使用的设备、工具、工作质量和效率; 4.明确岗位环境和确定岗位任职资格; 5.确定各个岗位之间的相互关系; 6.根据岗位…

css元素的显示和隐藏

1. display显示隐藏 <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><meta name"viewport" content"widthdevice-width, initial-scale1.0"><title>Document</title><st…

测试C#分词工具jieba.NET

jieba.NET是jieba中文分词的C#版本&#xff0c;后者是优秀的Python中文分词组件GitHub中得到超过3万星。jieba.NET支持中文分词、关键词提取、词性标注等功能&#xff0c;本文主要测试其中文分词的功能基本用法。   新建测试项目&#xff0c;在NuGet管理器中添加jieba.NET。 …

SpringBoot --- 运维篇

一、打包与运行 1.1、程序打包与运行&#xff08;Windows版&#xff09; 所谓打包指将程序转换成一个可执行的文件&#xff0c;所谓运行指不依赖开发环境执行打包产生的文件。 SpringBoot程序是基于Maven创建的&#xff0c;在Maven中提供有打包的指令&#xff0c;叫做packag…

虹科HiveMQ与MQTT:构建互联汽车的新架构

前言 随着汽车的互联程度越来越高&#xff0c;汽车制造商和互联汽车平台提供商通过使用物联网技术&#xff0c;提供新服务并从车辆收集有价值的遥测数据&#xff0c;以此来增加营收。从高效的车队管理和汽车共享到预测性维护和高级驾驶员辅助系统&#xff0c;未来移动出行的可…

Packet Tracer – 访问控制列表演示

Packet Tracer – 访问控制列表演示 拓扑图 目标 第 1 部分&#xff1a;验证本地连接和测试访问控制列表 第 2 部分&#xff1a;删除访问控制列表和重复测试 背景信息 在本练习中&#xff0c;您将观察如何使用访问控制列表 (ACL) 阻止 ping 访问远程网络上的主机。 从配置…

大数据Doris(二十七):Broker Load导入HDFS数据到Doris表

文章目录 Broker Load导入HDFS数据到Doris表 一、创建Doris表 二、准备HDFS数据 三、准备Broker Load语句

【Springcloud】Feign远程调用

文章目录 1、RestTemplate远程调用2、基于Feign远程调用3、Feign的自定义配置4、Feign性能优化5、Feign的最佳实践思路6、案例 1、RestTemplate远程调用 在说基于Feign远程调用之前&#xff0c;先看一下RestTemplate发起远程调用的问题&#xff1a; String url "http:…

船新SpringBoot 3.1正式发布,新特性真香

Spring Boot 3.1 正式发布 Spring Boot 3.0 发布半年左右&#xff0c;Spring Boot 3.1 正式发布了&#xff1a; 同时发布更新的还有 2.7.x 版本&#xff0c;同时&#xff0c;2.6.x 版本线已经停止维护了&#xff0c;最新支持版本如下图所示&#xff1a; 2.7.x 这也是目前唯一正…

Python条件判断

目录 1. 语法 2. 常见用法 2.1. 比较符判断 2.2. 逻辑符判断 2.3. 成员符判断 2.4. 三目运算 1. 语法 记住3个关键字&#xff1a;if&#xff08;表示如果&#xff09;、elif&#xff08;再如果&#xff09;、else&#xff08;否则&#xff09; if [条件1]&#xff1…

数据链路层概述

1.数据链路层概述 笔记来源&#xff1a; 湖科大教书匠&#xff1a;数据链路层概述 声明&#xff1a;该学习笔记来自湖科大教书匠&#xff0c;笔记仅做学习参考 1.1 数据链路层在网络体系结构中的地位 主机具有体系结构的各个层次&#xff0c;路由器只需具有体系就够的最下面三…

chatgpt赋能python:Python“+”-了解Python中最常用的运算符

Python “” - 了解Python中最常用的运算符 Python是一种高级编程语言&#xff0c;用于开发各种应用程序&#xff0c;从Web应用和桌面应用到数据分析和科学计算。Python是一种简单易学&#xff0c;可读性强的语言&#xff0c;拥有丰富的库和工具。 在Python中&#xff0c;“”…

桥接模式解密:跨越鸿沟,桥接抽象与实现

一、概要 桥接模式&#xff08;Bridge Pattern&#xff09;是一种结构型设计模式&#xff0c;它将抽象部分与实现部分分离&#xff0c;使它们都可以独⽴的变化。其核心思想就是解耦&#xff0c;在面向对象编程中&#xff0c;抽象和实现是通过继承关系来实现的&#xff0c;但这…

《C和指针》读书笔记(第八章 数组)

目录 0 内容简介1. 一维数组1.1 数组名1.2 下标引用1.3 指针与下标1.4 指针的效率1.5 数组和指针1.6 作为函数参数的数组名1.7 声明数组参数1.8 初始化1.9 不完整的初始化1.10 自动计算数组长度1.11 字符数组的初始化 2. 多维数组2.1 存储顺序2.2 数组名2.3 下标2.4 指向数组的…

爆火出圈的chatGPT,到底是什么东东?

爆火出圈的chatGPT&#xff0c;到底是什么东东&#xff1f; 前言 2022年 11 月 30 日&#xff0c;OpenAI 实验室创始人兼 CEO Sam Altman 宣布发布聊天机器人模型&#xff1a;ChatGPT。ChatGPT 可以模仿人类的说话风格回答问题。很快&#xff0c;ChatGPT 火爆社交圈&#xff…