Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
pairing_impl.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  bb
 Entry point for Barretenberg command-line interface.
 
namespace  bb::pairing
 

Functions

constexpr g2Projective bb::pairing::twisted_frobenius (const g2Projective &a)
 Compute \(\Psi^{-1} \circ \phi_q \circ \Psi(Q)\) where \(\Psi\) is the untwisting isomorphism and \(\phi_q\) is the Frobenius morphism.
 
constexpr void bb::pairing::doubling_step_for_miller_loop (g2Projective &work_point, fq12::ell_coeffs &line)
 Doubling step for Miller loop calculation.
 
constexpr void bb::pairing::mixed_addition_step_for_miller_loop (const g2Projective &Q, g2Projective &work_point, fq12::ell_coeffs &line)
 Addition step for Miller loop calculation.
 
constexpr void bb::pairing::precompute_miller_lines (const g2Projective &Q, miller_lines &lines)
 Precomputation of Miller lines for a point Q in G2.
 
constexpr void bb::pairing::precompute_miller_lines (const g2::element &Q, miller_lines &lines)
 
constexpr fq12 bb::pairing::miller_loop (const g1::affine_element &P, const miller_lines &lines)
 Miller loop implementation.
 
constexpr fq12 bb::pairing::miller_loop_batch (const g1::affine_element *points, const miller_lines *lines, size_t num_pairs)
 Compute the Miller loop for multiple pairs of points.
 
constexpr fq12 bb::pairing::final_exponentiation_easy_part (const fq12 &elt)
 
constexpr fq12 bb::pairing::final_exponentiation_exp_by_z (const fq12 &elt)
 
constexpr fq12 bb::pairing::final_exponentiation_tricky_part (const fq12 &elt)
 
constexpr fq12 bb::pairing::reduced_ate_pairing (const g1::affine_element &P_affine, const g2::affine_element &Q_affine)
 
fq12 bb::pairing::reduced_ate_pairing_batch_precomputed (const g1::affine_element *P_affines, const miller_lines *lines, const size_t num_points)
 
fq12 bb::pairing::reduced_ate_pairing_batch (const g1::affine_element *P_affines, const g2::affine_element *Q_affines, const size_t num_points)
 

Variables

constexpr fq bb::pairing::two_inv = fq(2).invert()