nil::crypto3::zk::snark::r1cs_pcd_message_variable< FieldType > Class Template Referenceabstract

#include <cp_handler.hpp>

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

Public Member Functions

void generate_r1cs_witness (const std::shared_ptr< r1cs_pcd_message< FieldType >> &message)
 
virtual std::shared_ptr< r1cs_pcd_message< FieldType > > get_message () const =0
 
 r1cs_pcd_message_variable (blueprint< FieldType > &bp)
 
void update_all_vars ()
 
virtual ~r1cs_pcd_message_variable ()=default
 

Public Attributes

blueprint_variable_vector< FieldType > all_vars
 
blueprint_variable< FieldType > type
 

Protected Attributes

blueprint< FieldType > & bp
 
std::size_t num_vars_at_construction
 

Detailed Description

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

A variable to represent an r1cs_pcd_message.

Constructor & Destructor Documentation

◆ r1cs_pcd_message_variable()

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

◆ ~r1cs_pcd_message_variable()

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

Member Function Documentation

◆ generate_r1cs_witness()

template<typename FieldType >
void nil::crypto3::zk::snark::r1cs_pcd_message_variable< FieldType >::generate_r1cs_witness ( const std::shared_ptr< r1cs_pcd_message< FieldType >> &  message)

◆ get_message()

template<typename FieldType >
virtual std::shared_ptr<r1cs_pcd_message<FieldType> > nil::crypto3::zk::snark::r1cs_pcd_message_variable< FieldType >::get_message ( ) const
pure virtual

◆ update_all_vars()

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

Member Data Documentation

◆ all_vars

template<typename FieldType >
blueprint_variable_vector<FieldType> nil::crypto3::zk::snark::r1cs_pcd_message_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_message_variable< FieldType >::num_vars_at_construction
protected

◆ type

template<typename FieldType >
blueprint_variable<FieldType> nil::crypto3::zk::snark::r1cs_pcd_message_variable< FieldType >::type

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