1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
#![cfg_attr(not(feature = "std"), no_std)] #![deny( warnings, unused, future_incompatible, nonstandard_style, rust_2018_idioms )] #![forbid(unsafe_code)] //! This library implements a twisted Edwards curve whose base field is the scalar field of the //! curve BLS12-377. This allows defining cryptographic primitives that use elliptic curves over //! the scalar field of the latter curve. This curve was generated as part of the paper //! [\[BCGMMW20, “Zexe”\]](https://eprint.iacr.org/2018/962). //! //! Curve information: //! * Base field: q = 8444461749428370424248824938781546531375899335154063827935233455917409239041 //! * Scalar field: r = 2111115437357092606062206234695386632838870926408408195193685246394721360383 //! * Valuation(q - 1, 2) = 47 //! * Valuation(r - 1, 2) = 1 //! * Curve equation: ax^2 + y^2 =1 + dx^2y^2, where //! * a = -1 //! * d = 3021 #[cfg(feature = "r1cs")] pub mod constraints; mod curves; mod fields; pub use curves::*; pub use fields::*;