logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-10 01:33:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

fmt

Browse Source
This commit is contained in:
Dmitry Vagner 2023-01-20 15:43:32 +07:00
parent 922d3ebca8
commit 8e62d99441
1 changed files with 7 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
evm/src/bn254_curve_pairing.rs
View File

@ -1,6 +1,8 @@
use ethereum_types::U256;
use crate::bn254_arithmetic::{Fp, Fp2, Fp12, mul_fp_fp2, inv_fp12, frob_fp12, UNIT_FP12, sparse_embed, make_fp};
use crate::bn254_arithmetic::{
frob_fp12, inv_fp12, make_fp, mul_fp_fp2, sparse_embed, Fp, Fp12, Fp2, UNIT_FP12,
};
pub type Curve = [Fp; 2];
pub type TwistedCurve = [Fp2; 2];
@ -243,14 +245,10 @@ pub fn tangent(p: Curve, q: TwistedCurve) -> Fp12 {
let [px, py] = p;
let [qx, qy] = q;
let cx = - make_fp(3) * px * px;
let cy = make_fp(2) * py;
let cx = -make_fp(3) * px * px;
let cy = make_fp(2) * py;
sparse_embed(
py * py - make_fp(9),
mul_fp_fp2(cx, qx),
mul_fp_fp2(cy, qy),
)
sparse_embed(py * py - make_fp(9), mul_fp_fp2(cx, qx), mul_fp_fp2(cy, qy))
}
pub fn cord(p1: Curve, p2: Curve, q: TwistedCurve) -> Fp12 {
@ -270,7 +268,7 @@ pub fn cord(p1: Curve, p2: Curve, q: TwistedCurve) -> Fp12 {
fn tangent_slope(p: Curve) -> Fp {
let [px, py] = p;
let num = px * px * make_fp(3);
let num = px * px * make_fp(3);
let denom = py * make_fp(2);
num / denom
}