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

ocd

Browse Source
This commit is contained in:
Dmitry Vagner 2023-01-25 14:15:46 +07:00
parent d98c69f0bc
commit 9c8f11666f
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
evm/src/bn254_arithmetic.rs
View File

@ -194,8 +194,8 @@ impl Fp2 {
/// The inverse of z is given by z'/||z||^2 since ||z||^2 = zz'
pub fn inv(self) -> Fp2 {
let norm = self.re * self.re + self.im * self.im;
self.conj().scale(norm.inv())
let norm_sq = self.norm_sq();
self.conj().scale(norm_sq.inv())
}
}
@ -278,6 +278,7 @@ impl Mul for Fp6 {
}
impl Fp6 {
// This function scalar multiplies an Fp6 by an Fp2
fn scale(self, x: Fp2) -> Fp6 {
Fp6 {
t0: x * self.t0,
@ -386,13 +387,7 @@ impl Mul for Fp12 {
}
impl Fp12 {
fn conj(self) -> Fp12 {
Fp12 {
z0: self.z0,
z1: -self.z1,
}
}
// This function scalar multiplies an Fp12 by an Fp6
fn scale(self, x: Fp6) -> Fp12 {
Fp12 {
z0: x * self.z0,
@ -400,6 +395,13 @@ impl Fp12 {
}
}
fn conj(self) -> Fp12 {
Fp12 {
z0: self.z0,
z1: -self.z1,
}
}
/// The nth frobenius endomorphism of a p^q field is given by mapping
/// x to x^(p^n)
/// which sends a + bz: Fp12 to