Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
MerkleCheckFuzzerInput Struct Reference

Public Member Functions

uint64_t trimmed_leaf_index () const
 
std::span< const FF > trimmed_sibling_path () const
 
 SERIALIZATION_FIELDS (is_write, current_value, new_value, leaf_index, sibling_path, root, tree_height, domain_separator)
 

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
 
uint64_t domain_separator = DOM_SEP__MERKLE_HASH
 

Detailed Description

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

Member Function Documentation

◆ SERIALIZATION_FIELDS()

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

◆ trimmed_leaf_index()

uint64_t MerkleCheckFuzzerInput::trimmed_leaf_index ( ) const
inline

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

◆ trimmed_sibling_path()

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

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

Member Data Documentation

◆ current_value

FF MerkleCheckFuzzerInput::current_value = 0

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

◆ domain_separator

uint64_t MerkleCheckFuzzerInput::domain_separator = DOM_SEP__MERKLE_HASH

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

◆ is_write

bool MerkleCheckFuzzerInput::is_write = false

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

◆ leaf_index

uint64_t MerkleCheckFuzzerInput::leaf_index = 0

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

◆ new_value

FF MerkleCheckFuzzerInput::new_value = 0

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

◆ root

FF MerkleCheckFuzzerInput::root = 0

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

◆ sibling_path

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

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

◆ tree_height

uint64_t MerkleCheckFuzzerInput::tree_height = 10

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

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