概要
検証可能計算（Verifiable compute）とは、その結果を（多くの場合、ゼロ知識証明を通じて）暗号学的に検証できる計算を指します。これにより、ユーザーはオフチェーンでの計算を信頼できるようになります。これは、スケーラビリティと信頼性を確保するための重要な技術です。
仕組み
証明者は計算を実行し、その正しさを証明するプルーフを生成します。検証者はこのプルーフを低コストで検証します。これにより、信頼性を維持しつつ、負荷の高い処理をオフチェーンに移行することが可能になります。ZKロールアップは、その主要な応用例です。
重要性
検証可能計算は、スケーラブルかつプライバシーが確保された計算を可能にし、ロールアップや分散型AIを支えます。また、検証コストを削減します。これはブロックチェーン技術の最前線です。
関連概念
検証可能計算は、ゼロ知識証明を基盤としており、ZKロールアップと関連しています。これにより、トラストレスな計算が可能になります。