nil::crypto3::zk::components::XOR3_component< FieldType > Class Template Reference

#include <sha256_aux.hpp>

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

Public Member Functions

void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 
 XOR3_component (blueprint< FieldType > &bp, const blueprint_linear_combination< FieldType > &A, const blueprint_linear_combination< FieldType > &B, const blueprint_linear_combination< FieldType > &C, bool assume_C_is_zero, const blueprint_linear_combination< FieldType > &out)
 

Public Attributes

blueprint_linear_combination< FieldType > A
 
bool assume_C_is_zero
 
blueprint_linear_combination< FieldType > B
 
blueprint_linear_combination< FieldType > C
 
blueprint_linear_combination< FieldType > out
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ XOR3_component()

template<typename FieldType >
nil::crypto3::zk::components::XOR3_component< FieldType >::XOR3_component ( blueprint< FieldType > &  bp,
const blueprint_linear_combination< FieldType > &  A,
const blueprint_linear_combination< FieldType > &  B,
const blueprint_linear_combination< FieldType > &  C,
bool  assume_C_is_zero,
const blueprint_linear_combination< FieldType > &  out 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ A

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

◆ assume_C_is_zero

template<typename FieldType >
bool nil::crypto3::zk::components::XOR3_component< FieldType >::assume_C_is_zero

◆ B

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

◆ bp

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

◆ C

template<typename FieldType >
blueprint_linear_combination<FieldType> nil::crypto3::zk::components::XOR3_component< FieldType >::C

◆ out

template<typename FieldType >
blueprint_linear_combination<FieldType> nil::crypto3::zk::components::XOR3_component< FieldType >::out

The documentation for this class was generated from the following file: