This is the algebra library for an on-going project called Netherite.
The library implements the following classical BN254 curve based on the parameters in [herumi/ate-pairing] in the arkworks ecosystem.
p = 36u^4 + 36u^3 + 24u^2 + 6u + 1,u = -(2^62 + 2^55 + 1)
The paperwork to compute auxiliary parameters is done in Sage scripts here: src/curve_bn254/sage_scripts .
The library also implements the BN446 curve in which:
u = 2^110 + 2^36 + 1
The paperwork to compute auxiliary parameters is done in Sage scripts here: src/curve_bn446/sage_scripts .
- Tianchen Liu @tcliu, UC Berkeley
- Weikeng Chen @weikengchen, UC Berkeley