pairing_checks.hpp

Go to the documentation of this file.

 
#ifndef PAIRING_CHECKS_HPP_
#define PAIRING_CHECKS_HPP_
 
#include "libsnark/gadgetlib1/gadgets/pairing/pairing_params.hpp"
 
#include <memory>
 
namespace libsnark
{
 
template<typename ppT>
class check_e_equals_e_gadget : public gadget<libff::Fr<ppT>>
{
public:
    typedef libff::Fr<ppT> FieldT;
 
    std::shared_ptr<Fqk_variable<ppT>> ratio;
    std::shared_ptr<e_over_e_miller_loop_gadget<ppT>> compute_ratio;
    std::shared_ptr<final_exp_gadget<ppT>> check_finexp;
 
    G1_precomputation<ppT> lhs_G1;
    G2_precomputation<ppT> lhs_G2;
    G1_precomputation<ppT> rhs_G1;
    G2_precomputation<ppT> rhs_G2;
 
    pb_variable<FieldT> result;
 
    check_e_equals_e_gadget(
        protoboard<FieldT> &pb,
        const G1_precomputation<ppT> &lhs_G1,
        const G2_precomputation<ppT> &lhs_G2,
        const G1_precomputation<ppT> &rhs_G1,
        const G2_precomputation<ppT> &rhs_G2,
        const pb_variable<FieldT> &result,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
 
    void generate_r1cs_witness();
};
 
template<typename ppT>
class check_e_equals_ee_gadget : public gadget<libff::Fr<ppT>>
{
public:
    typedef libff::Fr<ppT> FieldT;
 
    std::shared_ptr<Fqk_variable<ppT>> ratio;
    std::shared_ptr<e_times_e_over_e_miller_loop_gadget<ppT>> compute_ratio;
    std::shared_ptr<final_exp_gadget<ppT>> check_finexp;
 
    G1_precomputation<ppT> lhs_G1;
    G2_precomputation<ppT> lhs_G2;
    G1_precomputation<ppT> rhs1_G1;
    G2_precomputation<ppT> rhs1_G2;
    G1_precomputation<ppT> rhs2_G1;
    G2_precomputation<ppT> rhs2_G2;
 
    pb_variable<FieldT> result;
 
    check_e_equals_ee_gadget(
        protoboard<FieldT> &pb,
        const G1_precomputation<ppT> &lhs_G1,
        const G2_precomputation<ppT> &lhs_G2,
        const G1_precomputation<ppT> &rhs1_G1,
        const G2_precomputation<ppT> &rhs1_G2,
        const G1_precomputation<ppT> &rhs2_G1,
        const G2_precomputation<ppT> &rhs2_G2,
        const pb_variable<FieldT> &result,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
 
    void generate_r1cs_witness();
};
 
template<typename ppT>
class check_e_equals_eee_gadget : public gadget<libff::Fr<ppT>>
{
public:
    typedef libff::Fr<ppT> FieldT;
 
    std::shared_ptr<Fqk_variable<ppT>> ratio;
    std::shared_ptr<e_times_e_times_e_over_e_miller_loop_gadget<ppT>>
        compute_ratio;
    std::shared_ptr<final_exp_gadget<ppT>> check_finexp;
 
    G1_precomputation<ppT> lhs_G1;
    G2_precomputation<ppT> lhs_G2;
    G1_precomputation<ppT> rhs1_G1;
    G2_precomputation<ppT> rhs1_G2;
    G1_precomputation<ppT> rhs2_G1;
    G2_precomputation<ppT> rhs2_G2;
    G1_precomputation<ppT> rhs3_G1;
    G2_precomputation<ppT> rhs3_G2;
 
    pb_variable<FieldT> result;
 
    check_e_equals_eee_gadget(
        protoboard<FieldT> &pb,
        const G1_precomputation<ppT> &lhs_G1,
        const G2_precomputation<ppT> &lhs_G2,
        const G1_precomputation<ppT> &rhs1_G1,
        const G2_precomputation<ppT> &rhs1_G2,
        const G1_precomputation<ppT> &rhs2_G1,
        const G2_precomputation<ppT> &rhs2_G2,
        const G1_precomputation<ppT> &rhs3_G1,
        const G2_precomputation<ppT> &rhs3_G2,
        const pb_variable<FieldT> &result,
        const std::string &annotation_prefix);
 
    void generate_r1cs_constraints();
    void generate_r1cs_witness();
};
 
} // namespace libsnark
 
#include <libsnark/gadgetlib1/gadgets/pairing/pairing_checks.tcc>
 
#endif // PAIRING_CHECKS_HPP_