libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT > Class Template Reference

#include <r1cs_pcd_params.hpp>

Public Member Functions
	r1cs_pcd_compliance_predicate_auxiliary_input (const std::vector< std::shared_ptr< r1cs_pcd_message< FieldT >>> &incoming_messages, const std::shared_ptr< r1cs_pcd_local_data< FieldT >> &local_data, const r1cs_pcd_witness< FieldT > &witness)
r1cs_auxiliary_input< FieldT >	as_r1cs_auxiliary_input (const std::vector< size_t > &incoming_message_payload_lengths) const

Public Attributes
std::vector< std::shared_ptr< r1cs_pcd_message< FieldT > > >	incoming_messages
std::shared_ptr< r1cs_pcd_local_data< FieldT > >	local_data
r1cs_pcd_witness< FieldT >	witness

Detailed Description

template<typename FieldT>
class libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >

Definition at line 30 of file r1cs_pcd_params.hpp.

Constructor & Destructor Documentation

r1cs_pcd_compliance_predicate_auxiliary_input()

template<typename FieldT >

libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >::r1cs_pcd_compliance_predicate_auxiliary_input ( const std::vector< std::shared_ptr< r1cs_pcd_message< FieldT >>> &  incoming_messages, const std::shared_ptr< r1cs_pcd_local_data< FieldT >> &  local_data, const r1cs_pcd_witness< FieldT > &  witness  )

inline

Definition at line 37 of file r1cs_pcd_params.hpp.

        : incoming_messages(incoming_messages)
        , local_data(local_data)
        , witness(witness)
    {
    }

Member Function Documentation

as_r1cs_auxiliary_input()

template<typename FieldT >

r1cs_auxiliary_input<FieldT> libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >::as_r1cs_auxiliary_input

(

const std::vector< size_t > &

incoming_message_payload_lengths

)

const

Member Data Documentation

incoming_messages

template<typename FieldT >

std::vector<std::shared_ptr<r1cs_pcd_message<FieldT> > > libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >::incoming_messages

Definition at line 33 of file r1cs_pcd_params.hpp.

local_data

template<typename FieldT >

std::shared_ptr<r1cs_pcd_local_data<FieldT> > libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >::local_data

Definition at line 34 of file r1cs_pcd_params.hpp.

witness

template<typename FieldT >

r1cs_pcd_witness<FieldT> libsnark::r1cs_pcd_compliance_predicate_auxiliary_input< FieldT >::witness

Definition at line 35 of file r1cs_pcd_params.hpp.

---

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

• /home/runner/work/libsnark/libsnark/libsnark/zk_proof_systems/pcd/r1cs_pcd/r1cs_pcd_params.hpp