nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType > Class Template Reference

#include <cp_handler.hpp>

+ Inheritance diagram for nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >:
+ Collaboration diagram for nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >:

Public Member Functions

void generate_r1cs_witness (const std::shared_ptr< r1cs_pcd_local_data< FieldType >> &local_data)
 
 r1cs_pcd_local_data_variable (blueprint< FieldType > &bp)
 
void update_all_vars ()
 
virtual ~r1cs_pcd_local_data_variable ()=default
 

Public Attributes

blueprint_variable_vector< FieldType > all_vars
 

Protected Attributes

blueprint< FieldType > & bp
 
std::size_t num_vars_at_construction
 

Detailed Description

template<typename FieldType>
class nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >

A variable to represent an r1cs_pcd_local_data.

Constructor & Destructor Documentation

◆ r1cs_pcd_local_data_variable()

template<typename FieldType >
nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >::r1cs_pcd_local_data_variable ( blueprint< FieldType > &  bp)

◆ ~r1cs_pcd_local_data_variable()

template<typename FieldType >
virtual nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >::~r1cs_pcd_local_data_variable ( )
virtualdefault

Member Function Documentation

◆ generate_r1cs_witness()

template<typename FieldType >
void nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >::generate_r1cs_witness ( const std::shared_ptr< r1cs_pcd_local_data< FieldType >> &  local_data)

◆ update_all_vars()

template<typename FieldType >
void nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >::update_all_vars

Member Data Documentation

◆ all_vars

template<typename FieldType >
blueprint_variable_vector<FieldType> nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >::all_vars

◆ bp

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

◆ num_vars_at_construction

template<typename FieldType >
std::size_t nil::crypto3::zk::snark::r1cs_pcd_local_data_variable< FieldType >::num_vars_at_construction
protected

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