r1cs_pcd_params.hpp
Go to the documentation of this file.
Definition: r1cs_pcd_params.hpp:54
r1cs_pcd_witness< FieldType > witness
Definition: r1cs_pcd_params.hpp:58
r1cs_pcd_compliance_predicate_auxiliary_input(const std::vector< std::shared_ptr< r1cs_pcd_message< FieldType >>> &incoming_messages, const std::shared_ptr< r1cs_pcd_local_data< FieldType >> &local_data, const r1cs_pcd_witness< FieldType > &witness)
Definition: r1cs_pcd_params.hpp:60
r1cs_auxiliary_input< FieldType > as_r1cs_auxiliary_input(const std::vector< std::size_t > &incoming_message_payload_lengths) const
Definition: r1cs_pcd_params.hpp:68
std::shared_ptr< r1cs_pcd_local_data< FieldType > > local_data
Definition: r1cs_pcd_params.hpp:57
std::vector< std::shared_ptr< r1cs_pcd_message< FieldType > > > incoming_messages
Definition: r1cs_pcd_params.hpp:56
Definition: r1cs_pcd_params.hpp:40
r1cs_pcd_compliance_predicate_primary_input(const std::shared_ptr< r1cs_pcd_message< FieldType >> &outgoing_message)
Definition: r1cs_pcd_params.hpp:44
std::shared_ptr< r1cs_pcd_message< FieldType > > outgoing_message
Definition: r1cs_pcd_params.hpp:42
r1cs_primary_input< FieldType > as_r1cs_primary_input() const
Definition: r1cs_pcd_params.hpp:48
vector(T, U...) -> vector< std::enable_if_t<(std::is_same_v< T, U > &&...), T >, 1+sizeof...(U)>
deduction guide for uniform initialization
std::vector< typename FieldType::value_type > r1cs_auxiliary_input
Definition: r1cs.hpp:104
std::vector< typename FieldType::value_type > r1cs_pcd_witness
Definition: compliance_predicate.hpp:86
std::vector< typename FieldType::value_type > r1cs_primary_input
Definition: r1cs.hpp:101
std::vector< typename FieldType::value_type > r1cs_variable_assignment
Definition: r1cs.hpp:107
Definition: pair.hpp:31
Definition: compliance_predicate.hpp:77
Definition: compliance_predicate.hpp:56