낙관적인 ZK는 모든 상태 전환이 올바르다고 가정하며, 즉각적인 유효성 증명이 필요하지 않습니다. 이러한 설계는 ZKP 프로젝트의 총 증명 비용을 줄이는 동시에, 탈중앙화된 도전자가 시스템을 모니터링하고 사기를 도전하도록 유도하여 안전성을 보장합니다.