Public Member Functions | Static Public Member Functions | Public Attributes | List of all members
nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash > Class Template Reference

#include <set_commitment_component.hpp>

+ Inheritance diagram for nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >:
+ Collaboration diagram for nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >:

Public Member Functions

void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
 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)
 

Static Public Member Functions

static std::size_t root_size_in_bits ()
 

Public Attributes

blueprint_linear_combination< FieldType > check_successful
 
blueprint_variable_vector< FieldType > element_bits
 
set_membership_proof_variable< FieldType, Hash > proof
 
set_commitment_variable< FieldType, Hash > root_digest
 
std::size_t tree_depth
 

Constructor & Destructor Documentation

◆ set_commitment_component()

template<typename FieldType , typename Hash >
nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::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 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldType , typename Hash >
void nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::generate_r1cs_constraints ( )
inline

◆ generate_r1cs_witness()

template<typename FieldType , typename Hash >
void nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::generate_r1cs_witness ( )
inline

◆ root_size_in_bits()

template<typename FieldType , typename Hash >
static std::size_t nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::root_size_in_bits ( )
inlinestatic

Member Data Documentation

◆ check_successful

template<typename FieldType , typename Hash >
blueprint_linear_combination<FieldType> nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::check_successful

◆ element_bits

template<typename FieldType , typename Hash >
blueprint_variable_vector<FieldType> nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::element_bits

◆ proof

template<typename FieldType , typename Hash >
set_membership_proof_variable<FieldType, Hash> nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::proof

◆ root_digest

template<typename FieldType , typename Hash >
set_commitment_variable<FieldType, Hash> nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::root_digest

◆ tree_depth

template<typename FieldType , typename Hash >
std::size_t nil::crypto3::zk::snark::components::set_commitment_component< FieldType, Hash >::tree_depth
The documentation for this class was generated from the following file: