integration.cpp File Reference

#include <libsnark/gadgetlib2/adapters.hpp>
#include <libsnark/gadgetlib2/integration.hpp>

Include dependency graph for integration.cpp:

Go to the source code of this file.

Namespaces
	libsnark

Functions
linear_combination< libff::Fr< libff::default_ec_pp > >	libsnark::convert_gadgetlib2_linear_combination (const gadgetlib2::GadgetLibAdapter::linear_combination_t &lc)
r1cs_constraint_system< libff::Fr< libff::default_ec_pp > >	libsnark::get_constraint_system_from_gadgetlib2 (const gadgetlib2::Protoboard &pb)
r1cs_variable_assignment< libff::Fr< libff::default_ec_pp > >	libsnark::get_variable_assignment_from_gadgetlib2 (const gadgetlib2::Protoboard &pb)

Detailed Description

Author

This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file integration.cpp.