origin_tag.hpp File Reference

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>

Go to the source code of this file.

Classes
struct	bb::OriginTag

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

Concepts
concept	usesTag

Macros
#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 24 of file origin_tag.hpp.

STANDARD_TESTING_TAGS

#define STANDARD_TESTING_TAGS

Definition at line 26 of file origin_tag.hpp.