pairing_checks.hpp File Reference

#include "libsnark/gadgetlib1/gadgets/pairing/pairing_params.hpp"
#include <memory>
#include <libsnark/gadgetlib1/gadgets/pairing/pairing_checks.tcc>

Include dependency graph for pairing_checks.hpp:

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

Go to the source code of this file.

Classes
class	libsnark::check_e_equals_e_gadget< ppT >
class	libsnark::check_e_equals_ee_gadget< ppT >
class	libsnark::check_e_equals_eee_gadget< ppT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for pairing-check gadgets.

Given that e(.,.) denotes a pairing,

• the gadget "check_e_equals_e_gadget" checks the equation "e(P1,Q1)=e(P2,Q2)"; and

• the gadget "check_e_equals_ee_gadget" checks the equation "e(P1,Q1)=e(P2,Q2)*e(P3,Q3)".

  Author

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

  Copyright

  MIT license (see LICENSE file)

Definition in file pairing_checks.hpp.