ZKP 有很多應用場景，包含rollup, brige, oracle, 由此開發(fā)很多項目，例如ZK-rollup， ZK-bridge，和 ZK-oracle。

混合(Hybird) 和 樂觀（optimistic）也可以整合到ZKP技術(shù)方案中，例如 Orbiter Finance 提出optimistic ZK bridge 協(xié)議，Taiko 也提出了一個混合的rollup 方案。

Optimistic ZK 假設所有的狀態(tài)轉(zhuǎn)換是正確的，而不需要一個有效的證明。但是它有一個提前定義的挑戰(zhàn)窗口，任何參與者可以通過提交有效證明或欺詐證明解決沖突活動。

這種方案可以有效減少ZKP 證明的費用，并通過激勵監(jiān)控保證系統(tǒng)的安全性。

Optimistic ZK Bridge Protocol

Orbiter Finance 是一個查出的跨rollup的項目，它假設大多數(shù)參與者不會作惡，以樂觀的方式處理跨rollup事件，以保證及時的執(zhí)行。若每個跨rollup的交易都需要一個證明的話，那整個跨鏈橋交易的執(zhí)行將會很慢。 因此當沒有惡意行為的時候，不需要生成證明，節(jié)少證明的花費。若是檢測到惡意行為，挑戰(zhàn)者可以生成證明，被挑戰(zhàn)者也要生成證明。

ZKPool 請求者-證明者分離模型

當使用ZKP 技術(shù)的時候，有多種不同的模型：

• Full ZK: 在這個模型下，每個狀態(tài)轉(zhuǎn)換都需要ZKP, 例如ZK-bridge 項目Polyhedra 或 ZK-rollup項目 Scroll等；
• Optimistic zk： 在這種模式下，當狀態(tài)轉(zhuǎn)換被挑戰(zhàn)時，才需要ZKP證明。這種模式下的項目例如 Taiko 和 Orbiter。

在ZK-Rollup項目中：

• 在full zk模式下，sequencer 作為ZKP 請求者；
• 在optimistic zk模式下， challenger 作來ZKP 請求者；

在ZK-Bridge 項目中：

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

在樂觀的ZK 模式下，也許不經(jīng)常有證明任務，若將ZKP 請求者和證明者放在同一親模塊中，provers 可能經(jīng)常處于閑置狀態(tài)， 無法充分利用Prover算力。

因此，若設計一個請求者-證明者分離模型，將prover成一個共享池，可以提供prover的利用率， 因此ZKPool 可以在ZK項目中發(fā)揮著重要作用。

參考

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