benes_routing_gadget.hpp File Reference

#include <libsnark/common/data_structures/integer_permutation.hpp>
#include <libsnark/common/routing_algorithms/benes_routing_algorithm.hpp>
#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#include <libsnark/gadgetlib1/protoboard.hpp>
#include <libsnark/gadgetlib1/gadgets/routing/benes_routing_gadget.tcc>

Include dependency graph for benes_routing_gadget.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::benes_routing_gadget< FieldT >

Namespaces
	libsnark

Functions
template<typename FieldT >
void	libsnark::test_benes_routing_gadget (const size_t num_packets, const size_t packet_size)

Detailed Description

Declaration of interfaces for the Benes routing gadget.

The gadget verifies that the outputs are a permutation of the inputs, by use of a Benes network.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file benes_routing_gadget.hpp.