libsnark::merkle_tree_check_read_gadget< FieldT, HashT > Class Template Reference

#include <merkle_tree_check_read_gadget.hpp>

Inheritance diagram for libsnark::merkle_tree_check_read_gadget< FieldT, HashT >:

Collaboration diagram for libsnark::merkle_tree_check_read_gadget< FieldT, HashT >:

Public Member Functions
	merkle_tree_check_read_gadget (protoboard< FieldT > &pb, const size_t tree_depth, const pb_linear_combination_array< FieldT > &address_bits, const digest_variable< FieldT > &leaf_digest, const digest_variable< FieldT > &root_digest, const merkle_authentication_path_variable< FieldT, HashT > &path, const pb_linear_combination< FieldT > &read_successful, const std::string &annotation_prefix)
void	generate_r1cs_constraints ()
void	generate_r1cs_witness ()
Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Static Public Member Functions
static size_t	root_size_in_bits ()
static size_t	expected_constraints (const size_t tree_depth)

Public Attributes
const size_t	digest_size
const size_t	tree_depth
pb_linear_combination_array< FieldT >	address_bits
digest_variable< FieldT >	leaf
digest_variable< FieldT >	root
merkle_authentication_path_variable< FieldT, HashT >	path
pb_linear_combination< FieldT >	read_successful

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb
const std::string	annotation_prefix

Detailed Description

template<typename FieldT, typename HashT>
class libsnark::merkle_tree_check_read_gadget< FieldT, HashT >

Definition at line 30 of file merkle_tree_check_read_gadget.hpp.

Constructor & Destructor Documentation

merkle_tree_check_read_gadget()

template<typename FieldT , typename HashT >

libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::merkle_tree_check_read_gadget	(	protoboard< FieldT > &	pb,
		const size_t	tree_depth,
		const pb_linear_combination_array< FieldT > &	address_bits,
		const digest_variable< FieldT > &	leaf_digest,
		const digest_variable< FieldT > &	root_digest,
		const merkle_authentication_path_variable< FieldT, HashT > &	path,
		const pb_linear_combination< FieldT > &	read_successful,
		const std::string &	annotation_prefix
	)

Member Function Documentation

expected_constraints()

template<typename FieldT , typename HashT >

static size_t libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::expected_constraints ( const size_t  tree_depth )

static

generate_r1cs_constraints()

template<typename FieldT , typename HashT >

void libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT , typename HashT >

void libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::generate_r1cs_witness

(

)

root_size_in_bits()

template<typename FieldT , typename HashT >

static size_t libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::root_size_in_bits ( )

static

Member Data Documentation

address_bits

template<typename FieldT , typename HashT >

pb_linear_combination_array<FieldT> libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::address_bits

Definition at line 44 of file merkle_tree_check_read_gadget.hpp.

digest_size

template<typename FieldT , typename HashT >

const size_t libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::digest_size

Definition at line 42 of file merkle_tree_check_read_gadget.hpp.

leaf

template<typename FieldT , typename HashT >

digest_variable<FieldT> libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::leaf

Definition at line 45 of file merkle_tree_check_read_gadget.hpp.

path

template<typename FieldT , typename HashT >

merkle_authentication_path_variable<FieldT, HashT> libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::path

Definition at line 47 of file merkle_tree_check_read_gadget.hpp.

read_successful

template<typename FieldT , typename HashT >

pb_linear_combination<FieldT> libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::read_successful

Definition at line 48 of file merkle_tree_check_read_gadget.hpp.

root

template<typename FieldT , typename HashT >

digest_variable<FieldT> libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::root

Definition at line 46 of file merkle_tree_check_read_gadget.hpp.

tree_depth

template<typename FieldT , typename HashT >

const size_t libsnark::merkle_tree_check_read_gadget< FieldT, HashT >::tree_depth

Definition at line 43 of file merkle_tree_check_read_gadget.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/merkle_tree/merkle_tree_check_read_gadget.hpp