mock_verifier_inputs.test.cpp

Go to the documentation of this file.

#include "barretenberg/dsl/acir_format/mock_verifier_inputs.hpp"
#include "barretenberg/honk/proof_length.hpp"
 
#include <gtest/gtest.h>
 
using namespace acir_format;
using namespace bb;
 
class MockVerifierInputsTest : public ::testing::Test {
  public:
    static void SetUpTestSuite() { bb::srs::init_file_crs_factory(bb::srs::bb_crs_path()); }
};
 
// Static assertions for proof size constants that must stay in sync with Noir (constants.nr)
// These constants are used by Noir protocol circuits and TypeScript
 
// Public input component sizes (used in Noir)
static_assert(PAIRING_POINTS_SIZE == 8, "PAIRING_POINTS_SIZE changed - update constants.nr");
static_assert(GRUMPKIN_OPENING_CLAIM_SIZE == 6, "IPA_CLAIM_SIZE changed - update constants.nr");
static_assert(HIDING_KERNEL_PUBLIC_INPUTS_SIZE == 28,
              "HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE changed - update constants.nr");
 
// Component proof lengths (used in Noir)
static_assert(MERGE_PROOF_SIZE == 42, "MERGE_PROOF_SIZE changed - update constants.nr");
static_assert(ECCVMFlavor::PROOF_LENGTH == 608, "ECCVM proof size changed - update constants.nr");
static_assert(IPA_PROOF_LENGTH == 64, "IPA_PROOF_LENGTH changed - update constants.nr");
static_assert(TranslatorFlavor::PROOF_LENGTH == 483, "Translator proof size changed - update constants.nr");
 
// Full proof lengths (used in Noir)
static_assert(
    ProofLength::Honk<UltraFlavor>::expected_proof_size<stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder>>(
        UltraFlavor::VIRTUAL_LOG_N) == 449,
    "RECURSIVE_PROOF_LENGTH changed - update constants.nr");
static_assert(ChonkProof::PROOF_LENGTH == 1632, "CHONK_PROOF_LENGTH changed - update constants.nr");
static_assert(ProofLength::MultilinearBatching<MultilinearBatchingFlavor>::LENGTH == 121,
              "MultilinearBatching proof size changed - update constants.nr");
 
TEST_F(MockVerifierInputsTest, MockMergeProofSize)
{
    Goblin::MergeProof merge_proof = create_mock_merge_proof();
    EXPECT_EQ(merge_proof.size(), MERGE_PROOF_SIZE);
}
 
TEST_F(MockVerifierInputsTest, MockPreIpaProofSize)
{
    HonkProof eccvm_proof = create_mock_eccvm_proof();
    EXPECT_EQ(eccvm_proof.size(), ECCVMFlavor::PROOF_LENGTH);
}
 
TEST_F(MockVerifierInputsTest, MockIPAProofSize)
{
    HonkProof ipa_proof = create_mock_ipa_proof();
    EXPECT_EQ(ipa_proof.size(), IPA_PROOF_LENGTH);
}
 
TEST_F(MockVerifierInputsTest, MockTranslatorProofSize)
{
    HonkProof translator_proof = create_mock_translator_proof();
    EXPECT_EQ(translator_proof.size(), TranslatorFlavor::PROOF_LENGTH);
}
 
TEST_F(MockVerifierInputsTest, MockMegaOinkProofSize)
{
    using Flavor = MegaFlavor;
    using Builder = MegaCircuitBuilder;
    constexpr size_t OINK_LENGTH = ProofLength::Oink<Flavor>::LENGTH_WITHOUT_PUB_INPUTS;
 
    HonkProof app_proof = create_mock_oink_proof<Flavor, stdlib::recursion::honk::AppIO>();
    EXPECT_EQ(app_proof.size(), OINK_LENGTH + stdlib::recursion::honk::AppIO::PUBLIC_INPUTS_SIZE);
 
    HonkProof kernel_proof = create_mock_oink_proof<Flavor, stdlib::recursion::honk::KernelIO>();
    EXPECT_EQ(kernel_proof.size(), OINK_LENGTH + stdlib::recursion::honk::KernelIO::PUBLIC_INPUTS_SIZE);
 
    HonkProof hiding_proof = create_mock_oink_proof<Flavor, stdlib::recursion::honk::HidingKernelIO<Builder>>();
    EXPECT_EQ(hiding_proof.size(), OINK_LENGTH + stdlib::recursion::honk::HidingKernelIO<Builder>::PUBLIC_INPUTS_SIZE);
}
 
TEST_F(MockVerifierInputsTest, MockUltraOinkProofSize)
{
    {
        using Flavor = UltraFlavor;
        using IO = stdlib::recursion::honk::DefaultIO<Flavor::CircuitBuilder>;
        HonkProof proof = create_mock_oink_proof<Flavor, IO>();
        EXPECT_EQ(proof.size(), ProofLength::Oink<Flavor>::LENGTH_WITHOUT_PUB_INPUTS + IO::PUBLIC_INPUTS_SIZE);
    }
    {
        using Flavor = UltraZKFlavor;
        using IO = stdlib::recursion::honk::DefaultIO<Flavor::CircuitBuilder>;
        HonkProof proof = create_mock_oink_proof<Flavor, IO>();
        EXPECT_EQ(proof.size(), ProofLength::Oink<Flavor>::LENGTH_WITHOUT_PUB_INPUTS + IO::PUBLIC_INPUTS_SIZE);
    }
    {
        using Flavor = UltraFlavor;
        using IO = stdlib::recursion::honk::RollupIO;
        HonkProof proof = create_mock_oink_proof<Flavor, IO>();
        EXPECT_EQ(proof.size(), ProofLength::Oink<Flavor>::LENGTH_WITHOUT_PUB_INPUTS + IO::PUBLIC_INPUTS_SIZE);
    }
}
 
TEST_F(MockVerifierInputsTest, MockMegaHonkProofSize)
{
    using Flavor = MegaFlavor;
    using Builder = MegaCircuitBuilder;
    constexpr size_t HONK_LENGTH = ProofLength::Honk<Flavor>::LENGTH_WITHOUT_PUB_INPUTS(Flavor::VIRTUAL_LOG_N);
 
    HonkProof app_proof = create_mock_honk_proof<Flavor, stdlib::recursion::honk::AppIO>();
    EXPECT_EQ(app_proof.size(), HONK_LENGTH + stdlib::recursion::honk::AppIO::PUBLIC_INPUTS_SIZE);
 
    HonkProof kernel_proof = create_mock_honk_proof<Flavor, stdlib::recursion::honk::KernelIO>();
    EXPECT_EQ(kernel_proof.size(), HONK_LENGTH + stdlib::recursion::honk::KernelIO::PUBLIC_INPUTS_SIZE);
 
    HonkProof hiding_proof = create_mock_honk_proof<Flavor, stdlib::recursion::honk::HidingKernelIO<Builder>>();
    EXPECT_EQ(hiding_proof.size(), HONK_LENGTH + stdlib::recursion::honk::HidingKernelIO<Builder>::PUBLIC_INPUTS_SIZE);
}
 
TEST_F(MockVerifierInputsTest, MockUltraHonkProofSize)
{
    {
        using Flavor = UltraFlavor;
        using IO = stdlib::recursion::honk::DefaultIO<Flavor::CircuitBuilder>;
        HonkProof proof = create_mock_honk_proof<Flavor, IO>();
        EXPECT_EQ(proof.size(),
                  ProofLength::Honk<Flavor>::LENGTH_WITHOUT_PUB_INPUTS(Flavor::VIRTUAL_LOG_N) + IO::PUBLIC_INPUTS_SIZE);
    }
    {
        using Flavor = UltraZKFlavor;
        using IO = stdlib::recursion::honk::DefaultIO<Flavor::CircuitBuilder>;
        HonkProof proof = create_mock_honk_proof<Flavor, IO>();
        EXPECT_EQ(proof.size(),
                  ProofLength::Honk<Flavor>::LENGTH_WITHOUT_PUB_INPUTS(Flavor::VIRTUAL_LOG_N) + IO::PUBLIC_INPUTS_SIZE);
    }
    {
        using Flavor = UltraFlavor;
        using IO = stdlib::recursion::honk::RollupIO;
        HonkProof proof = create_mock_honk_proof<Flavor, IO>();
        // RollupIO has HasIPA=true, so proof includes IPA_PROOF_LENGTH
        constexpr size_t expected = ProofLength::Honk<Flavor>::LENGTH_WITHOUT_PUB_INPUTS(Flavor::VIRTUAL_LOG_N) +
                                    IO::PUBLIC_INPUTS_SIZE + IPA_PROOF_LENGTH;
        EXPECT_EQ(proof.size(), expected);
    }
}
 
// TODO(@fcarreiro): Re-enable this test once proof size is fixed.
TEST_F(MockVerifierInputsTest, DISABLED_MockAVMProofSize)
{
    const HonkProof avm_proof = create_mock_avm_proof_without_pub_inputs(/*add_padding=*/false);
    EXPECT_EQ(avm_proof.size(), 16040);
}
 
TEST_F(MockVerifierInputsTest, MockAVMProofSizePadded)
{
    const HonkProof padded_avm_proof = create_mock_avm_proof_without_pub_inputs(/*add_padding=*/true);
    EXPECT_EQ(padded_avm_proof.size(), 16400);
}
 
TEST_F(MockVerifierInputsTest, MockChonkProofSize)
{
    using Builder = MegaCircuitBuilder;
    HonkProof chonk_proof = create_mock_chonk_proof<Builder>();
    EXPECT_EQ(chonk_proof.size(), ChonkProof::PROOF_LENGTH);
}
 
TEST_F(MockVerifierInputsTest, MockMultilinearBatchingProofSize)
{
    using Flavor = MultilinearBatchingFlavor;
    HonkProof batching_proof = create_mock_multilinear_batch_proof();
    EXPECT_EQ(batching_proof.size(), ProofLength::MultilinearBatching<Flavor>::LENGTH);
}