compliance_predicate.hpp

Go to the documentation of this file.

 
#ifndef COMPLIANCE_PREDICATE_HPP_
#define COMPLIANCE_PREDICATE_HPP_
 
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
#include <memory>
 
namespace libsnark
{
 
/********************************* Message ***********************************/
 
template<typename FieldT> class r1cs_pcd_message
{
public:
    size_t type;
 
    r1cs_pcd_message(const size_t type);
    virtual r1cs_variable_assignment<FieldT> payload_as_r1cs_variable_assignment()
        const = 0;
    r1cs_variable_assignment<FieldT> as_r1cs_variable_assignment() const;
 
    virtual void print() const;
    virtual ~r1cs_pcd_message() = default;
};
 
/******************************* Local data **********************************/
 
template<typename FieldT> class r1cs_pcd_local_data
{
public:
    r1cs_pcd_local_data() = default;
    virtual r1cs_variable_assignment<FieldT> as_r1cs_variable_assignment()
        const = 0;
    virtual ~r1cs_pcd_local_data() = default;
};
 
/******************************** Witness ************************************/
 
template<typename FieldT> using r1cs_pcd_witness = std::vector<FieldT>;
 
/*************************** Compliance predicate ****************************/
 
template<typename FieldT> class r1cs_pcd_compliance_predicate;
 
template<typename FieldT>
std::ostream &operator<<(
    std::ostream &out, const r1cs_pcd_compliance_predicate<FieldT> &cp);
 
template<typename FieldT>
std::istream &operator>>(
    std::istream &in, r1cs_pcd_compliance_predicate<FieldT> &cp);
 
template<typename FieldT> class r1cs_pcd_compliance_predicate
{
public:
    size_t name;
    size_t type;
 
    r1cs_constraint_system<FieldT> constraint_system;
 
    size_t outgoing_message_payload_length;
    size_t max_arity;
    std::vector<size_t> incoming_message_payload_lengths;
    size_t local_data_length;
    size_t witness_length;
 
    bool relies_on_same_type_inputs;
    std::set<size_t> accepted_input_types;
 
    r1cs_pcd_compliance_predicate() = default;
    r1cs_pcd_compliance_predicate(
        r1cs_pcd_compliance_predicate<FieldT> &&other) = default;
    r1cs_pcd_compliance_predicate(
        const r1cs_pcd_compliance_predicate<FieldT> &other) = default;
    r1cs_pcd_compliance_predicate(
        const size_t name,
        const size_t type,
        const r1cs_constraint_system<FieldT> &constraint_system,
        const size_t outgoing_message_payload_length,
        const size_t max_arity,
        const std::vector<size_t> &incoming_message_payload_lengths,
        const size_t local_data_length,
        const size_t witness_length,
        const bool relies_on_same_type_inputs,
        const std::set<size_t> accepted_input_types = std::set<size_t>());
 
    r1cs_pcd_compliance_predicate<FieldT> &operator=(
        const r1cs_pcd_compliance_predicate<FieldT> &other) = default;
 
    bool is_well_formed() const;
    bool has_equal_input_and_output_lengths() const;
    bool has_equal_input_lengths() const;
 
    bool is_satisfied(
        const std::shared_ptr<r1cs_pcd_message<FieldT>> &outgoing_message,
        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) const;
 
    bool operator==(const r1cs_pcd_compliance_predicate<FieldT> &other) const;
    friend std::ostream &operator<<<FieldT>(
        std::ostream &out, const r1cs_pcd_compliance_predicate<FieldT> &cp);
    friend std::istream &operator>>
        <FieldT>(std::istream &in, r1cs_pcd_compliance_predicate<FieldT> &cp);
};
 
} // namespace libsnark
 
#include <libsnark/zk_proof_systems/pcd/r1cs_pcd/compliance_predicate/compliance_predicate.tcc>
 
#endif // COMPLIANCE_PREDICATE_HPP_