zkSync: 零信任支付协议

zkSync是一款以太坊扩容方案，采用zkRollup技术，让用户享受高速低成本的支付服务。同时，它利用零知识证明和链上数据可用性来保护用户资金安全，确保用户如同留在主网上一般。

除了安全保障，zkSync同样重视用户体验和开发者友好性。我们持续寻找方法简化流程，去除冗余，以便让更多用户和开发者在以太坊平台上更好地运用zkSync。

以太坊每月Gas费高达4000万美元，这对于许多用户来说是一项不小的负担。然而，借助zkSync，这种费用将大大降低。

像Argent和符咒等用户体验优先的钱包正努力推广银行替代方案。有了zkSync，这类项目的使命变得更加可行。此外，zkSync也为DeFi项目提供了扩大规模的可能性。

zkSync不仅具备高安全性，而且无需信赖第三方。以下是它的亮点功能：

1. 实时交易确认和10分钟内最终确定*
2. 极低的交易手续费（ERC20代币主网费用的约1/100，ETH转账费用的约1/30）
3. 不需注册就能收款
4. 向以太坊地址（包括智能合约）支付款项
5. 使用转移的代币支付手续费
6. 10分钟内提取至主网*

*当前，填写区块可能需要较长的时间。一旦区块被"密封"，证明者将在10分钟内将其发送至L1.

相较于现有的L2扩容解决方案，zkSync凭借先进的密码技术和链上数据可用性脱颖而出。这使得zkRollup成为唯一无需任何操作活动就能确保资金安全的L2扩容方案。无论用户离线多久，都能在没有任何外部协助的情况下安全提取资产。目前，我们建议用户关注链的升级，并在有异议时退出。将来，升级将需要严格的主动选择。

正如 Vitalik Buterin 在2021年的汇总指南中所述：“总的来说，我个人认为，在短期内，乐观汇总可能在通用EVM计算方面占优势，而ZK汇总可能在简单的支付、交换和其他特定应用场景中占优。然而，随着ZK-SNARK技术的进步，中期和长期来看，ZK rollups将在各种应用场景中取得胜利。”

zkSync基于zkRollup架构，这是一种L2协议。zkRollup属于更大的"rollup"家族的一员。想要了解更多信息，推荐阅读 Vitalik Buterin 的2021年汇总指南。

所有的资金都由主网上的智能合约持有，而计算和存储则在链外进行。核心思想是，不必逐一验证每一笔交易，而是将交易"汇总"到单一项目（汇总区块），再进行验证，一次性批准所有交易。

非正式地说，zkSync的工作过程如下：

1. 用户签署交易并提交给验证器。
2. 验证器将数千笔交易汇总在一个区块中，并向主网上的智能合约提交新状态的加密承诺（根哈希）以及该新状态确实由此产生的加密证明（SNARK）。将正确的事务应用到旧状态.
3. 除了证明之外，状态Δ（每笔交易的一小部分数据）在主链网络上以低廉的价格发布calldata。这让任何人都能够随时重建国家。

SNARK验证比逐笔验证更为划算，同时将状态存储在链外也比存储在EVM上更加经济。因此，zkSync提升了可扩展性（大约是主网容量的100-200倍）并降低了交易成本。

zkRollup架构带来以下保证：

1. 验证者无法破坏国家或盗窃资金（不同于侧链）
2. 即使验证者停止合作，用户也能从zkRollup智能合约中检索资金，因为数据是可用的（不同于Plasma）
3. 用户或单一可信赖的第三方无需在线监控zkRollup区块以防范欺诈（不同于欺诈预防系统，比如支付通道或OpTIMistic Rollups）

也就是说，zkRollup严格遵循底层L1的安全保障。

自从2021年2月9日升级以来，zkSync的最大吞吐量得到了提升。现在，它仅受到以太坊发布每笔交易的状态更改的需要的限制calldata，以确保数据可用性。目前的区块Gas限制为12.5M，zkSync可以处理超过2000 TPS。

一旦zkSync区块的SNARK证明生成并被智能合约接受，交易便达到以太坊的最终性。证明生成预计耗时约10分钟，意味着在提交后的10分钟内，zkSync（证明）交易就如同同一以太坊区块内的其他L1以太坊交易一样最终确定。目前，当我们收到用户交易时，我们会等到区块填满，所以我们不会立即生成证明。随着zkSync系统的吞吐量增加，块之间的间隔将会减小。

相比之下，基于欺诈的扩展解决方案（例如乐观汇总）需要至少两周的锁定期，才能相对安全地运行，这意味着目标*tx最终确定时间为两周。

*对于自己验证每笔交易的Optimistic Rollup用户而言，主观最终确定时间可能会更短，但这将违背Optimistic Rollup作为扩展解决方案的目的。

尽管最终确定时间约为10分钟，但这并不会影响网络的可用性。用户提交给zkSync的交易会立即得到确认，并立即在UI和API中显示给接收方（尽管被标记为未确认），并且转移的资产可以立即用于进一步的转账（甚至可能最终出现在同一个zkSync区块中）。

目前，即时确认仅仅是zkSync验证器方面的承诺，表示交易将包含在下一个区块中。不信任验证器的用户应在资产完全确定后再行处理。

未来，验证者将为zkSync添加安全保证金。这将提供即时的经济终结性保证。具体操作如下：

选择参与zkSync区块生产的验证者必须向主网上的zkSync智能合约发布重要的安全保证。验证者运行的共识向用户提供亚秒级确认，确认他们的交易将包含在下一个zkSync区块中，并由绝大多数（超过）共识参与者签名（按权益加权）。

如果新的zkSync区块生成并提交到主链，则不可撤销。但是，如果不包含承诺的交易，则原始收据的签名者和新区块的签名者的交集的担保债券将被削减。这个路口保证拥有以上的股份。这保证了至少1/3的保证金可以被削减，并且只有恶意验证者才会受到惩罚。

被削减的资金一部分将用于补偿交易接收者。其余的将被销毁。

有时候，异常事件会导致以太坊网络严重拥堵（Cryptokitties危机和上海的DOS攻击就是明显的例子）。在这样的高负载时段，气体价格飙升，转移加密资产可能变得非常昂贵，导致某些服务无法运行或阻碍套利机会。

此外，一些系统在极端情况下往往会出现故障，导致连锁反应（最近的DeFi黑色星期四就是一个很好的例子）。对于基于欺诈预防的扩展解决方案（支付渠道、乐观汇总）来说，这是一个特别令人担心的问题，因为在高风险时期，他们的自动化安全机器人可能无法获取其欺诈预防交易。抵御拥塞，进而危及此类系统掌控下的所有资产的安全。是什么让这些问题更加糟糕，您永远不可能预知，除非真的发生了这种情况（就像它发生在Maker的清算机器人身上那样）。

相比之下，zkSync在高拥塞环境中的表现非常出色。

1.拥堵的网络（就像有针对性的DOS攻击一样）永远不会对zkSync内的资产构成威胁。zkSync内部或外部的任何资金流动都需要零知识的有效性证明，并且它完全不受L1审查制度的影响。

2.zkSync的正常运行不太可能受到干扰，即使是较小的量。验证者的节点被配置为自动将气体价格提高到高于平均水平，以获得高优先级挖掘的zkSync块。由于每笔交易的成本约为L1上相应明文交易成本的1/100，因此zkSync用户受到的影响最小。

zkSync支持以太币（ETH）和ERC20代币的传输。

请注意，在zkSync上列出代币并不代表Matter Labs团队、Stichting ZK Sync或其他实体对该代币的认可。我们不具备分析特定代币的代币商业模式和智能合约安全保证的能力。在使用任何代币时