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

Change ExtensionTarget::frobenius to use 4 constants instead of 1.

Browse Source
This commit is contained in:
wborgeaud 2021-06-11 09:35:22 +02:00
parent bdf8417c28
commit 2cd99ff84c
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19,15 +19,14 @@ impl<const D: usize> ExtensionTarget<D> {
pub fn frobenius<F: Extendable<D>>(&self, builder: &mut CircuitBuilder<F, D>) -> Self {
let arr = self.to_target_array();
let k = (F::ORDER - 1) / (D as u64);
let z0 = builder.constant(F::Extension::W.exp(k));
let mut z = builder.one();
let mut res = [builder.zero(); D];
for i in 0..D {
res[i] = builder.mul(arr[i], z);
z = builder.mul(z, z0);
let zs = (0..D as u64).map(|i| builder.constant(F::Extension::W.exp(k * i)));
let mut res = Vec::with_capacity(D);
for (z, a) in zs.zip(arr) {
res.push(builder.mul(z, a));
}
Self(res)
res.try_into().unwrap()
}
pub fn from_range(gate: usize, range: Range<usize>) -> Self {