关键词：
以太坊因为PoW链在性能上的限制，在很早期就开始研究扩容方案。在L2的众多案例里，基于“证明”技术的两类方案脱颖而出，其也被以太坊奉为主要的扩容方案。未来，即使PoS共识运行以及分片实现后，这些基于“证明”技术的扩容方案也会一直存在。
基于“证明”技术的解决方案，主要分为以欺诈证明、零知识证明的两个方向，产生了Optimism、Arbtrium、zksync等应用此技术的方案。
而在整个区块链领域里，以太坊的“证明”技术都与rollup技术进行了融合，形成了optimistic rollup和zk rollup以及，而像Mina这样完全应用零知识证明技术体系的区块链，其更重视零知识证明本身的应用。
为什么以太坊需要将证明和rollup同时实施，是因为以太坊本身存在L1，证明和rollup都是为扩容而用。在以太坊区块恒定的情况下，扩容思路主要为减小交易字节大小和完成交易证明的验证后打包。证明减小了交易字节大小，rollup则把交易数据打包到一起。以太坊上会有智能合约验证rollup数据集的证明有效性。
这种情况下，以太坊L1是不需要更多的改造和变化的。
笔者提取了如下的一些信息，来理解这一思路。
首先是使用zk rollup的zkSync。
在zkSync 使用高峰期，其提现时间约为10分钟。在较低使用期间，可能需要长达 7 小时。目前，提款时间取决于 zkSync 上的活动，因为这是一个完成区块并将它们提交到 L1 的过程，将块提交到L1，是交易被确认后。
zkSync网络的计算服务提供商是“Stichting ZK Sync”，在zkSync中，每笔交易的成本有两个组成部分：
链下部分（存储 + 证明者成本）：状态存储和 SNARK（零知识证明）生成的成本。这部分依赖于硬件资源的使用，因此是不变的。基准估计每次转账约为 0.001 美元。
链上部分（gas 成本）：对于每个zkSync区块，验证者必须支付以太坊 gas 来验证 SNARK，另外每笔交易额外支付约 0.4k gas 来发布状态。链上部分是一个变量，取决于以太坊网络中当前的 gas 价格。但是，这部分比普通 ETH/ERC20 转账的成本要便宜几个数量级。
一旦zkSync块的 SNARK 证明生成并被智能合约接受， zkSync 中的交易就达到了以太坊的最终确定性。证明时间生成预计为 10 分钟左右，即提交后 10 分钟，zkSync（证明）交易与包含在同一个以太坊区块中的任何 L1 以太坊交易与有证明的交易一样是最终的。
当用户发送交易时，需要等待块被填充，不会立即生成证明。随着 zkSync 系统的更高吞吐量，块之间的时间将会减少。
而相比之下，基于欺诈证明的扩展解决方案（例如乐观汇总）需要至少 1周的锁定期才能或多或少地安全运行，这会导致1周的最终确定时间。
这个过程表现了证明和汇总的关系。也表现了当使用证明后，也带来了一些其他问题，比如乐观汇总中的锁定期和挑战期。当用户像optimism的主网转移资产的时候，资产可以很快生成，而当从optimism像以太坊L1转移资产（就像rollup数据像L1提交一样）时，因为欺诈证明的原则要等待数据在一定时间内没有验证者认为证明数据有问题的过程，因此会出现锁定期和挑战期。就带来了提现到账的等待问题（也就是块确认问题）。
而证明同时带来的其他问题还会集中在证明数据在L1层的可用性。例如代表的就是EVM的兼容性，智能合约的普遍适用。
所以Vitalik才会认为乐观汇总会比zk rollup在EVM上的进展更快更具优势，其原因是在于欺诈证明本身和零知识证明间的区别。
所以应用零知识证明技术，在技术上完成突破似乎要改变更多的系统设计，例如Mina。
其在共识层、节点层、验证者层都与以太坊有明显不同。其最主要的特点是把整个区块链的存储大小保持在22字节，这是零知识证明的作用，将原本几百GB的数据以证明替代。其原理在于，不保存数据，而只保存数据变动的“快照”证明，然后基于数学逻辑推理出数据的有效性。其比较明显的解释是，只给大象拍照，而不保存大象本身。无论区块链如何增加交易状态，都是一张照片的大小。
但Mina还是存在存储数据的归档节点以及承担证明计算的节点，并且因为区块链过轻，当运行一些计算的时候，会使用很多链下的计算和存储。这也是为了使用零知识证明技术的优势而带来的一定选择。
这可能也意味着Mina这样的区块链，其应用方向很大程度会局限在一个简单的电子支付系统或代币交易系统。
综上，当区块链使用了证明之后，我们主要看到的是证明在帮助L1扩容，但如果用零知识证明技术全面改造区块链，似乎其应用的周期还需要更长远一些。
区块链入门到实战之区块链–工作量证明(代码片段)
目的：解决艰难的任务，获取记账能力。区块链中，每个人手上都有账本，每个人都可以记账，但怎么能让这些账本的内容保持一致，让大家都认这个账，就需要共识机制。人类社会中，通常的共识机制是，如果某个人能完成某... 查看详情
使用javascript实现简单的区块链（签名+工作量证明机制）(代码片段)
//区块链blockchain//data之前区块的哈希值当前区块的哈希值：是由存储在区块里的信息算出来的（data+之前区块的哈希值）constsha256=require('./crypto-js/sha256')//区块classBlockconstructor(data)this.data=datathi 查看详情
区块链的共识机制是什么？
当我们讨论区块链的时候，经常会谈到共识机制。那么什么是共识机制？区块链为什么需要共识机制？区块链的共识机制有哪些？了解到这些不同共识机制的原理，才能进一步理解区块链的安全特性和不可篡... 查看详情
fiscobcos区块链零知识证明可监管
...f0c;通过某种方式，让验证着相信其拥有此秘密信息。区块链上的零知识证明，是用户对自身需要保密但却需要被验证的数据进行转化，转化成proof提供给区块链节点。区块链节点在不知晓用户秘密数据的情况下，... 查看详情
区块链之工作量证明
区块链之工作量证明在整个区块链中的作用新的区块依赖工作量证明算法（PoW）|ProofOfWork来构造理解PoW的目标是找出一个符合特定条件的数字，这个数字很难计算出来，但容易验证。这就是工作量证明的核心思想。示例代码fromha... 查看详情
基于java语言构建区块链——工作量证明
引言在上一篇文章中，我们实现了区块链最基本的数据结构模型，添加区块以及和前一个区块连接在一起。但是，我们的实现方式非常简单，而真实的比特币区块链中，每一个区块的添加都是需要经过大量的计算才可以完成，这... 查看详情
区块链跨境支付系统开发_区块链跨境支付管理系统
区块链跨境支付系统开发_区块链跨境支付管理系统区块链在本质上，信任更容易通过可证明的、可靠的、永久的事实记录获得。也就是说，任何其他已经获得信任的集中式的机构或平台，只要他们的数据不受攻击，就可以实现... 查看详情
区块链主流共识算法
...迅速，概括起来就是求解难，验证容易。比特币是第一个区块链应用，同时也是最著名的应用之一，它所使用的共识机制就是 查看详情
区块链主流共识算法
...迅速，概括起来就是求解难，验证容易。比特币是第一个区块链应用，同时也是最著名的应用之一，它所使用的共识机制就是P 查看详情
区块链工作量证明及哈希算法
什么是工作量证明：1、工作的结果作为数据加入区块链成为一个区块2、完成这个工作的人会获得奖励（这也就是通过挖矿获得比特币）3、整个“努力工作并进行证明”的机制，就叫工作量证明为什么采用哈希算法：1、不... 查看详情
初识区块链
工作量证明（proofofwork） 区块链的一个关键是，为了保证安全稳定，要给它加一个门槛：即参与者想创建区块并加入区块链，必须证明自己完成了非常困难的工作，这就是"工作量证明"，简称POW。可以理解为POW用于保持区块... 查看详情
区块链技术——工作量证明(代码片段)
...明**挖矿（计算or工作）**的结果会作为数据加入区块链成为一个区块，完成这个**工作**的人也会获得奖励（即挖矿获得比特币）。所以**挖矿**的过程是一种多劳多得的按劳分配模式，算力高， 查看详情
区块链，工作证明（pow）代码+原理golang版剖析
...库的本质。而且我们可以用它们之间的链式关系向它添加区块：每个区块与前一个链接。唉，然而在现实中添加一个区块添加到链是艰巨的工作。工作证明块链的一个关键思想是，必须通过工作证明才能将数据放入其中。这是一... 查看详情
币币交易所搭建-区块链技术信用认证机构证明
...币交易所搭建（开发微信ruiec2723）-币币兑换系统开发以区块链底层技术为基准。其前景是，征信将成为一个类似在搜索引擎商检索信息的无摩擦过程。可以想象，新的信用机制是以区块链技术为基础的，某人做过某事后加盖一... 查看详情
mexcglobal科普：什么是区块链零知识证明？
零知识证明零知识证明，简称ZKPs，我们都知道区块链本身的一个关键优势就是透明性，但在很多情况下，智能合约应用需要出于各种商业或法律原因保护数据隐私，比如导入真实有效的数据触发智能合约执行&... 查看详情
区块链交易隐私如何保证？华为零知识证明技术实战解析
...现有联盟链体系保护交易隐私。本文分享自华为云社区《区块链交易隐私如何保证？华为零知识证明技术实战解析》，作者：麦冬爸。什么是零知识证明？证明者在不泄露任何有效知识 查看详情
毕设教程python区块链实现-proofofwork工作量证明共识算法(代码片段)
文章目录0前言1区块链基础1.1比特币内部结构1.2实现的区块链数据结构1.3注意点1.4区块链的核心-工作量证明算法1.4.1拜占庭将军问题1.4.2解决办法1.4.3代码实现2快速实现一个区块链2.1什么是区块链2.2一个完整的快包含什么2.3什么... 查看详情
投票证明：基于投票机制和联盟封锁链的高性能一致性协议
...入了一种革命性的去中心化共识机制。然而，应用于公共区块链的比特币衍生共识机制不适合新兴联盟区块链的部署场景。我们提出了一种新的共识算法，即投票证明（POV）。协商一致由联合体合作伙伴控制的分布式节点协调，... 查看详情