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

Fix

Browse Source
This commit is contained in:
wborgeaud 2022-02-16 14:17:14 +01:00
parent ea9006f52e
commit 56336e396d
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
plonky2/src/fri/reduction_strategies.rs
View File

@ -10,7 +10,7 @@ pub enum FriReductionStrategy {
/// `ConstantArityBits(arity_bits, final_poly_bits, cap_height)` applies reductions of arity `2^arity_bits` /// `ConstantArityBits(arity_bits, final_poly_bits, cap_height)` applies reductions of arity `2^arity_bits`
/// until the polynomial degree is less than or equal to `2^final_poly_bits` or until any further /// until the polynomial degree is less than or equal to `2^final_poly_bits` or until any further
/// `arity_bits`-reduction makes the polynomial degree smaller than `2^cap_height` (which would make FRI fail). /// `arity_bits`-reduction makes the last FRI tree have height less than `cap_height`.
/// This tends to work well in the recursive setting, as it avoids needing multiple configurations /// This tends to work well in the recursive setting, as it avoids needing multiple configurations
/// of gates used in FRI verification, such as `InterpolationGate`. /// of gates used in FRI verification, such as `InterpolationGate`.
ConstantArityBits(usize, usize, usize), ConstantArityBits(usize, usize, usize),
@ -34,7 +34,9 @@ impl FriReductionStrategy {
&FriReductionStrategy::ConstantArityBits(arity_bits, final_poly_bits, cap_height) => { &FriReductionStrategy::ConstantArityBits(arity_bits, final_poly_bits, cap_height) => {
let mut result = Vec::new(); let mut result = Vec::new();
while degree_bits > final_poly_bits && degree_bits - arity_bits >= cap_height { while degree_bits > final_poly_bits
&& degree_bits + rate_bits - arity_bits >= cap_height
{
result.push(arity_bits); result.push(arity_bits);
assert!(degree_bits >= arity_bits); assert!(degree_bits >= arity_bits);
degree_bits -= arity_bits; degree_bits -= arity_bits;