Clearmatics Libsnark  0.1
C++ library for zkSNARK proofs
Public Types | List of all members
libsnark::pairing_selector< libff::mnt4_pp > Class Reference

#include <mnt_pairing_params.hpp>

Public Types

typedef libff::Fr< libff::mnt4_pp > FieldT
 
typedef libff::Fqe< libff::mnt6_pp > FqeT
 
typedef libff::Fqk< libff::mnt6_pp > FqkT
 
typedef Fp3_variable< FqeTFqe_variable_type
 
typedef Fp3_mul_gadget< FqeTFqe_mul_gadget_type
 
typedef Fp3_mul_by_lc_gadget< FqeTFqe_mul_by_lc_gadget_type
 
typedef Fp3_sqr_gadget< FqeTFqe_sqr_gadget_type
 
typedef Fp6_2over3_variable< FqkTFqk_variable_type
 
typedef Fp6_2over3_mul_gadget< FqkTFqk_mul_gadget_type
 
typedef Fp6_2over3_sqr_gadget< FqkTFqk_sqr_gadget_type
 
typedef libff::mnt6_pp other_curve_type
 
typedef G1_checker_gadget< libff::mnt4_pp > G1_checker_type
 
typedef G2_checker_gadget< libff::mnt4_pp > G2_checker_type
 
typedef mnt_G1_precomputation< libff::mnt4_pp > G1_precomputation_type
 
typedef mnt_G2_precomputation< libff::mnt4_pp > G2_precomputation_type
 
typedef mnt_precompute_G1_gadget< libff::mnt4_pp > precompute_G1_gadget_type
 
typedef mnt_precompute_G2_gadget< libff::mnt4_pp > precompute_G2_gadget_type
 
typedef mnt_miller_loop_gadget< libff::mnt4_pp > miller_loop_gadget_type
 
typedef mnt_e_over_e_miller_loop_gadget< libff::mnt4_pp > e_over_e_miller_loop_gadget_type
 
typedef mnt_e_times_e_over_e_miller_loop_gadget< libff::mnt4_pp > e_times_e_over_e_miller_loop_gadget_type
 
typedef mnt_e_times_e_times_e_over_e_miller_loop_gadget< libff::mnt4_pp > e_times_e_times_e_over_e_miller_loop_gadget_type
 
typedef mnt4_final_exp_gadget< libff::mnt4_pp > final_exp_gadget_type
 

Detailed Description

Specialization for MNT4.

Definition at line 37 of file mnt_pairing_params.hpp.

Member Typedef Documentation

◆ e_over_e_miller_loop_gadget_type

Definition at line 65 of file mnt_pairing_params.hpp.

◆ e_times_e_over_e_miller_loop_gadget_type

Definition at line 67 of file mnt_pairing_params.hpp.

◆ e_times_e_times_e_over_e_miller_loop_gadget_type

Definition at line 69 of file mnt_pairing_params.hpp.

◆ FieldT

typedef libff::Fr<libff::mnt4_pp> libsnark::pairing_selector< libff::mnt4_pp >::FieldT

Definition at line 40 of file mnt_pairing_params.hpp.

◆ final_exp_gadget_type

typedef mnt4_final_exp_gadget<libff::mnt4_pp> libsnark::pairing_selector< libff::mnt4_pp >::final_exp_gadget_type

Definition at line 70 of file mnt_pairing_params.hpp.

◆ Fqe_mul_by_lc_gadget_type

Definition at line 46 of file mnt_pairing_params.hpp.

◆ Fqe_mul_gadget_type

Definition at line 45 of file mnt_pairing_params.hpp.

◆ Fqe_sqr_gadget_type

Definition at line 47 of file mnt_pairing_params.hpp.

◆ Fqe_variable_type

Definition at line 44 of file mnt_pairing_params.hpp.

◆ FqeT

typedef libff::Fqe<libff::mnt6_pp> libsnark::pairing_selector< libff::mnt4_pp >::FqeT

Definition at line 41 of file mnt_pairing_params.hpp.

◆ Fqk_mul_gadget_type

Definition at line 50 of file mnt_pairing_params.hpp.

◆ Fqk_sqr_gadget_type

Definition at line 51 of file mnt_pairing_params.hpp.

◆ Fqk_variable_type

Definition at line 49 of file mnt_pairing_params.hpp.

◆ FqkT

typedef libff::Fqk<libff::mnt6_pp> libsnark::pairing_selector< libff::mnt4_pp >::FqkT

Definition at line 42 of file mnt_pairing_params.hpp.

◆ G1_checker_type

typedef G1_checker_gadget<libff::mnt4_pp> libsnark::pairing_selector< libff::mnt4_pp >::G1_checker_type

Definition at line 55 of file mnt_pairing_params.hpp.

◆ G1_precomputation_type

typedef mnt_G1_precomputation<libff::mnt4_pp> libsnark::pairing_selector< libff::mnt4_pp >::G1_precomputation_type

Definition at line 58 of file mnt_pairing_params.hpp.

◆ G2_checker_type

typedef G2_checker_gadget<libff::mnt4_pp> libsnark::pairing_selector< libff::mnt4_pp >::G2_checker_type

Definition at line 56 of file mnt_pairing_params.hpp.

◆ G2_precomputation_type

typedef mnt_G2_precomputation<libff::mnt4_pp> libsnark::pairing_selector< libff::mnt4_pp >::G2_precomputation_type

Definition at line 59 of file mnt_pairing_params.hpp.

◆ miller_loop_gadget_type

Definition at line 63 of file mnt_pairing_params.hpp.

◆ other_curve_type

typedef libff::mnt6_pp libsnark::pairing_selector< libff::mnt4_pp >::other_curve_type

Definition at line 53 of file mnt_pairing_params.hpp.

◆ precompute_G1_gadget_type

Definition at line 60 of file mnt_pairing_params.hpp.

◆ precompute_G2_gadget_type

Definition at line 61 of file mnt_pairing_params.hpp.


The documentation for this class was generated from the following file: