goblin_recursive_verifier.cpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#include "barretenberg/stdlib/goblin_verifier/goblin_recursive_verifier.hpp"
 
namespace bb::stdlib::recursion::honk {
 
GoblinRecursiveVerifierOutput GoblinRecursiveVerifier::verify(const GoblinProof& proof,
                                                              const MergeCommitments& merge_commitments,
                                                              const MergeSettings merge_settings)
{
    StdlibProof stdlib_proof(*builder, proof);
    return verify(stdlib_proof, merge_commitments, merge_settings);
}
 
GoblinRecursiveVerifierOutput GoblinRecursiveVerifier::verify(const StdlibProof& proof,
                                                              const MergeCommitments& merge_commitments,
                                                              const MergeSettings merge_settings)
{
    // Verify the final merge step
    MergeVerifier merge_verifier{ builder, merge_settings, transcript };
    auto [merge_pairing_points, merged_table_commitments] =
        merge_verifier.verify_proof(proof.merge_proof, merge_commitments);
 
    // Run the ECCVM recursive verifier
    ECCVMVerifier eccvm_verifier{ builder, verification_keys.eccvm_verification_key, transcript };
    auto [opening_claim, ipa_proof] = eccvm_verifier.verify_proof(proof.eccvm_proof);
 
    // Run the Translator recursive verifier
    TranslatorVerifier translator_verifier{ builder, verification_keys.translator_verification_key, transcript };
    PairingPoints<Builder> translator_pairing_points = translator_verifier.verify_proof(
        proof.translator_proof, eccvm_verifier.evaluation_challenge_x, eccvm_verifier.batching_challenge_v);
 
    // Verify the consistency between the ECCVM and Translator transcript polynomial evaluations
    translator_verifier.verify_translation(eccvm_verifier.translation_evaluations,
                                           eccvm_verifier.translation_masking_term_eval);
 
    translator_pairing_points.aggregate(merge_pairing_points);
 
    // Verify the consistency between the commitments to polynomials representing the op queue received by translator
    // and final merge verifier
    translator_verifier.verify_consistency_with_final_merge(merged_table_commitments);
 
    return { translator_pairing_points, opening_claim, ipa_proof };
}
} // namespace bb::stdlib::recursion::honk