logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-04-21 19:13:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Working (not yet for recursion)

Browse Source
This commit is contained in:
wborgeaud 2022-01-14 07:56:06 +01:00
parent 0ff8365827
commit fe0c232d6d
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -154,6 +154,12 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
alpha.shift_poly(&mut final_poly); alpha.shift_poly(&mut final_poly);
final_poly += quotient; final_poly += quotient;
} }
final_poly.trim();
let mut final_poly_coeffs = final_poly.coeffs;
final_poly_coeffs.insert(0, F::Extension::ZERO);
final_poly = PolynomialCoeffs {
coeffs: final_poly_coeffs,
};
let lde_final_poly = final_poly.lde(fri_params.config.rate_bits); let lde_final_poly = final_poly.lde(fri_params.config.rate_bits);
let lde_final_values = timed!( let lde_final_values = timed!(

2
plonky2/src/fri/verifier.rs
View File

@ -160,7 +160,7 @@ pub(crate) fn fri_combine_initial<
sum += numerator / denominator; sum += numerator / denominator;
} }
sum sum * subgroup_x
} }
fn fri_verifier_query_round< fn fri_verifier_query_round<