zkSync 以用户资金安全为首要目标，使用了加密技术 PLONK 和 RedShift。其中 RedShift 是一种透明通用的 SNARK，由纽约大学的 Assimakis 和 Matter Labs 的 Konstantin、Alexander 研究发现。在使用 zkSync 时，交易有两部分成本：1. Layer 2 上的状态储存和 SNARK 生成成本，这取决于硬件的使用；2. 运营者支付将数据传回以太坊主网上的成本以及验证 SNARK 证明的成本，这取决于以太坊上的 Gas Price 价格。ZK Rollup 最大的阻碍就是与智能合约相关的有效性证明的验证成本过高，因此不适用于智能合约的场景。zkSync 通过重新对智能合约编写让其适用在 ZK Rollup 中使用。但需要开发者重新使用 Zinc 语言部署合约，这将是目前 zkSync 未来最重要的计划之一。

涉及 zkSync 中的交易转账时，用户可以使用转账的代币支付 Gas 费，没有必须使用 ETH 的要求。目前 zkSync 网络是由集中管理的方式运营，未来将引入多个角色让网络更分散，例如引入 PoS 共识机制等。为了维持运营者的收支平衡，zkSync 中的费用会随着主网 Gas 费改变，但保证 zkSync 的使用费用始终比以太坊网络低，ETH 转账低 20 倍以上，ERC20 代币转账低 100 倍以上。未来 zkSync 还将推出自己的代币用于治理和抵押，并上线更手续费更低的平台 zkPorter。

zkPorter 将和 zkSync 2.0 版本主网一同上线，zkPorter 中的数据将被转移到链下，可以与 zkSync 账户无缝交互，其中账户的数据可得性将由守护者（Guardian）的 zkSync 代币持有者保障。守护者需要抵押 zkSync 代币并参与 PoS，如果数据不可得，他们将失去抵押的资金。

StarkWare

StarkWare 是基于 ZK Rollup 技术实现的扩容方案，目前的客户有 DeversiFi、iMMUTABLE，dYdX。不同于 zkSync，StarkWare 使用的是 STARK 技术，一种简洁全透明的零知识证明。Cairo 是 StarkWare 推出的图灵完备使用 STARK 证明的平台，以上的应用也是基于 Cairo 搭建的。除此之外，StarkWare 还推出了交易平台 StarkEx。

StarkWare 还开发了一种名为 Validium 的模式，在这种方案下，用户将交易数据发给委员会成员，他们的数据会被储存在链下，降低了 ZK Rollup 中的资金的安全性，但由此效率会有所提高，更适用于高频的场景。

Polygon

Polygon 是 Matic 网络的升级产品，与 Matic 成为两个不同的扩容解决方案。Matic 使用了 Plasma 框架，来保证侧链的去中心化和安全性。Matic 在 Plasma 链中应用了基于账户的模型，不同于其他 Plasma 中的 UTXO 系统，这让 Plasma Matic 适用于以太坊系统，支持 EVM。Plasma 侧链使用 PoS 共识机制，质押 Matic 代币可以成为网络中的验证者。
Polygon 的独立侧链完全与以太坊适配，因此用户和开发者的学习成本为零，通过桥链接支持互操作性，侧链中有独立的验证者保证安全。Polygon （Matic）目前上线了侧链和 Plasma 两个以太坊扩容方式， ZK Rollup 和 Optimistic Rollup 产品在未来的规划中。这是为了实现不同用户的扩容需求，例如企业级应用、初创公司和专注网络安全的公司等。Aavegotchi、Easyfi、SportX、Aave 等应用使用了 Polygon 的架构。 (责任编辑：admin)