2. 将他们的社区积分移动到一个 zkRollup 分片上的账户，以得到最大的安详性；
在以太坊 1.0 上，zkRollup 最多可处理惩罚 3000 TPS，守旧地说，在回收分片方案的以太坊 2.0 上（取决于 ETH2.0 实现细节），吞吐量可以实现 20000 TPS。这已经是一个庞大的成绩，它可以和 Visa 2.4 万的 TPS 相媲美，但由于我们盼愿采取本日不被银行基本设施所支持的数十亿人，因此我们需要争取到更多的 TPS。
协议选择的数据可用性计策的效率，将影响吞吐量和生意业务本钱值。
zkPorter 简介
2. 跟着零常识证明的潜力全部揭示出来，越来越多的人会认识到零常识证明（ZKP）是真正大局限回收的要害。
实现这一愿景的下一步是：
研究案例 2:智能钱包/加密钱币银行（Argent、Dharma、MyKey 等）
zkPorter 是一种基于帐户的、无需信任的扩容办理方案，它由简捷的零常识证明举办掩护。与零常识证明家属中的其他扩容技能（如 zkRollup 和 Validium）雷同，zkPorter 中的计较是指数级扩容的：任意大都量的生意业务可以大抵恒定的本钱举办验证。每笔生意业务都将通过 L1 上的智能合约举办验证，因此 zkPorter 中帐户状态的正确性具有与 L1 沟通的安详担保。
隐私思量
案例研究 3: DeFi 协议和 DEX（Loopring, IDEX, Curve, Compound 等）
zkPorter 的可组合性：区块链的互联网
在底层，zkPorter 雷同于 zkRollup 和 Validium。L1 上的合约包括一些资金和账户状态的 Merkle 根记录。实际的状态数据由 zkPorter 验证者和每个分片的数据保管器举办链外维护：我们将其称为状态树。
步调 3:钱包 DAO 分片
案例研究 4: 微生意业务（Brave、Livepeer、Storj 等）
zkPorter 将作为 zkSync 蹊径图的一部门慢慢实现。
2. 此分片数据可用性计策的智能合约，必需被挪用以强制执行其他要求（譬喻，验证大大都分片共鸣参加者的签名）；
zkPorter 将状态有效性和数据可用性分分开来。状态有效性（即从一个状态到下一个状态的转换始终有效）是通过零常识证明统一实施的，这种证明在担任底层 L1 的安详担保的同时，还提供了指数级的可扩展性。另一方面，数据可用性被委托给单独的分片，它们可以自由地试验差异的办理方案。
同步跨分片（或跨区块链）互操纵性被认为是极其坚苦的。这就是为什么大大都现有的分片办理方案（Cosmos、Polkadot、以太坊 2.0）选择通过生意业务吸收，实现更简朴的异步互操纵性。从同步互操纵性到异步互操纵性的过渡，将在协议互操纵性和用户体验方面发生重大坚苦，出格是对付那些对时间敏感的用户来说（好比 Aave 的 15 秒闪电贷）。
3. 快速将他们的代币提到以太坊主网，与非 zkSync 智能合约举办交互；
选项 3：利用特定于 Reddit 的数据可用性计策，转移到一个特定的 Reddit 分片中
互操纵性
与微生意业务平台的集成，可以包罗一个选项，让用户可按期或在余额高出必然数量后自动将余额转移到 zkRollup 分片上。
案例研究
2. 实施一个多验证者共鸣机制；
案例研究 1：Reddit 社区积分 2020 年 6 月，Reddit 启动了一次 Reddit 扩容比赛勾当，这也为 L2 技能方案供给商提供了展示的时机。简而言之，Reddit 社区积分系统需要同时办理安详、去中心化、易于利用，同时保持与其它第三方应用（钱包、合约）互操纵性的问题，其时，它还要可以或许处理惩罚大量的生意业务。
另一方面，基于零常识证明的扩容办理方案不能直接办理数据可用性问题：假如状态数据变得不行用，资金就会被冻结。关于这一点，zkRollup 和 Validium 是以差异的方法来处理惩罚数据可用性问题的。
在上述任何一种环境下，Reddit 社区积分持有者将可以或许：
任安在至少两个差异分片中修改帐户的生意业务，都必需在 zkRollup 模式下执行。
而 zkPorter 通过团结 zkRollup 和分片思想的殽杂要领来处理惩罚数据可用性。它可以支持任意多个分片，个中每个分片都有本身的数据可用性计策，由分片的智能合约界说。各分片的选择在小我私家帐户级举办节制。
1. 独立的可扩展性办理方案，由于缺乏可组合性及网络效应而受到影响；
zkPorter 的设计思量到了扩展性问题。zkPorter 协议将数据可用性和正确性的证明，淘汰到每个分片上的少量开销。转移新分片的边际本钱，与在基本 zkRollup 中包括嵌套数据的本钱成对数干系。这将使 zkPorter 可以或许有效地扩展以支持数亿个帐户。
在 zkPorter 中，每个分片的帐户必需存储在状态树的一个单独子树中。另外，每个分片子树必需包括有关其范例的信息，以及对界说其数据可用性计策的智能合约帐户的引用。
zkPorter 的分片 0 是一个简朴的 zkRollup，其具有底层以太坊 L1 的完整数据可用性及安详担保。而整个分片 0 将是 zkPorter 内部最昂贵的分片，其生意业务本钱约莫是主网本钱的 1/100。
架构
选项 2：转移到 Reddit 特定的分片中，并由 zkPorter 守护者验证
所有其他只在特定分片账户上操纵的生意业务，都可以在普通分片模式下执行（我们称之为分片生意业务）。假如一个区块包括分片 S 的一些分片生意业务，那么就必需遵守以下法则：
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
