#include <cassert>
#include <libsnark/gadgetlib1/gadget.hpp>
#include <memory>
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.tcc>

Include dependency graph for basic_gadgets.hpp:

This graph shows which files directly or indirectly include this file:

Classes
class	libsnark::packing_gadget< FieldT >

class	libsnark::multipacking_gadget< FieldT >

class	libsnark::field_vector_copy_gadget< FieldT >

class	libsnark::bit_vector_copy_gadget< FieldT >

class	libsnark::dual_variable_gadget< FieldT >

class	libsnark::disjunction_gadget< FieldT >
	Output is 0 iff the sum of inputs is 0. Output is 1 otherwise. More...

class	libsnark::conjunction_gadget< FieldT >

class	libsnark::comparison_gadget< FieldT >

class	libsnark::inner_product_gadget< FieldT >

class	libsnark::loose_multiplexing_gadget< FieldT >

Functions
template<typename FieldT >
void	libsnark::generate_boolean_r1cs_constraint (protoboard< FieldT > &pb, const pb_linear_combination< FieldT > &lc, const std::string &annotation_prefix="")

template<typename FieldT >
void	libsnark::generate_r1cs_equals_const_constraint (protoboard< FieldT > &pb, const pb_linear_combination< FieldT > &lc, const FieldT &c, const std::string &annotation_prefix="")

template<typename FieldT , typename VarT >
void	libsnark::create_linear_combination_constraints (protoboard< FieldT > &pb, const std::vector< FieldT > &base, const std::vector< std::pair< VarT, FieldT >> &v, const VarT &target, const std::string &annotation_prefix)

template<typename FieldT , typename VarT >
void	libsnark::create_linear_combination_witness (protoboard< FieldT > &pb, const std::vector< FieldT > &base, const std::vector< std::pair< VarT, FieldT >> &v, const VarT &target)

Detailed Description

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

Definition in file basic_gadgets.hpp.

Classes