Public Member Functions | Public Attributes | Protected Attributes | List of all members
nil::crypto3::zk::components::dual_variable_component< FieldType > Class Template Reference

#include <packing.hpp>

+ Inheritance diagram for nil::crypto3::zk::components::dual_variable_component< FieldType >:
+ Collaboration diagram for nil::crypto3::zk::components::dual_variable_component< FieldType >:

Public Member Functions

 dual_variable_component (blueprint< FieldType > &bp, const blueprint_variable< FieldType > &packed, std::size_t width)
 
 dual_variable_component (blueprint< FieldType > &bp, const blueprint_variable_vector< FieldType > &bits)
 
 dual_variable_component (blueprint< FieldType > &bp, std::size_t width)
 
void generate_r1cs_constraints (bool enforce_bitness)
 
void generate_r1cs_witness_from_bits ()
 
void generate_r1cs_witness_from_packed ()
 

Public Attributes

blueprint_variable_vector< FieldType > bits
 
blueprint_variable< FieldType > packed
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ dual_variable_component() [1/3]

template<typename FieldType >
nil::crypto3::zk::components::dual_variable_component< FieldType >::dual_variable_component ( blueprint< FieldType > &  bp,
std::size_t  width 
)
inline

◆ dual_variable_component() [2/3]

template<typename FieldType >
nil::crypto3::zk::components::dual_variable_component< FieldType >::dual_variable_component ( blueprint< FieldType > &  bp,
const blueprint_variable_vector< FieldType > &  bits 
)
inline

◆ dual_variable_component() [3/3]

template<typename FieldType >
nil::crypto3::zk::components::dual_variable_component< FieldType >::dual_variable_component ( blueprint< FieldType > &  bp,
const blueprint_variable< FieldType > &  packed,
std::size_t  width 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldType >
void nil::crypto3::zk::components::dual_variable_component< FieldType >::generate_r1cs_constraints ( bool  enforce_bitness)
inline

◆ generate_r1cs_witness_from_bits()

template<typename FieldType >
void nil::crypto3::zk::components::dual_variable_component< FieldType >::generate_r1cs_witness_from_bits ( )
inline

◆ generate_r1cs_witness_from_packed()

template<typename FieldType >
void nil::crypto3::zk::components::dual_variable_component< FieldType >::generate_r1cs_witness_from_packed ( )
inline

Member Data Documentation

◆ bits

template<typename FieldType >
blueprint_variable_vector<FieldType> nil::crypto3::zk::components::dual_variable_component< FieldType >::bits

◆ bp

template<typename FieldType >
blueprint<FieldType>& nil::crypto3::zk::components::component< FieldType >::bp
protectedinherited

◆ packed

template<typename FieldType >
blueprint_variable<FieldType> nil::crypto3::zk::components::dual_variable_component< FieldType >::packed
The documentation for this class was generated from the following file: