shplemini_concatenated.test.cpp File Reference

Unit test for Shplemini with concatenated polynomial commitments. More...

#include "../gemini/gemini.hpp"
#include "../kzg/kzg.hpp"
#include "../pcs_test_utils.hpp"
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "shplemini.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	bb::ShpleminiConcatenatedTest

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Functions
	bb::TEST_F (ShpleminiConcatenatedTest, SingleGroup)
	bb::TEST_F (ShpleminiConcatenatedTest, MultipleGroups)

Detailed Description

Unit test for Shplemini with concatenated polynomial commitments.

Tests the case where minicircuit polynomials are committed using concatenation, representing F(X) where F is laid out in 16 sequential blocks (lanes).

Mimics the flow in TranslatorProver/Verifier where:

• Prover commits to concatenated polynomial
• Sumcheck produces individual polynomial evaluations
• Verifier reconstructs batched evaluation using Lagrange decomposition with padding factor

Definition in file shplemini_concatenated.test.cpp.