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

Merge pull request #49 from mir-protocol/mul_extension_opt

Browse Source 
Little circuit optimization
This commit is contained in:
Daniel Lubarov 2021-05-24 23:01:41 -07:00 committed by GitHub
commit 3833d0579b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/field/extension_field/target.rs
View File

@ -56,15 +56,14 @@ impl<F: Field> CircuitBuilder<F> {
where where
F: Extendable<D>, F: Extendable<D>,
{ {
let w = self.constant(F::Extension::W);
let mut res = [self.zero(); D]; let mut res = [self.zero(); D];
for i in 0..D { for i in 0..D {
for j in 0..D { for j in 0..D {
res[(i + j) % D] = if i + j < D { res[(i + j) % D] = if i + j < D {
self.mul_add(a.0[i], b.0[j], res[(i + j) % D]) self.mul_add(a.0[i], b.0[j], res[(i + j) % D])
} else { } else {
let tmp = self.mul(a.0[i], b.0[j]); // W * a[i] * b[i] + res[(i + j) % D]
self.mul_add(w, tmp, res[(i + j) % D]) self.arithmetic(F::Extension::W, a.0[i], b.0[i], F::Extension::ONE, res[(i + j) % D]);
} }
} }
} }