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

Update comment on reduce

Browse Source
This commit is contained in:
wborgeaud 2021-06-30 08:25:36 +02:00
parent f1e3474fcb
commit b7f0352cd8
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/util/scaling.rs
View File

@ -91,9 +91,10 @@ impl<const D: usize> ReducingFactorTarget<D> {
}
/// Reduces a length `n` vector of `ExtensionTarget`s using `n/2` `ArithmeticExtensionGate`s.
/// It does this by running two accumulators in parallel. Here's an example with `n=4, alpha=2, D=1`:
/// 1st gate: 2 0 4 11 2 4 24 <- 2*0+4= 4, 2*11+2=24
/// 2nd gate: 2 4 3 24 1 11 49 <- 2*4+3=11, 2*24+1=49
/// It does this by batching two steps of Horner's method in each gate.
/// Here's an example with `n=4, alpha=2, D=1`:
/// 1st gate: 2 0 4 4 3 4 11 <- 2*0+4=4, 2*4+3=11
/// 2nd gate: 2 11 2 24 1 24 49 <- 2*11+2=24, 2*24+1=49
/// which verifies that `2.reduce([1,2,3,4]) = 49`.
pub fn reduce<F>(
&mut self,