楽観的zk

楽観的ZKは、すべての状態遷移が正しいと仮定し、即時の有効性証明を必要としません。この設計は、ZKPプロジェクトの総証明コストを削減し、分散型の挑戦者監視システムを促進し、詐欺行為に挑戦することで安全性を確保します。