Public Member Functions
uint64_t	trimmed_leaf_index () const

std::span< const FF >	trimmed_sibling_path () const

	MSGPACK_FIELDS (is_write, current_value, new_value, leaf_index, sibling_path, root, tree_height)

Public Attributes
bool	is_write = false

FF	current_value = 0

FF	new_value = 0

uint64_t	leaf_index = 0

std::array< FF, 64 >	sibling_path

FF	root = 0

uint64_t	tree_height = 10

Detailed Description

Definition at line 35 of file merkle_check.fuzzer.cpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

MerkleCheckFuzzerInput::MSGPACK_FIELDS	(	is_write	,
		current_value	,
		new_value	,
		leaf_index	,
		sibling_path	,
		root	,
		tree_height
	)

◆ trimmed_leaf_index()

uint64_t MerkleCheckFuzzerInput::trimmed_leaf_index ( ) const

inline

Definition at line 44 of file merkle_check.fuzzer.cpp.

◆ trimmed_sibling_path()

std::span< const FF > MerkleCheckFuzzerInput::trimmed_sibling_path ( ) const

inline

Definition at line 50 of file merkle_check.fuzzer.cpp.

Member Data Documentation

◆ current_value

FF MerkleCheckFuzzerInput::current_value = 0

Definition at line 37 of file merkle_check.fuzzer.cpp.

◆ is_write

bool MerkleCheckFuzzerInput::is_write = false

Definition at line 36 of file merkle_check.fuzzer.cpp.

◆ leaf_index

uint64_t MerkleCheckFuzzerInput::leaf_index = 0

Definition at line 39 of file merkle_check.fuzzer.cpp.

◆ new_value

FF MerkleCheckFuzzerInput::new_value = 0

Definition at line 38 of file merkle_check.fuzzer.cpp.

◆ root

FF MerkleCheckFuzzerInput::root = 0

Definition at line 41 of file merkle_check.fuzzer.cpp.

◆ sibling_path

std::array<FF, 64> MerkleCheckFuzzerInput::sibling_path

Definition at line 40 of file merkle_check.fuzzer.cpp.

◆ tree_height

uint64_t MerkleCheckFuzzerInput::tree_height = 10

Definition at line 42 of file merkle_check.fuzzer.cpp.

The documentation for this struct was generated from the following file:

src/barretenberg/avm_fuzzer/harness/merkle_check.fuzzer.cpp

Public Member Functions

Public Attributes