mnt_miller_loop.hpp File Reference

#include "libsnark/gadgetlib1/gadgets/pairing/mnt/mnt_pairing_params.hpp"
#include "libsnark/gadgetlib1/gadgets/pairing/mnt/mnt_precomputation.hpp"
#include <memory>
#include "libsnark/gadgetlib1/gadgets/pairing/mnt/mnt_miller_loop.tcc"

Include dependency graph for mnt_miller_loop.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::mnt_miller_loop_dbl_line_eval< ppT >
class	libsnark::mnt_miller_loop_add_line_eval< ppT >
class	libsnark::mnt_miller_loop_gadget< ppT >
	Gadget for verifying a single Miller loop. More...
class	libsnark::mnt_e_over_e_miller_loop_gadget< ppT >
	Gadget for verifying a double Miller loop (where the second is inverted). More...
class	libsnark::mnt_e_times_e_over_e_miller_loop_gadget< ppT >
	Gadget for verifying a triple Miller loop (where the third is inverted). More...
class	libsnark::mnt_e_times_e_times_e_over_e_miller_loop_gadget< ppT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for gadgets for Miller loops.

The gadgets verify computations of (single or multiple simultaneous) Miller loops.

Author

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

Copyright

MIT license (see LICENSE file)

Definition in file mnt_miller_loop.hpp.