set_membership_proof_variable.hpp
Go to the documentation of this file.
Definition: set_membership_proof_variable.hpp:44
set_membership_proof get_membership_proof() const
Definition: set_membership_proof_variable.hpp:78
static snark::r1cs_variable_assignment< FieldType > as_r1cs_variable_assignment(const set_membership_proof &proof)
Definition: set_membership_proof_variable.hpp:92
void generate_r1cs_witness(const set_membership_proof &proof)
Definition: set_membership_proof_variable.hpp:70
const std::size_t tree_depth
Definition: set_membership_proof_variable.hpp:50
void generate_r1cs_constraints()
Definition: set_membership_proof_variable.hpp:62
set_membership_proof_variable(blueprint< FieldType > &bp, const std::size_t max_entries)
Definition: set_membership_proof_variable.hpp:52
std::shared_ptr< merkle_authentication_path_variable< FieldType, Hash > > merkle_path
Definition: set_membership_proof_variable.hpp:47
const std::size_t max_entries
Definition: set_membership_proof_variable.hpp:49
blueprint_variable_vector< FieldType > address_bits
Definition: set_membership_proof_variable.hpp:46
Definition: snark/proof.hpp:37
std::vector< typename FieldType::value_type > r1cs_variable_assignment
Definition: r1cs.hpp:107
Definition: pair.hpp:31
Definition: blueprint/include/nil/crypto3/zk/components/schemes/snark/set_commitment.hpp:39
std::size_t address
Definition: blueprint/include/nil/crypto3/zk/components/schemes/snark/set_commitment.hpp:40
merkle_authentication_path merkle_path
Definition: blueprint/include/nil/crypto3/zk/components/schemes/snark/set_commitment.hpp:41