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

#include <comparison.hpp>

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

Public Member Functions

 comparison (blueprint< FieldType > &bp, std::size_t n, const blueprint_linear_combination< FieldType > &A, const blueprint_linear_combination< FieldType > &B, const blueprint_variable< FieldType > &less, const blueprint_variable< FieldType > &less_or_eq)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 

Public Attributes

const blueprint_linear_combination< FieldType > A
 
const blueprint_linear_combination< FieldType > B
 
const blueprint_variable< FieldType > less
 
const blueprint_variable< FieldType > less_or_eq
 
const std::size_t n
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ comparison()

template<typename FieldType >
nil::crypto3::zk::components::comparison< FieldType >::comparison ( blueprint< FieldType > &  bp,
std::size_t  n,
const blueprint_linear_combination< FieldType > &  A,
const blueprint_linear_combination< FieldType > &  B,
const blueprint_variable< FieldType > &  less,
const blueprint_variable< FieldType > &  less_or_eq 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

template<typename FieldType >
void nil::crypto3::zk::components::comparison< FieldType >::generate_r1cs_constraints ( )
inline

◆ generate_r1cs_witness()

template<typename FieldType >
void nil::crypto3::zk::components::comparison< FieldType >::generate_r1cs_witness ( )
inline

Member Data Documentation

◆ A

template<typename FieldType >
const blueprint_linear_combination<FieldType> nil::crypto3::zk::components::comparison< FieldType >::A

◆ B

template<typename FieldType >
const blueprint_linear_combination<FieldType> nil::crypto3::zk::components::comparison< FieldType >::B

◆ bp

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

◆ less

template<typename FieldType >
const blueprint_variable<FieldType> nil::crypto3::zk::components::comparison< FieldType >::less

◆ less_or_eq

template<typename FieldType >
const blueprint_variable<FieldType> nil::crypto3::zk::components::comparison< FieldType >::less_or_eq

◆ n

template<typename FieldType >
const std::size_t nil::crypto3::zk::components::comparison< FieldType >::n
The documentation for this class was generated from the following file: