以太坊因为PoW链在性能上的限制，在很早期就开始研究扩容方案。在L2的众多案例里，基于“证明”技术的两类方案脱颖而出，其也被以太坊奉为主要的扩容方案。未来，即使PoS共识运行以及分片实现后，这些基于“证明”技术的扩容方案也会一直存在。
基于“证明”技术的解决方案，主要分为以欺诈证明、零知识证明的两个方向，产生了Optimism、Arbtrium、zksync等应用此技术的方案。
而在整个区块链领域里，以太坊的“证明”技术都与rollup技术进行了融合，形成了optimistic?rollup和zk?rollup以及，而像Mina这样完全应用零知识证明技术体系的区块链，其更重视零知识证明本身的应用。
金色午报 | 10月9日午间重要动态一览:7:00-12:00关键词：荷兰央行、YFI、迅雷前CEO陈磊、Curve
1.荷兰央行批准首个加密服务。
2.日本三井住友银行高管：区块链正在进行B2B转变。
3.yearn.finance核心开发者：创始人将不再发布推特。
4.Curve发起新提案：增加支持RSV激励型Metapool。
5.日本内阁官房长官：日本目前没有发行央行数字货币的具体计划。
6.工信部党组书记：区块链等新业态蓬勃兴起对国民经济增长贡献率不断提高。
7.迅雷前CEO陈磊涉嫌职务侵占被调查 案由包括挪用公司数千万资金用于非法炒币。
8.比特币持续上涨，日内最低报10846.71美元，最高报10948.88美元[2020/10/9]
为什么以太坊需要将证明和rollup同时实施，是因为以太坊本身存在L1，证明和rollup都是为扩容而用。在以太坊区块恒定的情况下，扩容思路主要为减小交易字节大小和完成交易证明的验证后打包。证明减小了交易字节大小，rollup则把交易数据打包到一起。以太坊上会有智能合约验证rollup数据集的证明有效性。
金色财经联合多家企业发起“企业战疫扶持计划”:新冠肺炎疫情牵动人心，区块链企业众志成城，防控疫情。在防控疫情的同时，金色财经已联合20家企业发起“企业战疫扶持计划”，为全国区块链创新企业快速复工与成长，以行业联合力量，帮助创新企业打赢“疫情攻坚战”。
同舟共济，共迎牛市。金色财经希望联合号召更多的发起企业参与到互帮互助的行列中，共同为区块链创新企业提供帮助，本次活动征集爱心企业截止到3月15日，报名企业需要满足有1.“战疫扶持礼包”企业产品优惠政策；2.与发起单位共同传播条件。详情见原文链接。[2020/3/3]
这种情况下，以太坊L1是不需要更多的改造和变化的。
笔者提取了如下的一些信息，来理解这一思路。
动态 | Bella Fang做客金色财经，分享WBF交易所“驰援武汉”的捐助历程:2月13日下午15:00，新加坡WBF交易所创始人Bella Fang做客金色财经，对“新冠”疫情期间，新加坡WBF交易所快速动员、全球部署、驰援疫区的具体举措进行了揭示，并就疫情之下，区块链企业应该如何应对等业界关注的焦点问题展开深度阐释。
1月22日，新加坡WBF交易所就已开始成立“守望武汉”项目小组，组织物资采购，安排驰援工作。截至目前，WBF已向武汉4家医疗机构捐赠900箱医用物资，向孝感市5家医院捐赠10吨医用物资，均已签收完毕。
Bella Fang表示，此次疫情，是对WBF组织能力的一次“阅兵”——组织全球力量开展“抗疫援助”行动；上线居家理财产品“瓦特宝”；启动“WBF Live”视频直播栏目......平台各项工作均在高效推进之中。[2020/2/13]
首先是使用zk?rollup的zkSync。
金色午报 | 12月28日午间重要动态一览:7:00-12:00关键词：最高法、四大行、肖风、安徽省立医院
1. 最高法：区块链适用于「微博短信」作为民事诉讼电子证据规则。
2. 四大行或将参与央行法定数字货币试点 具体形式尚未定。
3. 万向区块链肖风：区块链追求的是生态效应。
4. 国家税务总局原副局长：区块链智能合约可将税收法律代码化。
5. 安徽省立医院首推“电子健康卡+区块链”解决方案。
6. 欧洲刑警组织官员表示目前仍无法追踪或分析门罗币。
7. 比特币的豪威测试结果完善了美国SEC的ICO监管协议。
8. 涉嫌参与加密庞氏局BitClub的Jobadiah Weeks被实施审前拘留。[2019/12/28]
在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扩容，但如果用零知识证明技术全面改造区块链，似乎其应用的周期还需要更长远一些。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。