ZK Rollup就像你在与建立区块和状态更新的某个人（称为中继器）进行交谈。状态的变化是经过哈希处理的，这是SNARK（一种零知识证明）的输入过程，该输入中包括Rollup块中每个事务的有效性证明。交易被汇总在一起，仅有头部被签名并提交给主链。因此，减少了以太坊链上存储的数据量。所有签名都被称为ZK-SNARK的零知识证明所取代，这可以使所汇总的交易记录得到压缩。

由于每个签名的验证都被单个SNARK取代，因此计算也得到了改善。仅有一小部分信息（地址簿的两个Merkle根和余额/随机数，两者均为32字节）添加到主链中，他们仅占通过CALLDATA在链上发布的交易数据的一小部分。提交区块或状态更新后，用户可以检验零知识证明的有效性。若其中发起挑战的交易告诉智能合约某些数据不正确，那么该区块最终无效。

这些挑战在ZK Rollup中被ZK-SNARK所取代，在该中继器中无效或不正确的状态是不可能被提交的。SNARK证明这一系列交易是由拥有者正确签署的，并且从旧的Merkle根到新的Merkle根，账户余额的更新是正确的。因此，中继器不可能提交无效的或被操纵的状态。

ZK Rollup将ZK-SNARK证明提交到主网Rollup合约中。然后主网智能合约将验证并接受任何有效的证明。这个过程几乎立即发生并且规模巨大。相较而言，Optimistic Rollup总会牺牲一些可扩展性以适应Layer2上的智能合约，同样它的过程会稍有延迟，以便于用户有时间向Bond Aggregator的无效块发起挑战。

因此，从长远来看，也有人认为ZK Rollup是更有希望的解决方案。尽管现在这种扩容技术确实可以对Optimistic Rollup进行补充以实现简单的付款，但是已经有一些Dapp使用该技术（例如LoopRing），并且在实现智能合约支持方面取得了进展。

Rollup对于以太坊具有很大的潜力，但仍有许多挑战需要克服。Rollup的挑战在于DeFi服务器的可组合性。如果不同的Rollup链上有不同的Dapp，则不同Rollup链之间的信息互通将比以太坊主链上的信息互通更加困难。为了保持可组合性，DeFi服务器将必须在特定的Rollup链上进行协调并创造临界质量。尽管在以太坊应用程序中出现了采用Rollup的良好迹象，但区块链网络“无需许可”的性质意味着并非每个用户或服务器都将采用这些Layer2解决方案。