origin_tag.test.cpp File Reference

Tests for OriginTag cross-round provenance checking. More...

#include "barretenberg/transcript/origin_tag.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Functions
	TEST (OriginTag, RejectsCrossRoundMixingWithoutChallenge)
	TEST (OriginTag, RejectsStaleChallengeCoverage)
	TEST (OriginTag, AllowsProperlyBoundCrossRoundCombinations)
	TEST (OriginTag, AllowsSameRoundCombinationsWithoutChallenge)
	TEST (OriginTag, ConstantTagsAreNeutral)
	TEST (OriginTag, InstantDeathTagsThrow)
	TEST (OriginTag, RejectsCrossTranscriptCombinations)
	TEST (OriginTag, TranscriptIntegration)
	TEST (OriginTag, RejectsFreeWitnessInteraction)
	TEST (OriginTag, RetaggingReflectsProtocolConstraints)
	TEST (OriginTag, UniqueTagIds)

Detailed Description

Tests for OriginTag cross-round provenance checking.

OriginTag tracks the provenance of values in recursive verification circuits. The key security invariant: max(challenge_round) >= max(submitted_round). This ensures all submitted data is bound by an appropriate Fiat-Shamir challenge.

Definition in file origin_tag.test.cpp.

Function Documentation

TEST() [1/11]

TEST	(	OriginTag	,
		AllowsProperlyBoundCrossRoundCombinations
	)

Definition at line 72 of file origin_tag.test.cpp.

TEST() [2/11]

TEST	(	OriginTag	,
		AllowsSameRoundCombinationsWithoutChallenge
	)

Definition at line 94 of file origin_tag.test.cpp.

TEST() [3/11]

TEST	(	OriginTag	,
		ConstantTagsAreNeutral
	)

Definition at line 107 of file origin_tag.test.cpp.

TEST() [4/11]

TEST	(	OriginTag	,
		InstantDeathTagsThrow
	)

Definition at line 124 of file origin_tag.test.cpp.

TEST() [5/11]

TEST	(	OriginTag	,
		RejectsCrossRoundMixingWithoutChallenge
	)

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

TEST() [6/11]

TEST	(	OriginTag	,
		RejectsCrossTranscriptCombinations
	)

Definition at line 135 of file origin_tag.test.cpp.

TEST() [7/11]

TEST	(	OriginTag	,
		RejectsFreeWitnessInteraction
	)

Definition at line 189 of file origin_tag.test.cpp.

TEST() [8/11]

TEST	(	OriginTag	,
		RejectsStaleChallengeCoverage
	)

Definition at line 45 of file origin_tag.test.cpp.

TEST() [9/11]

TEST	(	OriginTag	,
		RetaggingReflectsProtocolConstraints
	)

Definition at line 211 of file origin_tag.test.cpp.

TEST() [10/11]

TEST	(	OriginTag	,
		TranscriptIntegration
	)

Definition at line 144 of file origin_tag.test.cpp.

TEST() [11/11]

TEST	(	OriginTag	,
		UniqueTagIds
	)

Definition at line 246 of file origin_tag.test.cpp.