#include "barretenberg/hypernova/hypernova_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/flavor/mega_app_flavor.hpp"
#include "barretenberg/flavor/mega_app_recursive_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_recursive_flavor.hpp"
#include "barretenberg/hypernova/hypernova_prover.hpp"
#include "barretenberg/hypernova/test_utils.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/stdlib_circuit_builders/mock_circuits.hpp"
#include "barretenberg/transcript/transcript_manifest.hpp"
#include "gtest/gtest.h"
#include <optional>
#include <vector>

Classes
class	HypernovaFoldingVerifierTests

Functions
template<typename Flavor >
TranscriptManifest	build_expected_folding_manifest ()
	Build the expected HyperNova folding transcript manifest for a "previous accumulator + one instance" fold.

	TEST_F (HypernovaFoldingVerifierTests, FoldVariableWidth)

	TEST_F (HypernovaFoldingVerifierTests, FoldWithPreviousAccumulator)

	TEST_F (HypernovaFoldingVerifierTests, FoldMixedFlavors)

	TEST_F (HypernovaFoldingVerifierTests, TamperInstance)

	TEST_F (HypernovaFoldingVerifierTests, KernelFoldingManifestMatchesExpected)

	TEST_F (HypernovaFoldingVerifierTests, AppFoldingManifestMatchesExpected)

Function Documentation

◆ build_expected_folding_manifest()

template<typename Flavor >

TranscriptManifest build_expected_folding_manifest ( )

Build the expected HyperNova folding transcript manifest for a "previous accumulator + one instance" fold.

This is the 2-claim folding session: one incoming instance's Oink + Sumcheck + batching challenges, followed by the 2-claim multilinear batching (the previous accumulator is held in memory, not in the transcript). The two slim flavors differ only in which databus columns are committed (from Flavor::BUILDER_BUS_INDICES) and whether LogDerivLookup is present (apps keep it, kernels drop it). Rounds: oink (0-2), instance sumcheck, batching challenges + MLB alpha, MLB sumcheck, MLB final evaluations + merge challenge.

Definition at line 27 of file hypernova_verifier.test.cpp.

◆ TEST_F() [1/6]

TEST_F	(	HypernovaFoldingVerifierTests	,
		AppFoldingManifestMatchesExpected
	)

Definition at line 500 of file hypernova_verifier.test.cpp.

◆ TEST_F() [2/6]

TEST_F	(	HypernovaFoldingVerifierTests	,
		FoldMixedFlavors
	)

Definition at line 427 of file hypernova_verifier.test.cpp.

◆ TEST_F() [3/6]

TEST_F	(	HypernovaFoldingVerifierTests	,
		FoldVariableWidth
	)

Definition at line 410 of file hypernova_verifier.test.cpp.

◆ TEST_F() [4/6]

TEST_F	(	HypernovaFoldingVerifierTests	,
		FoldWithPreviousAccumulator
	)

Definition at line 417 of file hypernova_verifier.test.cpp.

◆ TEST_F() [5/6]

TEST_F	(	HypernovaFoldingVerifierTests	,
		KernelFoldingManifestMatchesExpected
	)

Definition at line 495 of file hypernova_verifier.test.cpp.

◆ TEST_F() [6/6]

TEST_F	(	HypernovaFoldingVerifierTests	,
		TamperInstance
	)

Definition at line 487 of file hypernova_verifier.test.cpp.

Classes

Functions