tbcs_examples.hpp

Go to the documentation of this file.

 
#ifndef TBCS_EXAMPLES_HPP_
#define TBCS_EXAMPLES_HPP_
 
#include <libsnark/relations/circuit_satisfaction_problems/tbcs/tbcs.hpp>
 
namespace libsnark
{
 
struct tbcs_example {
 
    tbcs_circuit circuit;
    tbcs_primary_input primary_input;
    tbcs_auxiliary_input auxiliary_input;
 
    tbcs_example() = default;
    tbcs_example(const tbcs_example &other) = default;
    tbcs_example(
        const tbcs_circuit &circuit,
        const tbcs_primary_input &primary_input,
        const tbcs_auxiliary_input &auxiliary_input)
        : circuit(circuit)
        , primary_input(primary_input)
        , auxiliary_input(auxiliary_input)
    {
    }
 
    tbcs_example(
        tbcs_circuit &&circuit,
        tbcs_primary_input &&primary_input,
        tbcs_auxiliary_input &&auxiliary_input)
        : circuit(std::move(circuit))
        , primary_input(std::move(primary_input))
        , auxiliary_input(std::move(auxiliary_input))
    {
    }
};
 
tbcs_example generate_tbcs_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
 
#endif // TBCS_EXAMPLES_HPP_