ZKシステムは、証明者と検証者の2つの構成要素で構成されています。 証明は計算コストがかかります(かつては数日で、今は数秒で済みます)。スマートコントラクトチェーンの検証は安価ですが、ビットコインではネイティブには非常に高価です。 革新は、ビットコイン上でZK認証を妨げられた回線を通じて可能にし、検証器をオフチェーンに移動させることです。