B^2はハイブリッド型の検証スキームを採用しており、オフチェーンでZK証明を検証し、オンチェーンではbitVMの考え方を通じてZK証明の検証トレースに挑戦します。