nil::crypto3::zk::snark::r1cs_pcd_message< FieldType > Struct Template Referenceabstract

#include <compliance_predicate.hpp>

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

Public Member Functions

r1cs_variable_assignment< FieldType > as_r1cs_variable_assignment () const
 
virtual r1cs_variable_assignment< FieldType > payload_as_r1cs_variable_assignment () const =0
 
 r1cs_pcd_message (std::size_t type)
 
virtual ~r1cs_pcd_message ()=default
 

Public Attributes

std::size_t type
 

Detailed Description

template<typename FieldType>
struct nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >

A message for R1CS PCD.

It is a pair, consisting of

  • a type (a positive integer), and
  • a payload (a vector of field elements).

Constructor & Destructor Documentation

◆ r1cs_pcd_message()

template<typename FieldType >
nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >::r1cs_pcd_message ( std::size_t  type)
inline

◆ ~r1cs_pcd_message()

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

Member Function Documentation

◆ as_r1cs_variable_assignment()

template<typename FieldType >
r1cs_variable_assignment<FieldType> nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >::as_r1cs_variable_assignment ( ) const
inline

◆ payload_as_r1cs_variable_assignment()

template<typename FieldType >
virtual r1cs_variable_assignment<FieldType> nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >::payload_as_r1cs_variable_assignment ( ) const
pure virtual

Member Data Documentation

◆ type

template<typename FieldType >
std::size_t nil::crypto3::zk::snark::r1cs_pcd_message< FieldType >::type

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