native_verification_key.test.cpp

Go to the documentation of this file.

#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/ultra_keccak_flavor.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
 
#include <gtest/gtest.h>
 
using namespace bb;
 
// Test parameters: <Flavor, IO>
template <typename Flavor_, typename IO_> struct VKTestParams {
    using Flavor = Flavor_;
    using IO = IO_;
};
 
#ifdef STARKNET_GARAGA_FLAVORS
using TestTypes =
    testing::Types<VKTestParams<UltraFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder>>,
                   VKTestParams<UltraFlavor, stdlib::recursion::honk::RollupIO>,
                   VKTestParams<UltraKeccakFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder>>,
                   VKTestParams<UltraStarknetFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder>>,
                   VKTestParams<MegaFlavor, stdlib::recursion::honk::DefaultIO<MegaCircuitBuilder>>>;
#else
using TestTypes =
    testing::Types<VKTestParams<UltraFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder>>,
                   VKTestParams<UltraFlavor, stdlib::recursion::honk::RollupIO>,
                   VKTestParams<UltraKeccakFlavor, stdlib::recursion::honk::DefaultIO<UltraCircuitBuilder>>,
                   VKTestParams<MegaFlavor, stdlib::recursion::honk::DefaultIO<MegaCircuitBuilder>>>;
#endif
 
template <typename Params> class NativeVerificationKeyTests : public ::testing::Test {
  public:
    using Flavor = typename Params::Flavor;
    using IO = typename Params::IO;
    using Builder = typename Flavor::CircuitBuilder;
    using VerificationKey = typename Flavor::VerificationKey;
 
    VerificationKey create_vk()
    {
        if constexpr (IsUltraOrMegaHonk<Flavor>) {
            using ProverInstance = ProverInstance_<Flavor>;
            Builder builder;
            IO::add_default(builder);
            auto prover_instance = std::make_shared<ProverInstance>(builder);
            return VerificationKey{ prover_instance->get_precomputed() };
        } else {
            return VerificationKey();
        }
    }
 
  protected:
    static void SetUpTestSuite() { bb::srs::init_file_crs_factory(bb::srs::bb_crs_path()); }
};
TYPED_TEST_SUITE(NativeVerificationKeyTests, TestTypes);
 
TYPED_TEST(NativeVerificationKeyTests, VKHashingConsistency)
{
    using Flavor = typename TypeParam::Flavor;
    using VerificationKey = typename Flavor::VerificationKey;
 
    VerificationKey vk(TestFixture::create_vk());
 
    // First method of hashing: using hash().
    fr vk_hash_1 = vk.hash();
 
    // Second method of hashing: using hash_with_origin_tagging.
    typename Flavor::Transcript transcript;
    fr vk_hash_2 = vk.hash_with_origin_tagging(transcript);
    EXPECT_EQ(vk_hash_1, vk_hash_2);
}
 
TYPED_TEST(NativeVerificationKeyTests, VKSizeCheck)
{
    using Flavor = typename TypeParam::Flavor;
    using VerificationKey = typename Flavor::VerificationKey;
 
    VerificationKey vk(TestFixture::create_vk());
    EXPECT_EQ(vk.to_field_elements().size(), VerificationKey::calc_num_data_types());
}