zkTree: a zk recursion tree with ZKP membership proofs

已于 2023-04-06 11:24:13 修改
阅读量590 收藏 1
点赞数
分类专栏： 零知识证明 文章标签： 零知识证明
于 2023-03-01 10:53:06 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/mutourend/article/details/129276526
版权
zkTree是PolymerLabs团队提出的一种结构，它结合了ZK证明的递归验证和成员资格证明。该技术使用Plonky2（PLONK+FRIGroth16）实现，允许在父节点的证明中验证子节点的ZK证明。文章探讨了将zkTree应用于Tendermint共识中的ed25519签名验证，并提供EVM上的链上验证proof。
摘要由CSDN通过智能技术生成

1. 引言

Polymer Labs团队Sai Deng 和 Bo Du 2023年2月论文《zkTree: a zk recursion tree with ZKP membership proofs》。

zkTree：在父节点的ZK证明中可递归验证子节点的ZK证明，同时可为用户所的ZK证明 提供membership proof。

zkTree的实现为：

  • Plonky2：PLONK+FRI
  • Groth16：链上验证的递归root proof

本文将zkTree用于验证Tendermint共识中默认的ed25519签名机制，并在EVM中提供一个proof来进行链上验证。

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

参考资料

[1] Polymer Labs 2023年4月博客 Introducing zkTree: a zk recursion tree with ZKP membership proofs

mutourend
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
tokenizer出现RecursionError: maximum recursion depth exceeded while getting the str of an object的解决方案
weixin_43178406的博客
12-26 4万+
本文主要介绍了tokenizer出现RecursionError: maximum recursion depth exceeded while getting the str of an object的解决方案，希望能对同学们有所帮助。 文章目录 1. 问题描述 2. 解决方案
zk目录树设计
01-28
zk框架，实现手动添加树的节点，在开发的过程中可以方便开发人员的使用
【zk demos】利用zk tree浏览目录
iteye_2678的博客
12-16 210
1,页面   <?xml version="1.0" encoding="utf-8"?> <?page id="indexPage" title="" id="indexPage" cacheable="false" language="xul/html" zscriptLanguage="Java"
zk tree 浏览磁盘或者目录
记录工作点滴
02-24 166
index.zul <?xml version="1.0" encoding="utf-8"?> <window apply="test.IndexController"> <!--  liulan <textbox id="txtRoot"></textbox> --> <b
ZK tree使用mold
weixin_30240349的博客
06-19 113
前台Tree.zul <?page title="Tree使用" contentType="text/html;charset=UTF-8"?> <zk xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.zkoss.org/2005/zul" ...
分享zk Tree递归实现（只有分享，才能更有人气）
zhlun8888的博客
07-31 195
ZK 中的Tree可以实现递归调用,该方法可以实现无限级次的分类,如ERP中的物料分类,人力资源中的组织架构分级等. 1、数据库设计中一般如下：ID，NAME，parentid,level,其中parentid就是指上级的ID（parent--id)引用。 2、下面list就是第一层应查询出来的数据库列表，也是树的第一层数据。接下来就是创建列表的表头数据。  public Tree crea...
vue 3 的项目中报错：Uncaught InternalError: too much recursion
qq_51110402的博客
07-05 1424
错误原因：app.use(axios)
WebGL的坑1：InternalError: too much recursion
weixin_42141703的博客
05-20 2529
WebGL的坑1：InternalError: too much recursion 发布的时候调大内存，256、512、1024、2048都试一试。发布出来能运行之后再考虑优化内存。（不要在Build里的json文件上改，不要在Build里的json文件上改，不要在Build里的json文件上改） ...
recursion-tree-visualizer::deciduous_tree:输入任何递归函数的javascript代码并可视化您的递归树
03-20
递归树可视化器 :1st_place_medal: 优胜项目 :1st_place_medal: 概述 停止手动绘制递归树。观看或查看。 文件夹结构 packages/web ：React用户界面。 packages/lambda ：无服务器lambda函数，用于远程执行用户定义...
解决返回JSON报错：HttpMessageNotWritableException: Could not write JSON: Infinite recursion (StackOverflowE
12-21
然而，当出现"HttpMessageNotWritableException: Could not write JSON: Infinite recursion (StackOverflowError)"这样的错误时，意味着在序列化过程中遇到了无限递归的问题。这个问题通常是由于对象之间的引用循环...
算法总结七：Tree和recursion的相互成全
weixin_43879909的博客
02-16 1048
一。Tree的特点： 每个节点都只有有限个子节点或无子节点； 没有父节点的节点称为根节点； 每一个非根节点有且只有一个父节点； 每个节点可以分出多个不相交的子树； 树里面没有环路(cycle) 二。为什么需要树？ 因为它结合了另外两种数据结构的优点： 一种是有序数组，另一种是链表。在树中查找数据项的速度和在有序数组中查找一样快， 并且插入数据项和删除数据项的速度也和链表一样。 from zhihu 三。Tree的种类： Ordered Tree vs Unordered Tree 兄弟节点有顺序的树
CS 61A 2020 Fall Lab 4: Recursion, Tree Recursion, Python Lists
Denny5608的博客
10-03 1511
Q1: List Indexing For each of the following lists, what is the list indexing expression that evaluates to7? For example, ifx = [7], then the answer would bex[0]. You can use the interpreter or Python Tutor to experiment with your answers. If the code ...
ZK开发关键知识点
热门推荐
Vincent Lee的专栏
09-12 1万+
本文是对ZK开发过程中必须掌握的关键知识点的总结，针对目前对新版本zk-6.5.2 关于ZK是什么参见前一篇博客 《ZK（The leading enterprise Ajax framework）入门指南》 http://blog.csdn.net/daquan198163/article/details/9304897
零知识证明-ZK-SNARKs基础(七)
yunteng521的博客
09-05 756
零知识证明-ZK-SNARKs 基础 通过DEMO详细讲述 ZK-SNARKs(的过程 ，包含 生成算术电路，RICS，QAP 等
零知识证明在BSV网络上的应用
BSV区块链的博客
09-05 1127
这种对智能合约的支持不仅提高了比特币网络的可扩展性，允许它处理更多的交易和复杂的操作，而且还解决了在公共区块链上进行交易时的隐私问题。
在C++项目中集成代码文档工具：提升开发效率与代码质
09-08
在现代软件开发过程中，代码文档是不可或缺的一部分。它不仅帮助开发者理解代码逻辑和结构，还有助于维护和后续开发。C/C++作为广泛使用的编程语言，拥有多种工具可以帮助开发者自动生成代码文档。本文将详细介绍如何在C/C++项目中集成代码文档工具，包括工具的选择、配置以及如何通过少量代码实现自动化文档生成。 集成代码文档生成工具到C/C++项目中，可以显著提高开发效率和代码质量。通过自动化的文档生成，开发者可以专注于代码本身，而不是繁琐的文档编写工作。Doxygen和Sphinx是两个非常强大的工具，可以根据项目需求和团队偏好进行选择。通过遵循上述步骤，你可以轻松地将这些工具集成到你的C/C++项目中，从而实现高效的文档管理和维护。
新疆大学在广东2021-2024各专业最低录取分数及位次表.pdf
最新发布
09-08
全国各大学在广东省2021~2024年各专业最低录取分数及位次
COMSOL 三维离散裂隙注浆模型 基于粘度空间衰减的宾汉姆流体注浆 裂隙采用随机分布的圆盘模型，恒压注浆
09-08
COMSOL 三维离散裂隙注浆模型。 基于粘度空间衰减的宾汉姆流体注浆。 裂隙采用随机分布的圆盘模型，恒压注浆。
Uncaught InternalError: too much recursion有什么影响
06-09
Uncaught InternalError: too much recursion 错误会导致 JavaScript 引擎崩溃，从而导致页面无法正常运行。这个错误通常是由于递归调用次数过多导致的，因此会影响页面中使用递归算法的功能。 具体影响取决于出现...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值