零知识(ZK)证明正在为web3的最新创新提供动力。它们已经被用于Polygon的zkEVM[1]等产品中，为以太坊带来可验证的可扩展性，而PolygonID[2]则用于在不泄露任何个人信息的情况下验证您的身份。一句话：ZK证明可以让你在不泄露事物本身的情况下证明某件事。这有几个实际应用，例如在不提供完整许可证/护照信息的情况下验证您的年龄。但这实际上是如何运作的呢？幕后发生了什么让这一切成为可能？在这篇文章中，我将介绍您需要了解的有关ZK证明的所有内容，但忽略数学。我们开始做吧！ZK证明如何工作？为了在不泄露声明本身的情况下证明声明的有效性，涉及两方：1. 证明者：试图证明某事的人。2. 验
查看ZK输出日志和进程信息#日志输出文件/data/zookeeper.out 由于ZooKeeper集群启动的时候，每个结点都试图去连接集群中的其它结点，先启动的肯定连不上后面还没启动的，所以上面日志前面部分的异常是可以忽略的。通过后面部分可以看到，集群在选出一个Leader后，最后稳定了。其他结点可能也出现类似问题，属于正常。通过 JPS 查看进程ID去查看进程ID文件，再到FD目录就能查看到当前进程所使用的管道信息cd/proc/进程id1）启动ZK服务:shbin/zkServer.shstart2）查看ZK服务状态:shbin/zkServer.shstatus3）停止ZK服务
查看ZK输出日志和进程信息#日志输出文件/data/zookeeper.out 由于ZooKeeper集群启动的时候，每个结点都试图去连接集群中的其它结点，先启动的肯定连不上后面还没启动的，所以上面日志前面部分的异常是可以忽略的。通过后面部分可以看到，集群在选出一个Leader后，最后稳定了。其他结点可能也出现类似问题，属于正常。通过 JPS 查看进程ID去查看进程ID文件，再到FD目录就能查看到当前进程所使用的管道信息cd/proc/进程id1）启动ZK服务:shbin/zkServer.shstart2）查看ZK服务状态:shbin/zkServer.shstatus3）停止ZK服务
乐观汇总与零知识汇总以太坊的崛起为许多行业带来了良好的前景，同时也带来了重大挫折。以太坊为DeFi和NFT等许多新的创新趋势的发展提供了理想的基础。您会注意到以太坊和去中心化生态系统如何随着新的应用程序和创新而逐渐扩展。另一方面，网络活动的急剧增长也导致了关于确定最佳扩展解决方案的 optimisticrollups与ZKrollups的争论。
区块链技术正处突破应用的革命边缘。现在越来越多的项目熟悉了模块化和专业化的需求。层出不穷的各类Layer正在将关注点转移到数据的可用性上，目的是支持更高级别数量级的数据。 同时，计划通过Rollups（Optimistic、ZK或Sovereign）扩展计算能力的执行环境和计算层有责任匹配增加的数据能力，并提供足够强大的基础设施以开发实际的应用程序。 计算可扩展性方面带来最大收益的设置可以由以下方式给出：具有交互式争议解决方案的特定类应用程序的OptimisticRollups。同时，计算可扩展性可以使可编程性和提升改进工具的可能性增加很多。 Cartesi选择了
1.引言zk（zero-knowledge）proof：可保证计算的完整性、正确性和隐私性，在区块链扩容和隐私领域大有可为。zk-SNARK和zk-STARK各具优势，二者结合潜力无穷。zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。EVM兼容性包括EVM兼容性、等价性和规范级兼容性。zkEVM是一个EVM兼容且零知识证明友好的环境。它可以分为基于Native的解决方案和基于编译器的解决方案。NativezkEVM为以太坊和区块链的未来。支持Solidity语言的zkVM为Web3的未来。2.零知识证明一个易于理解的零知识证明定义：你在上小学。
该共识由PolygonHermez的DavidSchwartz和JordiBaylina发表在以太坊研究者论坛，具体整理如下。PoE是为zkEVM实现开发的一种新的共识机制。它利用了v1.0中现有的Proof-of-Donation的经验，旨在构建第一个去中心化zk-rollup并支持多个协调者的无许可参与，以便在L2中批量生产。目前在考虑针对v2.0(zkEVM)改进此协议。背景在zk-rollups中，完全的去中心化是困难的，迄今为止很难找到一个好的解决方案。是因为PoS等协议在扩容过程中存在问题。在L2上，需要生成具有高性能的zk有效性证明，是一项大量的密集的计算工作，因此，会产生一些有
1.引言ZK-Rollups是借助零知识证明技术来对以太坊进行扩容。对于公开账本来说，扩容是老生常谈的问题。随着过去一年来公开账本上活动的增加，该问题的紧迫性加强了，具体体现在交易费用上——以太坊上常规合约交互的交易费在$40左右。主要有2种方式来解决该问题：1）在基础层（即Layer1）扩容，借助分片和新型共识协议。2）在Layer2扩容2.Layer2（L2）除基础层扩容之外，layer2扩容技术仍有一席之地，原因有：隐私高性能、特定应用网络（可利用现有公共账本的安全性和流动性）当前，采用L2协议的主要原因是扩容性。L2协议可以高效方式对现有公共账本进行扩容，并为以太坊等智能合约平台提供近
ZK首次连接失败问题问题项目版本异常原因分析解决办法问题项目中配置zk后，启动时zk第一次链接总是失败，过一会后又会链接成功。异常如下：17:04:22.932[Curator-Framework-0]WARNo.a.c.r.ExponentialBackoffRetry-[getSleepTimeMs,74]-Sleepextensiontoolarge(1100).Pinningto50017:04:23.433[Curator-Framework-0]WARNo.a.c.r.ExponentialBackoffRetry-[getSleepTimeMs,74]-Sleepextensio
ZK首次连接失败问题问题项目版本异常原因分析解决办法问题项目中配置zk后，启动时zk第一次链接总是失败，过一会后又会链接成功。异常如下：17:04:22.932[Curator-Framework-0]WARNo.a.c.r.ExponentialBackoffRetry-[getSleepTimeMs,74]-Sleepextensiontoolarge(1100).Pinningto50017:04:23.433[Curator-Framework-0]WARNo.a.c.r.ExponentialBackoffRetry-[getSleepTimeMs,74]-Sleepextensio
