fp6_2over3_gadgets.hpp File Reference

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

Include dependency graph for fp6_2over3_gadgets.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::Fp6_2over3_variable< Fp6T >
class	libsnark::Fp6_2over3_mul_gadget< Fp6T >
class	libsnark::Fp6_2over3_mul_by_2345_gadget< Fp6T >
class	libsnark::Fp6_2over3_sqr_gadget< Fp6T >
class	libsnark::Fp6_2over3_cyclotomic_sqr_gadget< Fp6T >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for Fp6 gadgets.

The gadgets verify field arithmetic in Fp6 = Fp3[Y]/(Y^2-X) where Fp3 = Fp[X]/(X^3-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 fp6_2over3_gadgets.hpp.