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"

Go to the source code of this file.

Classes
class	bb::ShpleminiTest< Flavor >

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.