mock_kernel_pinning.test.cpp

Go to the documentation of this file.

#include "barretenberg/client_ivc/client_ivc.hpp"
#include "barretenberg/client_ivc/mock_circuit_producer.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
 
#include <gtest/gtest.h>
 
using namespace bb;
 
class MockKernelTest : public ::testing::Test {
  public:
    using Builder = MegaCircuitBuilder;
    using MockCircuitProducer = PrivateFunctionExecutionMockCircuitProducer;
 
  protected:
    static void SetUpTestSuite() { bb::srs::init_file_crs_factory(bb::srs::bb_crs_path()); }
};
 
TEST_F(MockKernelTest, PinFoldingKernelSizes)
{
    MockCircuitProducer circuit_producer{ /*num_app_circuits=*/1 };
    const size_t NUM_CIRCUITS = circuit_producer.total_num_circuits;
    ClientIVC ivc{ NUM_CIRCUITS, { AZTEC_TRACE_STRUCTURE } };
 
    // Construct and accumulate a series of mocked private function execution circuits
    for (size_t idx = 0; idx < NUM_CIRCUITS; ++idx) {
        auto [circuit, vk] = circuit_producer.create_next_circuit_and_vk(ivc);
 
        ivc.accumulate(circuit, vk);
        // Expect trace overflow for all but the hiding kernel (final circuit)
        if (idx < NUM_CIRCUITS - 1) {
            EXPECT_TRUE(circuit.blocks.has_overflow);
            EXPECT_EQ(ivc.prover_accumulator->log_dyadic_size(), 19);
        } else {
            EXPECT_FALSE(circuit.blocks.has_overflow);
        }
    }
}