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

more efficient divmod

Browse Source
This commit is contained in:
Dmitry Vagner 2023-03-15 19:41:55 -07:00
parent 2195bdd489
commit 6f6c808d80
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
evm/src/bls381_arithmetic.rs
View File

@ -105,10 +105,11 @@ impl Mul for Fp {
type Output = Self;
fn mul(self, other: Self) -> Self {
let b256: U512 = U512([0, 0, 0, 0, 1, 0, 0, 0]);
// x1, y1 are at most (q-1) // 2^256 < 2^125
let (x1, x0) = self.val.div_mod(b256);
let (y1, y0) = other.val.div_mod(b256);
let x1 = U512(self.val.0[..4].try_into().unwrap());
let x0 = U512(self.val.0[4..].try_into().unwrap());
let y1 = U512(other.val.0[..4].try_into().unwrap());
let y0 = U512(other.val.0[4..].try_into().unwrap());
let z00 = Fp {
val: x0.saturating_mul(y0) % BLS_BASE,