flavor_serialization.test.cpp

Go to the documentation of this file.

#include "barretenberg/common/serialize.hpp"
#include "barretenberg/ecc/curves/bn254/fr.hpp"
#include "barretenberg/honk/library/grand_product_delta.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include "barretenberg/relations/permutation_relation.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/fixed_base/fixed_base.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/types.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/sumcheck/sumcheck_round.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
 
#include <gtest/gtest.h>
 
using namespace bb;
 
template <typename Flavor> class FlavorSerializationTests : public ::testing::Test {
  public:
    using Builder = typename Flavor::CircuitBuilder;
    using DeciderProvingKey = DeciderProvingKey_<Flavor>;
    using VerificationKey = typename Flavor::VerificationKey;
 
  protected:
    static void SetUpTestSuite() { bb::srs::init_file_crs_factory(bb::srs::bb_crs_path()); }
};
 
#ifdef STARKNET_GARAGA_FLAVORS
using FlavorTypes = testing::Types<UltraFlavor, UltraKeccakFlavor, UltraStarknetFlavor, MegaFlavor>;
#else
using FlavorTypes = testing::Types<UltraFlavor, UltraKeccakFlavor, MegaFlavor>;
#endif
TYPED_TEST_SUITE(FlavorSerializationTests, FlavorTypes);
 
// Test msgpack serialization/deserialization of verification keys
TYPED_TEST(FlavorSerializationTests, VerificationKeySerialization)
{
    using Builder = typename TestFixture::Builder;
    using DeciderProvingKey = typename TestFixture::DeciderProvingKey;
    using VerificationKey = typename TestFixture::VerificationKey;
 
    Builder builder;
 
    // Add some arbitrary arithmetic gates that utilize public inputs
    MockCircuits::add_arithmetic_gates_with_public_inputs(builder, /*num_gates=*/100);
 
    stdlib::recursion::PairingPoints<Builder>::add_default_to_public_inputs(builder);
    auto proving_key = std::make_shared<DeciderProvingKey>(builder);
    VerificationKey original_vkey{ proving_key->get_precomputed() };
 
    // Serialize and deserialize the verification key
    std::vector<uint8_t> vkey_buffer = to_buffer(original_vkey);
    VerificationKey deserialized_vkey = from_buffer<VerificationKey>(vkey_buffer);
 
    // Ensure the original is equal to the reconstructed
    EXPECT_EQ(original_vkey, deserialized_vkey);
}