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

#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:

• cp_handler.hpp