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

reorg

Browse Source
This commit is contained in:
Dmitry Vagner 2023-01-21 16:15:27 +07:00
parent f34b35eda2
commit 17cfae6655
1 changed files with 22 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
evm/src/bn254_pairing.rs
View File

@ -13,7 +13,8 @@ pub struct Curve {
y: Fp,
}
/// Standard addition formula for elliptic curves, source:
/// Standard addition formula for elliptic curves, restricted to the cases
/// where neither inputs nor output would ever be the identity O. source:
/// https://en.wikipedia.org/wiki/Elliptic_curve#Algebraic_interpretation
impl Add for Curve {
type Output = Self;
@ -79,6 +80,26 @@ pub fn miller_loop(p: Curve, q: TwistedCurve) -> Fp12 {
acc
}
pub fn tangent(p: Curve, q: TwistedCurve) -> Fp12 {
let cx = -Fp::new(3) * p.x * p.x;
let cy = Fp::new(2) * p.y;
sparse_embed(
p.y * p.y - Fp::new(9),
mul_fp_fp2(cx, q.x),
mul_fp_fp2(cy, q.y),
)
}
pub fn cord(p1: Curve, p2: Curve, q: TwistedCurve) -> Fp12 {
let cx = p2.y - p1.y;
let cy = p1.x - p2.x;
sparse_embed(
p1.y * p2.x - p2.y * p1.x,
mul_fp_fp2(cx, q.x),
mul_fp_fp2(cy, q.y),
)
}
pub fn power(f: Fp12) -> Fp12 {
const EXPS4: [(usize, usize, usize); 64] = [
(1, 1, 0),
@ -268,26 +289,6 @@ pub fn power(f: Fp12) -> Fp12 {
y4 * y2 * y0
}
pub fn tangent(p: Curve, q: TwistedCurve) -> Fp12 {
let cx = -Fp::new(3) * p.x * p.x;
let cy = Fp::new(2) * p.y;
sparse_embed(
p.y * p.y - Fp::new(9),
mul_fp_fp2(cx, q.x),
mul_fp_fp2(cy, q.y),
)
}
pub fn cord(p1: Curve, p2: Curve, q: TwistedCurve) -> Fp12 {
let cx = p2.y - p1.y;
let cy = p1.x - p2.x;
sparse_embed(
p1.y * p2.x - p2.y * p1.x,
mul_fp_fp2(cx, q.x),
mul_fp_fp2(cy, q.y),
)
}
// The curve is cyclic with generator (1, 2)
pub const CURVE_GENERATOR: Curve = {
Curve {