ark_bw6_767_ext/lib.rs
1//! This library implements the BW6_767 curve generated by [\[El Housni and Guillevic\]](https://hackmd.io/@gnark/bw6_bls12381),
2//! using their generic approach described in [\[HG21\]](https://eprint.iacr.org/2021/1359).
3//! The name denotes that it is a curve generated using the Brezing--Weng
4//! method, and that its embedding degree is 6.
5//! The main feature of this curve is that the scalar field equals the base
6//! field of the BLS12_381 curve.
7//!
8//! Curve information:
9//! * Base field: q = 496597749679620867773432037469214230242402307330180853437434581099336634619713640485778675608223760166307530047354464605410050411581079376994803852937842168733702867087556948851016246640584660942486895230518034810309227309966899431
10//! * Scalar field: r = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
11//! * valuation(q - 1, 2) = 1
12//! * valuation(r - 1, 2) = 1
13//!
14//! G1 curve equation: y^2 = x^3 + Ax + B, where
15//! * A = 0,
16//! * B = 1
17//!
18//! G2 curve equation: y^2 = x^3 + Ax + B, where
19//! * A = 0
20//! * B = 3
21
22#![cfg_attr(not(feature = "std"), no_std)]
23
24pub mod curves;
25
26pub use ark_bw6_767::{fq, fq::*, fq3, fq3::*, fq6, fq6::*, fr, fr::*};
27pub use curves::*;