Optimistic + ZK
最近、
Layer N
や
Brevis
などでは、Challenge window内で提出するFraud proofを
ゼロ知識証明
に置き換えることによって検証を楽観的にしている一方で検証自体は暗号学に基づいた方法を提供できる
これは特に
ZK Coprocessor
における計算コストの高さとレイテンシーが起因している