ZKの基礎 | 第8回：ZK証明が高額な理由 証明の検証には数ミリ秒しかかかりません。しかし、証明の生成がコストのかかる部分です。その費用の内訳は以下の通りです： 1. 計算が再構成されます。あなたのプログラムは、数学的に証明可能な形——回路——に変換される必要があります。このステップには無料の部分は一切ありません。 2. 証明生成は重い処理です。証明を構築するには、通常のプログラム実行と比べて数千倍もの計算リソースが必要になります。 3. 専用ハードウェアが必要です。本格的な証明生成はGPUやカスタムチップで実行されるため、証明インフラストラクチャに関する産業全体が存在しています。 4. コストは急速に低下しています。数年でコストは数桁も下がっており、それがZK技術が論文から実用段階へと移った理由です。 トレードオフ：証明の生成には一度だけコストがかかりますが、その後は誰でも安価に検証できます。 この情報を保存してください💜