fp4_gadgets.hpp File Reference

#include <libsnark/gadgetlib1/gadget.hpp>
#include <libsnark/gadgetlib1/gadgets/fields/fp2_gadgets.hpp>
#include <libsnark/gadgetlib1/gadgets/fields/fp4_gadgets.tcc>

Include dependency graph for fp4_gadgets.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::Fp4_variable< Fp4T >
class	libsnark::Fp4_tower_mul_gadget< Fp4T >
class	libsnark::Fp4_direct_mul_gadget< Fp4T >
class	libsnark::Fp4_sqr_gadget< Fp4T >
class	libsnark::Fp4_cyclotomic_sqr_gadget< Fp4T >

Namespaces
	libsnark

Typedefs
template<typename Fp4T >
using	libsnark::Fp4_mul_gadget = Fp4_direct_mul_gadget< Fp4T >

Detailed Description

Declaration of interfaces for Fp4 gadgets.

The gadgets verify field arithmetic in Fp4 = Fp2[V]/(V^2-U) where Fp2 = Fp[U]/(U^2-non_residue) and non_residue is in Fp.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file fp4_gadgets.hpp.