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

#include <packing.hpp>

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

Public Member Functions

 field_vector_copy_component (blueprint< FieldType > &bp, const blueprint_variable_vector< FieldType > &source, const blueprint_variable_vector< FieldType > &target, const blueprint_linear_combination< FieldType > &do_copy)
 
void generate_r1cs_constraints ()
 
void generate_r1cs_witness ()
 

Public Attributes

const blueprint_linear_combination< FieldType > do_copy
 
const blueprint_variable_vector< FieldType > source
 
const blueprint_variable_vector< FieldType > target
 

Protected Attributes

blueprint< FieldType > & bp
 

Constructor & Destructor Documentation

◆ field_vector_copy_component()

template<typename FieldType >
nil::crypto3::zk::components::field_vector_copy_component< FieldType >::field_vector_copy_component ( blueprint< FieldType > &  bp,
const blueprint_variable_vector< FieldType > &  source,
const blueprint_variable_vector< FieldType > &  target,
const blueprint_linear_combination< FieldType > &  do_copy 
)
inline

Member Function Documentation

◆ generate_r1cs_constraints()

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

◆ generate_r1cs_witness()

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

Member Data Documentation

◆ bp

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

◆ do_copy

template<typename FieldType >
const blueprint_linear_combination<FieldType> nil::crypto3::zk::components::field_vector_copy_component< FieldType >::do_copy

◆ source

template<typename FieldType >
const blueprint_variable_vector<FieldType> nil::crypto3::zk::components::field_vector_copy_component< FieldType >::source

◆ target

template<typename FieldType >
const blueprint_variable_vector<FieldType> nil::crypto3::zk::components::field_vector_copy_component< FieldType >::target

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