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

#include <set_commitment_gadget.hpp>

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

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

Public Member Functions
	set_commitment_gadget (protoboard< FieldT > &pb, const size_t max_entries, const pb_variable_array< FieldT > &element_bits, const set_commitment_variable< FieldT, HashT > &root_digest, const set_membership_proof_variable< FieldT, HashT > &proof, const pb_linear_combination< FieldT > &check_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 ()

Public Attributes
size_t	tree_depth
pb_variable_array< FieldT >	element_bits
set_commitment_variable< FieldT, HashT >	root_digest
set_membership_proof_variable< FieldT, HashT >	proof
pb_linear_combination< FieldT >	check_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::set_commitment_gadget< FieldT, HashT >

Definition at line 23 of file set_commitment_gadget.hpp.

Constructor & Destructor Documentation

set_commitment_gadget()

template<typename FieldT , typename HashT >

libsnark::set_commitment_gadget< FieldT, HashT >::set_commitment_gadget	(	protoboard< FieldT > &	pb,
		const size_t	max_entries,
		const pb_variable_array< FieldT > &	element_bits,
		const set_commitment_variable< FieldT, HashT > &	root_digest,
		const set_membership_proof_variable< FieldT, HashT > &	proof,
		const pb_linear_combination< FieldT > &	check_successful,
		const std::string &	annotation_prefix
	)

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT , typename HashT >

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

(

)

generate_r1cs_witness()

template<typename FieldT , typename HashT >

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

(

)

root_size_in_bits()

template<typename FieldT , typename HashT >

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

static

Member Data Documentation

check_successful

template<typename FieldT , typename HashT >

pb_linear_combination<FieldT> libsnark::set_commitment_gadget< FieldT, HashT >::check_successful

Definition at line 37 of file set_commitment_gadget.hpp.

element_bits

template<typename FieldT , typename HashT >

pb_variable_array<FieldT> libsnark::set_commitment_gadget< FieldT, HashT >::element_bits

Definition at line 34 of file set_commitment_gadget.hpp.

proof

template<typename FieldT , typename HashT >

set_membership_proof_variable<FieldT, HashT> libsnark::set_commitment_gadget< FieldT, HashT >::proof

Definition at line 36 of file set_commitment_gadget.hpp.

root_digest

template<typename FieldT , typename HashT >

set_commitment_variable<FieldT, HashT> libsnark::set_commitment_gadget< FieldT, HashT >::root_digest

Definition at line 35 of file set_commitment_gadget.hpp.

tree_depth

template<typename FieldT , typename HashT >

size_t libsnark::set_commitment_gadget< FieldT, HashT >::tree_depth

Definition at line 33 of file set_commitment_gadget.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/gadgetlib1/gadgets/set_commitment/set_commitment_gadget.hpp