shplemini.test.cpp File Reference

#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/commitment_schemes/commitment_key.test.hpp"
#include "barretenberg/commitment_schemes/gemini/gemini.hpp"
#include "barretenberg/commitment_schemes/ipa/ipa.hpp"
#include "barretenberg/commitment_schemes/kzg/kzg.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplonk.hpp"
#include "barretenberg/commitment_schemes/utils/mock_witness_generator.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/stdlib/primitives/padding_indicator_array/padding_indicator_array.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Classes
class	ShpleminiRecursionTest< PCS >

Functions
	TEST (ShpleminiRecursionTest, ProveAndVerifySingle)
	Test full recursive verification for 2 multilinear polynomials and a shift of one of them including pairing check and ensure that regardless of circuit size, recursive Shplemini produces the same number of gates.

Variables
numeric::RNG &	shplemini_engine = numeric::get_debug_randomness()

Function Documentation

TEST()

TEST	(	ShpleminiRecursionTest	,
		ProveAndVerifySingle
	)

Test full recursive verification for 2 multilinear polynomials and a shift of one of them including pairing check and ensure that regardless of circuit size, recursive Shplemini produces the same number of gates.

Definition at line 28 of file shplemini.test.cpp.

Variable Documentation

shplemini_engine

numeric::RNG& shplemini_engine = numeric::get_debug_randomness()

Definition at line 21 of file shplemini.test.cpp.