shplemini.test.cpp File Reference

#include "shplemini.hpp"
#include "../commitment_key.test.hpp"
#include "../gemini/gemini.hpp"
#include "../kzg/kzg.hpp"
#include "../shplonk/shplonk.hpp"
#include "../utils/batch_mul_native.hpp"
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/commitment_schemes/small_subgroup_ipa/small_subgroup_ipa.hpp"
#include "barretenberg/commitment_schemes/utils/mock_witness_generator.hpp"
#include "barretenberg/commitment_schemes/utils/test_settings.hpp"
#include "barretenberg/ecc/curves/bn254/g1.hpp"
#include "barretenberg/sumcheck/sumcheck.hpp"
#include <gtest/gtest.h>
#include <vector>

Go to the source code of this file.

Classes
class	bb::ShpleminiTest< Flavor >
class	bb::ShpleminiKZGTest

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

Typedefs
using	bb::TestSettings = ::testing::Types< BN254Settings, GrumpkinSettings >

Functions
	bb::TYPED_TEST_SUITE (ShpleminiTest, TestSettings)
	bb::TYPED_TEST (ShpleminiTest, CorrectnessOfMultivariateClaimBatching)
	bb::TYPED_TEST (ShpleminiTest, CorrectnessOfGeminiClaimBatching)
	bb::TYPED_TEST (ShpleminiTest, ShpleminiZKNoSumcheckOpenings)
	Test Shplemini with ZK data consisting of a hiding polynomial generated by GeminiProver and Libra polynomials used to mask Sumcheck Round Univariates. This abstracts the PCS step in each ZK Flavor running over BN254.
	bb::TYPED_TEST (ShpleminiTest, ShpleminiZKWithSumcheckOpenings)
	Test Shplemini with ZK data consisting of a hiding polynomial generated by GeminiProver, Libra polynomials used to mask Sumcheck Round Univariates and prove/verify the claimed evaluations of committed sumcheck round univariates. This test abstracts the PCS step in each ZK Flavor running over Grumpkin.
	bb::TYPED_TEST (ShpleminiTest, HighDegreeAttackAccept)
	High degree attack test: prover commits to a higher degree polynomial than expected.
	bb::TYPED_TEST (ShpleminiTest, HighDegreeAttackReject)
	High degree attack test: prover commits to a random higher degree polynomial.
	bb::TYPED_TEST (ShpleminiTest, LibraConsistencyCheckFailsOnCorruptedEvaluation)
	Test that consistency_checked is false when a Libra univariate evaluation is corrupted.
template<typename TypeParam >
void	bb::run_libra_tampering_test (ShpleminiTest< TypeParam > *test, typename ShpleminiTest< TypeParam >::TamperedPolynomial tamper_polynomial, typename ShpleminiTest< TypeParam >::TamperedCommitment tamper_commitment, bool expected_consistency_checked)
	Helper to run a Libra tampering test with configurable tampering options.
	bb::TYPED_TEST (ShpleminiTest, LibraQuotientPolynomialTamperingCausesVerificationFailure)
	Test tampering with quotient polynomial Q - breaks consistency check and PCS.
	bb::TYPED_TEST (ShpleminiTest, LibraQuotientCommitmentTamperingCausesVerificationFailure)
	Test tampering with quotient commitment [Q] - consistency check passes but PCS fails.
	bb::TYPED_TEST (ShpleminiTest, LibraGrandSumPolynomialTamperingCausesVerificationFailure)
	Test tampering with grand sum polynomial A - breaks consistency check and PCS.
	bb::TYPED_TEST (ShpleminiTest, LibraGrandSumCommitmentTamperingCausesVerificationFailure)
	Test tampering with grand sum commitment [A] - consistency check passes but PCS fails.
	bb::TYPED_TEST (ShpleminiTest, LibraConcatenatedPolynomialTamperingCausesVerificationFailure)
	Test tampering with concatenated polynomial G - breaks consistency check and PCS.
	bb::TYPED_TEST (ShpleminiTest, LibraConcatenatedCommitmentTamperingCausesVerificationFailure)
	Test tampering with concatenated commitment [G] - consistency check passes but PCS fails.