ZKP 有很多应用场景，包含rollup, brige, oracle, 由此开发很多项目，例如ZK-rollup， ZK-bridge，和 ZK-oracle。

混合(Hybird) 和 乐观（optimistic）也可以整合到ZKP技术方案中，例如 Orbiter Finance 提出optimistic ZK bridge 协议，Taiko 也提出了一个混合的rollup 方案。

Optimistic ZK 假设所有的状态转换是正确的，而不需要一个有效的证明。但是它有一个提前定义的挑战窗口，任何参与者可以通过提交有效证明或欺诈证明解决冲突活动。

这种方案可以有效减少ZKP 证明的费用，并通过激励监控保证系统的安全性。

Optimistic ZK Bridge Protocol

Orbiter Finance 是一个查出的跨rollup的项目，它假设大多数参与者不会作恶，以乐观的方式处理跨rollup事件，以保证及时的执行。若每个跨rollup的交易都需要一个证明的话，那整个跨链桥交易的执行将会很慢。 因此当没有恶意行为的时候，不需要生成证明，节少证明的花费。若是检测到恶意行为，挑战者可以生成证明，被挑战者也要生成证明。

ZKPool 请求者-证明者分离模型

当使用ZKP 技术的时候，有多种不同的模型：

• Full ZK: 在这个模型下，每个状态转换都需要ZKP, 例如ZK-bridge 项目Polyhedra 或 ZK-rollup项目 Scroll等；
• Optimistic zk： 在这种模式下，当状态转换被挑战时，才需要ZKP证明。这种模式下的项目例如 Taiko 和 Orbiter。

在ZK-Rollup项目中：

• 在full zk模式下，sequencer 作为ZKP 请求者；
• 在optimistic zk模式下， challenger 作来ZKP 请求者；

在ZK-Bridge 项目中：

• 在Full ZK模式下，maker 作为ZKP的请求者；
• 在Optimis ZK模式下， challenger 作为ZKP 的请求者。

在乐观的ZK 模式下，也许不经常有证明任务，若将ZKP 请求者和证明者放在同一亲模块中，provers 可能经常处于闲置状态， 无法充分利用Prover算力。

因此，若设计一个请求者-证明者分离模型，将prover成一个共享池，可以提供prover的利用率， 因此ZKPool 可以在ZK项目中发挥着重要作用。

参考

https://mirror.xyz/aoraki-labs.eth/c6nWZjskUBF8je98ryh1AEmdhGxqEpKNbOvQ_5oa1kY