ZK Rollup扩容方案StarkNet Alpha上线以太坊主网，该解决方案有助于缓解以太坊当前高昂的手续费使用环境。
目前已经有好几个扩展解决方案被实际采用，但ZK-Rollup（Zero-Knowledge Rollup）技术始终被视为是扩容解决方案的最佳解答，原因究竟为何呢？
高昂的gasfees已经成为以太坊的主要问题，由于交易费用是以ETH支付，当资产价格上涨时，使用网络的成本也随之上升，ETH今年上涨了460%，这意味著以美元计算的交易成本也增加了460%。
另外，交易费用也取决于网络拥堵程度，由于目前的链上应用项目对以太坊区块空间有著极大的需求，但是区块空间是有限的，导致其网络很容易变得拥挤，使交易确认速度变慢及gasfee变高。
使用网络的高成本成为用户参与DeFi（去中心化金融）和NFT的阻碍，甚至失去参与DAO的机会，许多加密货币爱好者已经迁移到其他第一层区块链上，如Solana（SOL）和Avalanche（AVAX）。
以太坊交易gas价格中位数（來源：Glassnode）
在过去的几年里，几个扩展解决方案已经被开发出来，以帮助缓解以太坊的网络拥堵及交易成本问题。
Meta正测试如何在Facebook和Instagram之间进行切换:9月27日消息，Meta Platform正测试如何轻松地在旗下Facebook和Instagram两款软件之间进行切换。（财联社）[2022/9/27 22:31:29]
Polygon在2019年推出，可以说是第一个获得巨大吸引力的以太坊扩容解决方案，该网络使用一个名为Plasma的扩容方案。
它将交易从主要的以太坊区块链转移到一个专用的侧链，许多以太坊原生的DeFi应用已经在Polygon上推出，如Curve（CRV）和Aave（AAVE）。
虽然Polygon网络透过低交易成本成功吸引用户使用，但它常被质疑安全性和中心化问题，而被认为不是一个真正的扩展解决方案。
该网络使用其自身的节点验证者管理PoS共识机制，这意味著它不使用以太坊主网来验证交易。
根据截稿前的Polygonscan的数据，只有100个验证者管理Polygon网络，最大的验证节点地址占其整体网络验证区块的27%以上。
Polygon网络前25大区块验证占比（來源：Polygonscan）
Web3Auth启动Sign-in With StarkWare，允许用户用其StarkWare账户登陆Web2应用:5月24日消息，钱包身份验证基础设施Web3Auth宣布正式启动Sign-in With StarkWare，旨在为Web2带来链上身份验证的无需信任的安全性。通过该功能，Web2应用现在可以实现用户使用StarkWare身份作为身份验证机制进行登录。[2022/5/24 3:38:25]
近期Rollup扩展解决方案在以太坊社群引起了一阵热议，Rollup方案顾名思义就是一种将计算数据“打包”并将有效性证明（Validity Proof）送回以太坊主网的方式。
这种做法可节省区块空间，进一步减少提交给主网的数据量，由于交易被捆绑在一起，Gasfee就能让许多用户分摊。
Rollup为用户提供了近乎即时的交易速度，可以将费用减少50到200倍，同时保持以太坊主网的安全性和去中心化。
目前Rollup方案的两种类型分别为：
Optimistic ?Rollup和Zero-Knowledge Rollup（ZK-Rollup）。
什麽是Optimistic Rollup？
Gate.io Startup首发项目STND已认购成功:据官方公告，Gate.io Startup首发项目Standard (STND)认购成功，并已于4月29日22:00上线STND交易并随后开通提现服务。据悉，本次认购参与人数共有14,271人，下单总价值超过1,000万美金，认购系数约为0.00068 。Gate.io将根据每个人的下单情况和每个下单币种的认购系数进行STND的分发。请务必注意：由于部分用户在下单认购后到当天22点之前，没有保持账户中有不低于认购金额的足够金额，因此被排除在有效下单之外。[2021/4/30 21:12:55]
Optimistic Rollup方案假设发回主链的交易是合法的，只有当验证人能够透过提交诈欺证明（Fraud Proof）来证明交易是性的，交易才会被拒绝。
换句话说，Optimistic Rollups采取“在证明有罪之前是无罪的”的方法来验证交易。
目前Optimistic Rollup已经能看到实际采用情形，部分原因是开发者在该网络上开发应用程式较容易。
Optimistic Rollup可以直接支援完整的智能合约功能，开发人员可以使用以太坊的程式语言Solidity编写应用程式。
根据L2beat的数据显示，目前最大的Optimistic Rollup网络Arbitrum已经在DeFi应用当中吸引了超过25亿美元的总锁仓价值（TVL），它承载了以太坊上许多受欢迎的DeFi应用。
Gate.io 将于4月27日开启Startup项目TCP:据官方公告，Gate.io将于4月27日（明日）12:00至4月28日10:00开启Startup首发DAO SHO 项目 Crypto Prophecies (TCP)认购通道，22小时内有效下单同等对待。
用户需要达到VIP1和以上级别才能参与认购，VIP等级越高的用户认购额度越高。用户下单后到结束认购后2小时内，请务必保证现货交易账户中有不低于认购金额的足够金额，金额不足将自动排除在有效订单之外。请务必注意：用户上线前会获得代币，上线时间待定。[2021/4/26 20:59:00]
然而，由于Optimistic Rollup验证交易的方法，它们面临一些挑战，传送回以太坊主网的资金要经历长达一周的挑战期（Dispute Time Delay），这给用户带来了不便，并破坏了可组合性。
虽然Optimistic Rollups已经改进了基于Plasma的解决方案。
如Polygon，但他们通常被认为是不如ZK-Rollups的，Optimistic Rollups提供高达77倍的可扩展性提升，而ZK-Rollups提供了高达500倍的提升，并且无挑战期。
什么是ZK-Rollup？
以太坊侧链扩容方案Matic Network已上线Staking首个版本:6月28日，以太坊侧链扩容方案Matic Network宣布，其质押解决方案的首个版本已上线。据了解，该解决方案将分阶段启动，直接质押最初将仅限于其背后的非营利组织Matic Foundation，该组织将代表用户质押代币。为了鼓励用户参与，Matic声称早期的参与者可以获得高达120%的年收益。而该团队的目标是在新质押计划中锁定其80％的代币。（Coindesk）[2020/6/29]
ZK-Rollup方案在交易打包至主网时产生加密证明以证明交易是合法的，只有在加密证明被验证后，交易才会在以太坊上被接受，与Optimistic Rollup不同，ZK-Rollup采取了“在证明无罪之前有罪的”的验证方式。
然而，ZK-Rollup还没有达到与Optimistic Rollup同类产品相同的兼容性水平，因为ZK-Rollup在每笔交易中要伴随著有效性证明。
所以它们在技术发展上更难，目前ZK-Rollup的开发上已经能执行一些简单的任务，例如直接转帐和交易，虽然整合智能合约功能是有可能的，但比Optimistic Rollup更加困难。
就在今年，以太坊联合创始人Vitalik Buterin预测，开发完全可组合的ZK-Rollup将需要几年时间。
然而，开发人员已经提前完成了计划，几个ZK-Rollups项目正在准备部署解决方案，这些解决方案是兼具可组合性和互操作性，甚至能让多个Rollups互通。
ZK-Rollups的发展将允许以太坊主网和多个第2层网络之间共享通讯框架，网络可以共享流动性并克服第1层区块链面临的最大的采用挑战。
基于ZK-Rollup的网络将不需要为了让去中心化交易所上拥有高效率交易而争夺流动性，而是能够以合作的方式扩展以太坊。
ZK-Rollup还具有另一个独特的功能，越多人交易会使交易费用变得更便宜，发送一个批次的费用不会有太大的变化。
随著更多的交易被打包在一个批次中，交易成本可以在更多的用户中分摊，ZK-Rollups可以打包几乎无限量的交易。
因此当有足够的用户时，交易的gasfee可以减少到只要几分钱，这个功能被称为“有效性证明摊销（Validity Proof Amortization）”。
虽然以太坊仍然面临著可扩展性问题，但一些开发者已经在部署第二层ZK-Rollup网络，承诺在智能合约、其他第二层解决方案和以太坊虚拟机之间实现完全可组合性和兼容性。
ZK-Rollup的类型
目前有两种不同类型的ZK-Rollup被用于以太坊的扩展解决方案中，第一种是最被广泛使用的类型ZK-SNARKs，全名为简洁的非交互式知识论证（Succinctnon-interactive arguments of knowledge），也是第一个被发现的零知识证明类型。
专注于隐私保护的区块链项目Zcash（ZEC）早在2016年就采用ZK-SNARKs，该技术构成了ZK-Rollup大部分开发者的资料库和代码，并被认为是以太坊扩展项目的一个强有力的选择。
但SNARKs有一个缺陷，它们需要一个初始创建事件的密钥，这些密钥用于创建交易所需的证明，如果可信设置事件中的密钥没有被销毁，它们可以被用来凭空创造新的代币或伪造交易。
目前备受瞩目的SNARK扩展解决方案是Matter Lab的zkSync，该项目于2020年6月启动。
在其目前的迭代中宣称每秒可处理2000笔交易，并希望在未来实现更高的吞吐量，该平台开始致力于在兼容EVM的环境中部署智能合约，推出了zkEVM测试网。
zkSync目前著重于让Ethereum主网的过渡尽可能容易，那些想在zkEVM上开发的人可以使用以太坊语言Solidity编写智能合约。
Matter Labs最近在a16z领投的B轮融资中筹集了5000万美元，以帮助zkSync的发展，此外，该公司已与几个以太坊DeFi应用合作，如Curve、Aave和1inch。
另一种ZK-Rollup方案为STARKs，全名为可扩展的透明知识论证（Scalable transparent arguments of knowledge），STARKs比SNARKs更有优势。
因为STARKs完全依赖哈希函数，不需要可信的设置，这意味着STARKs在理论上比SNARKs更安全。
StarkWare是第一家使用STARKs来扩展以太坊的公司，是目前开发基于STARK技术的主要推动者。
该公司的两位联合创始人EliBen-Sasson和Michael Riabzev共同发明了这项技术。
StarkWare为基于STARK的ZK-Rollups创造了一种图灵完备的编程语言，称为Cairo，“StarkEx协议”是以Cairo语言创造的第一个产品。
StarkEx是一种针对特定应用的扩展解决方案，目前正被几个以太坊项目使用，包括dYdX、ImmutableX、Sorare和DeversiFi。
StarkWare即将发布的StarkNet是一个无权限的ZK-Rollup网络，可以让开发者直接在第二层建构并启动应用程式。
StarkNet的目标是成为一个真正去中心化的多应用扩展解决方案。
StarkNet发展示意圖（来源：StarkWare）
ZK-Rollup即将改变加密货币社群使用以太坊的方式，随著zkSync和StarkNet等高速、低成本网络的实现。
更多以太坊主网上的交易将被外包至第二层，这应该会让以太坊更接近其成为一个可扩展、安全和去中心化的区块链网络的愿景。
投资有风险，本文观点和意见仅代表作者本人，并不构成任何建议
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。