bacs_examples.hpp

Go to the documentation of this file.

 
#ifndef BACS_EXAMPLES_HPP_
#define BACS_EXAMPLES_HPP_
 
#include <libsnark/relations/circuit_satisfaction_problems/bacs/bacs.hpp>
 
namespace libsnark
{
 
template<typename FieldT> struct bacs_example {
 
    bacs_circuit<FieldT> circuit;
    bacs_primary_input<FieldT> primary_input;
    bacs_auxiliary_input<FieldT> auxiliary_input;
 
    bacs_example<FieldT>() = default;
    bacs_example<FieldT>(const bacs_example<FieldT> &other) = default;
    bacs_example<FieldT>(
        const bacs_circuit<FieldT> &circuit,
        const bacs_primary_input<FieldT> &primary_input,
        const bacs_auxiliary_input<FieldT> &auxiliary_input)
        : circuit(circuit)
        , primary_input(primary_input)
        , auxiliary_input(auxiliary_input)
    {
    }
 
    bacs_example<FieldT>(
        bacs_circuit<FieldT> &&circuit,
        bacs_primary_input<FieldT> &&primary_input,
        bacs_auxiliary_input<FieldT> &&auxiliary_input)
        : circuit(std::move(circuit))
        , primary_input(std::move(primary_input))
        , auxiliary_input(std::move(auxiliary_input))
    {
    }
};
 
template<typename FieldT>
bacs_example<FieldT> generate_bacs_example(
    const size_t primary_input_size,
    const size_t auxiliary_input_size,
    const size_t num_gates,
    const size_t num_outputs);
 
} // namespace libsnark
 
#include <libsnark/relations/circuit_satisfaction_problems/bacs/examples/bacs_examples.tcc>
 
#endif // BACS_EXAMPLES_HPP_