bacs_to_r1cs.hpp

Go to the documentation of this file.

 
#ifndef BACS_TO_R1CS_HPP_
#define BACS_TO_R1CS_HPP_
 
#include <libsnark/relations/circuit_satisfaction_problems/bacs/bacs.hpp>
#include <libsnark/relations/constraint_satisfaction_problems/r1cs/r1cs.hpp>
 
namespace libsnark
{
 
template<typename FieldT>
r1cs_constraint_system<FieldT> bacs_to_r1cs_instance_map(
    const bacs_circuit<FieldT> &circuit);
 
template<typename FieldT>
r1cs_variable_assignment<FieldT> bacs_to_r1cs_witness_map(
    const bacs_circuit<FieldT> &circuit,
    const bacs_primary_input<FieldT> &primary_input,
    const bacs_auxiliary_input<FieldT> &auxiliary_input);
 
} // namespace libsnark
 
#include <libsnark/reductions/bacs_to_r1cs/bacs_to_r1cs.tcc>
 
#endif // BACS_TO_R1CS_HPP_