This file contains part of the logic for the Origin Tag mechanism that tracks the use of in-circuit primitives through tainting (common term meaning adding information that allows to track value origins) them. It then allows us to detect dangerous behaviours in-circuit. The mechanism is only enabled in DEBUG builds. More...

#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include "barretenberg/numeric/uint256/uint256.hpp"
#include <cstddef>
#include <ostream>

Classes
struct	bb::OriginTag

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

Concepts
concept	usesTag

Macros
#define	DISABLE_FREE_WITNESS_CHECK

#define	DISABLE_DIFFERENT_TRANSCRIPT_CHECKS

#define	DISABLE_CHILD_TAG_CHECKS

#define	STANDARD_TESTING_TAGS

Functions
void	bb::check_child_tags (const uint256_t &tag_a, const uint256_t &tag_b)
	Detect if two elements from the same transcript are performing a suspicious interaction.

std::ostream &	bb::operator<< (std::ostream &os, OriginTag const &v)

Detailed Description

This file contains part of the logic for the Origin Tag mechanism that tracks the use of in-circuit primitives through tainting (common term meaning adding information that allows to track value origins) them. It then allows us to detect dangerous behaviours in-circuit. The mechanism is only enabled in DEBUG builds.

Author: Rumata888

Definition in file origin_tag.hpp.

Macro Definition Documentation

◆ DISABLE_CHILD_TAG_CHECKS

#define DISABLE_CHILD_TAG_CHECKS

Definition at line 26 of file origin_tag.hpp.

◆ DISABLE_DIFFERENT_TRANSCRIPT_CHECKS

#define DISABLE_DIFFERENT_TRANSCRIPT_CHECKS

Definition at line 25 of file origin_tag.hpp.

◆ DISABLE_FREE_WITNESS_CHECK

#define DISABLE_FREE_WITNESS_CHECK

Definition at line 24 of file origin_tag.hpp.

◆ STANDARD_TESTING_TAGS

#define STANDARD_TESTING_TAGS

Definition at line 32 of file origin_tag.hpp.

Classes

Namespaces

Concepts