私たちは証明システムを深く掘り下げると発表しましたが、これは最初のステップにすぎません。「ZKを使用しています」と言うことは、検証キーを独自に再生成し、実際にどのプログラムが証明されているかを確認できなければ意味がありません