r1cs_examples.hpp

Go to the documentation of this file.

 
#ifndef R1CS_EXAMPLES_HPP_
#define R1CS_EXAMPLES_HPP_
 
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
 
namespace libsnark
{
 
template<typename FieldT> struct r1cs_example {
    r1cs_constraint_system<FieldT> constraint_system;
    r1cs_primary_input<FieldT> primary_input;
    r1cs_auxiliary_input<FieldT> auxiliary_input;
 
    r1cs_example<FieldT>() = default;
    r1cs_example<FieldT>(
        const r1cs_constraint_system<FieldT> &constraint_system,
        const r1cs_primary_input<FieldT> &primary_input,
        const r1cs_auxiliary_input<FieldT> &auxiliary_input)
        : constraint_system(constraint_system)
        , primary_input(primary_input)
        , auxiliary_input(auxiliary_input){};
    r1cs_example<FieldT>(
        r1cs_constraint_system<FieldT> &&constraint_system,
        r1cs_primary_input<FieldT> &&primary_input,
        r1cs_auxiliary_input<FieldT> &&auxiliary_input)
        : constraint_system(std::move(constraint_system))
        , primary_input(std::move(primary_input))
        , auxiliary_input(std::move(auxiliary_input)){};
};
 
template<typename FieldT>
r1cs_example<FieldT> generate_r1cs_example_with_field_input(
    const size_t num_constraints, const size_t num_inputs);
 
template<typename FieldT>
r1cs_example<FieldT> generate_r1cs_example_with_binary_input(
    const size_t num_constraints, const size_t num_inputs);
 
} // namespace libsnark
 
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/examples/r1cs_examples.tcc>
 
#endif // R1CS_EXAMPLES_HPP_