set_commitment_component.hpp
Go to the documentation of this file.
Definition: set_commitment_component.hpp:44
set_commitment_component(blueprint< FieldType > &bp, const std::size_t max_entries, const blueprint_variable_vector< FieldType > &element_bits, const set_commitment_variable< FieldType, Hash > &root_digest, const set_membership_proof_variable< FieldType, Hash > &proof, const blueprint_linear_combination< FieldType > &check_successful)
Definition: set_commitment_component.hpp:58
blueprint_linear_combination< FieldType > check_successful
Definition: set_commitment_component.hpp:56
void generate_r1cs_constraints()
Definition: set_commitment_component.hpp:86
set_membership_proof_variable< FieldType, Hash > proof
Definition: set_commitment_component.hpp:55
std::size_t tree_depth
Definition: set_commitment_component.hpp:52
set_commitment_variable< FieldType, Hash > root_digest
Definition: set_commitment_component.hpp:54
static std::size_t root_size_in_bits()
Definition: set_commitment_component.hpp:102
void generate_r1cs_witness()
Definition: set_commitment_component.hpp:94
blueprint_variable_vector< FieldType > element_bits
Definition: set_commitment_component.hpp:53
Definition: set_membership_proof_variable.hpp:44
Definition: snark/proof.hpp:37
digest_variable< FieldType > set_commitment_variable
Definition: set_commitment_component.hpp:41
Definition: pair.hpp:31