Brevisは、ブロックチェーンネットワークにおける検証可能な計算問題の解決策を提供するために設計されたインフラプロジェクトです。 このプロジェクトは、スマートコントラクトがチェーン上で高コストかつ非効率的に実行している複雑な計算をチェーン外に移すことで、運用コストを大幅に削減することを目的としています。 ここでの重要なポイントは、これらのチェーン外計算の信頼性を確保することです。 Brevisは、ゼロ知識証明技術を使用して、計算の正確性を暗号学的に証明し、その証明をチェーンに記録します。 これにより、ネットワーク参加者は計算全体を再実行することなく、証明を検証して結果の妥当性を確認できるのです。 こうして、効率性を向上させるとともに、分散型システムの安全性も維持しています。